156 search results - page 17 / 32 » Automatic Inference of Class Invariants |
ECCV
2010
Springer
13 years 9 months ago
2010
Springer
In order for recognition systems to scale to a larger number of object categories building visual class taxonomies is important to achieve running times logarithmic in the number o...
APLAS
2004
ACM
14 years 1 months ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
CVPR
2008
IEEE
14 years 9 months ago
2008
IEEE
We present a new unsupervised method to learn unified probabilistic object models (POMs) which can be applied to classification, segmentation, and recognition. We formulate this a...
UML
2005
Springer
14 years 1 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...
ESANN
2007
13 years 9 months ago
2007
Uncertainty is a popular phenomenon in machine learning and a variety of methods to model uncertainty at different levels has been developed. The aim of this paper is to motivate ...