2282 search results - page 270 / 457 » Active property checking |
211
Voted
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
In this paper we present a system that automatically generates a 3D virtual world from a virtual institution (VI) specification, namely of activities that will take place in the v...
189
click to vote
IJCV
2010
15 years 3 months ago
2010
Abstract Image alignment has been a long standing problem in computer vision. Parameterized Appearance Models (PAMs) such as the Lucas-Kanade method, Eigentracking, and Active Appe...
125
Voted
JOCN
2010
15 years 3 months ago
2010
■ Is morphology a discrete and independent element of lexical structure or does it simply reflect a fine-tuning of the system to the statistical correlation that exists among or...
167
click to vote
JVCIR
2010
15 years 3 months ago
2010
Noble forces in image segmentation based on active contours models are proposed for capturing objects in the image. Contemplating the common functionality of forces in previous ac...
138
click to vote
HASE
2008
IEEE
15 years 11 months ago
2008
IEEE
Model-based program debugging exploits discrepancies between the program behavior anticipated by a programmer and the program’s actual behavior when executed on a set of inputs....