827 search results - page 103 / 166 » Typicality Ranking of Images Using the Aspect Model |
112
Voted
CAV
2005
Springer
15 years 6 months ago
2005
Springer
In this work we study hybrid approaches to LTL symbolic model checking; that is, approaches that use explicit representations of the property automaton, whose state space is often ...
107
Voted
SAC
2003
ACM
15 years 5 months ago
2003
ACM
DNA microarray hybridisation is a popular high throughput technique in academic as well as industrial functional genomics research. In this paper we present a new approach to auto...
97
Voted
JSS
2000
15 years 11 days ago
2000
The upstream activities of software development projects are often viewed as both the most important, the least understood, and hence the most problematic. This is particularly no...
93
Voted
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Planar patches are a very compact and stable intermediate representation of 3D scenes, as they are a good starting point for a complete automatic reconstruction of surfac...
120
Voted
ECCV
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. We present a comparative study on how to use discriminative learning methods such as classification, regression, and ranking to address deformable shape segmentation. Tra...