594 search results - page 5 / 119 » Using Approximation to Relate Computational Classes over the... |
ICCV
2005
IEEE
14 years 10 months ago
2005
IEEE
We present an efficient method for learning part-based object class models from unsegmented images represented as sets of salient features. A model includes parts' appearance...
CVPR
2007
IEEE
14 years 10 months ago
2007
IEEE
A new efficient MRF optimization algorithm, called FastPD, is proposed, which generalizes -expansion. One of its main advantages is that it offers a substantial speedup over that ...
IGPL
2006
13 years 8 months ago
2006
Since 1996, some models of recursive functions over the real numbers have been analyzed by several researchers. It could be expected that they exhibit a computational power much g...
CADE
1998
Springer
14 years 25 days ago
1998
Springer
Partial types allow the reasoning about partial functions in type theory. The partial functions of main interest are recursively computed functions, which are commonly assigned ty...
AUTOMATICA
2007
13 years 8 months ago
2007
In this paper, we define the notion of approximate bisimulation relation between two continuous systems. While exact bisimulation requires that the observations of two systems ar...