5414 search results - page 769 / 1083 » Data representation synthesis |
194
click to vote
ACIVS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. In this work, we present two active shape models for the segmentation of tubular objects. The first model is built using cylindrical parameterization and minimum descrip...
170
click to vote
CCIA
2007
Springer
16 years 28 days ago
2007
Springer
Medical ontologies are developed to solve problems such as the demand for reusing, sharing and transmitting data. The unambiguous communication of complex and detailed medical conc...
180
Voted
CIA
2007
Springer
16 years 28 days ago
2007
Springer
Recognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for tr...
167
Voted
CP
2007
Springer
16 years 27 days ago
2007
Springer
We propose a new top down search-based algorithm for compiling AND/OR Multi-Valued Decision Diagrams (AOMDDs), as representations of the optimal set of solutions for constraint opt...
178
click to vote
FSTTCS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...