Sciweavers

455 search results - page 41 / 91
» Dynamic well-spaced point sets
Sort
View
FMOODS
2008
14 years 11 months ago
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
Jan Smans, Bart Jacobs 0002, Frank Piessens
ICASSP
2008
IEEE
15 years 4 months ago
Robust speaker identification using combined feature selection and missing data recognition
Missing data techniques have been recently applied to speaker recognition to increase performance in noisy environments. The drawback of these techniques is the vulnerability of t...
Daniel Pullella, Marco Kühne, Roberto Togneri
PEPM
1997
ACM
15 years 2 months ago
Annotation-Directed Run-Time Specialization in C
We present the design of a dynamic compilation system for C. Directed by a few declarative user annotations specifying where and on what dynamic compilation is to take place, a bi...
Brian Grant, Markus Mock, Matthai Philipose, Craig...
SSPR
2000
Springer
15 years 1 months ago
Selection of Classifiers Based on Multiple Classifier Behaviour
In the field of pattern recognition, the concept of Multiple Classifier Systems (MCSs) was proposed as a method for the development of high performance classification systems. At p...
Giorgio Giacinto, Fabio Roli, Giorgio Fumera
CORR
2006
Springer
86views Education» more  CORR 2006»
14 years 10 months ago
Semantic results for ontic and epistemic change
We present an epistemic logic incorporating dynamic operators to describe information changing events. Such events include epistemic changes, where agents become more informed abo...
Hans P. van Ditmarsch, Barteld P. Kooi