1116 search results - page 182 / 224 » Applying Predicate Abstraction to Abstract State Machines |
180
click to vote
ML
2011
ACM
14 years 5 months ago
2011
ACM
Abstract. Type Extension Trees (TET) have been recently introduced as an expressive representation language allowing to encode complex combinatorial features of relational entities...
PARA
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. Ahardware and software environment with performance above 1 Tera ops (teracomputing) is presently required to face the leading computational challenges not only in fundam...
64
Voted
MICCAI
2003
Springer
16 years 8 hour ago
2003
Springer
Abstract. We perform discriminative analysis of brain structures using morphometric information. Spherical harmonics technique and point distribution model are used for shape descr...
ICIAP
2009
ACM
15 years 11 months ago
2009
ACM
Abstract. Score functions induced by generative models extract fixeddimensions feature vectors from different-length data observations by subsuming the process of data generation, ...
119
click to vote
MCS
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Hierarchical classification problems gained increasing attention within the machine learning community, and several methods for hierarchically structured taxonomies have...