118 search results - page 8 / 24 » An Iterative Algorithm for Synthesizing Invariants |
DAC
1997
ACM
13 years 11 months ago
1997
ACM
In this paper, we introduce a Shared Multiple Rooted XORbased Decomposition Diagram XORDD to represent functions with multiple outputs. Based on the XORDD representation, we dev...
ICIP
2008
IEEE
14 years 9 months ago
2008
IEEE
In this paper we address two closely related problems. The first is the object detection problem, i.e., the automatic decision of whether a given image represents a known object o...
SMA
2009
ACM
14 years 6 days ago
2009
ACM
Principal curvatures and principal directions are fundamental local geometric properties. They are well deļ¬ned on smooth surfaces. However, due to the nature as higher order diļ...
ICCV
2003
IEEE
14 years 9 months ago
2003
IEEE
Automatic construction of Shape Models from examples has been the focus of intense research during the last couple of years. These methods have proved to be useful for shape segme...
COLING
2010
13 years 2 months ago
2010
In this paper, we propose an unsupervised approach to automatically synthesize Wikipedia articles in multiple languages. Taking an existing high-quality version of any entry as co...