5634 search results - page 239 / 1127 » About Abstract Classes |
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction...
AVBPA
2001
Springer
15 years 3 months ago
2001
Springer
Abstract. We report about some experiments on the fingerprint database NIST-4 using different combinations of Support Vector Machine (SVM) classifiers. Images have been preprocesse...
ANTS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The conjectures of Deligne, Beilinson, and Bloch-Kato assert that there should be relations between the arithmetic of algebrogeometric objects and the special values of t...
ESA
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The 3D visibility skeleton is a data structure used to encode global visibility information about a set of objects. Previous theoretical results have shown that for k con...
ESANN
2007
15 years 1 months ago
2007
Abstract. Using radial basis function networks for function approximation tasks suffers from unavailable knowledge about an adequate network size. In this work, a measuring techni...