43264 search results - page 327 / 8653 » Comparing models of computation |
127
click to vote
ICCV
2003
IEEE
16 years 6 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...
146
click to vote
FUIN
2007
15 years 4 months ago
2007
We show how properties of an interesting class of imperative programs can be calculated by means of relational modeling and symbolic computation. The ideas of [5, 26] are implement...
139
click to vote
ICPR
2010
IEEE
15 years 7 months ago
2010
IEEE
This work introduces a new pattern recognition model for segmenting and tracking lip contours in video sequences. We formulate the problem as a general nonrigid object tracking me...
125
click to vote
WSC
2000
15 years 5 months ago
2000
Analysis of large, complex systems requires simulations of hybrid-system dynamics, i.e., dynamics which are best described by a combination of continuous-time and discrete-event m...
118
click to vote
SPAA
1998
ACM
15 years 8 months ago
1998
ACM
We present a computation-centric theory of memory models. Unlike traditional processor-centric models, computation-centric models focus on the logical dependencies among instructi...