Result 1 to 20 of 146 total
Incremental, inductive CTL model checking. (English)
Madhusudan, P. (ed.) et al., Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31423-0/pbk). Lecture Notes in Computer Science 7358, 532-547 (2012).
1
IC3 and beyond: incremental, inductive verification. (English)
Madhusudan, P. (ed.) et al., Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31423-0/pbk). Lecture Notes in Computer Science 7358, 4 (2012).
2
An entropy approach to disclosure risk assessment: lessons from real applications and simulated domains. (English)
Decis. Support Syst. 51, No. 1, 10-20 (2011).
3
SAT-based model checking without unrolling. (English)
Jhala, Ranjit (ed.) et al., Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23‒25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18274-7/pbk). Lecture Notes in Computer Science 6538, 70-87 (2011).
4
Generating natural language summaries for crosscutting source code concerns (English)
ICSM, 103-112 (2011).
5
Investigation of the non-markovity spectrum as a cognitive processing measure of deep brain microelectrode recordings (English)
BIOSIGNALS, 144-150 (2011).
6
SAT-based model checking without unrolling (English)
VMCAI, 70-87 (2011).
7
Supporting software history exploration (English)
MSR, 193-202 (2011).
8
Rule extraction from support vector machines: a review. (English)
Neurocomputing 74, No. 1-3, 178-190 (2010).
9
Nearest neighbour group-based classification. (English)
Pattern Recognition 43, No. 10, 3458-3467 (2010).
10
k-step relative inductive generalization. (English)
Comput. Res. Repos. 2010, Article No. 1003.3649 (2010).
11
Denoising of dynamic contrast-enhanced MR images using dynamic nonlocal means (English)
IEEE Trans. Med. Imaging 29, No. 2, 302-310 (2010).
12
Event-based 64-channel binaural silicon cochlea with Q enhancement mechanisms (English)
ISCAS, 2027-2030 (2010).
13
The effect of domain knowledge on rule extraction from Support Vector Machines. (English)
Perner, Petra (ed.), Machine learning and data mining in pattern recognition. 6th international conference, MLDM 2009, Leipzig, Germany, July 23‒25, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03069-7/pbk). Lecture Notes in Computer Science 5632. Lecture Notes in Artificial Intelligence, 311-321 (2009).
14
Wavelet based local tomographic image using terahertz techniques (English)
Digital Signal Processing 19, No. 4, 750-763 (2009).
15
TESLA: A tool for annotating geospatial language corpora (English)
HLT-NAACL (Short Papers), 45-48 (2009).
16
Template phenology for vegetation models (English)
IGARSS (4), 1042-1045 (2009).
17
Feature and classifier selection for automatic classification of lesions in dynamic contrast-enhanced MRI of the breast (English)
DICTA, 132-139 (2009).
18
Exploring melodic variance in rhythmic haptic stimulus design (English)
Graphics Interface, 133-140 (2009).
19
The effect of domain knowledge on rule extraction from support vector machines (English)
MLDM, 311-321 (2009).
20
Result 1 to 20 of 146 total
Start
Contact
Print
General Help
