3984 search results - page 532 / 797 » A Model-Driven Transformation Method |
168
Voted
LISP
2008
15 years 6 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
151
Voted
JVCA
2006
15 years 6 months ago
2006
This paper presents a novel interactive mesh deformation method that can achieve various dynamic material effects, including elastic membrane and cloth effects. In our framework, ...
154
click to vote
KI
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we introduce Active Monte Carlo Recognition (AMCR), a new approach for object recognition. The method is based on seeding and propagating "relational" part...
152
click to vote
PAMI
2006
15 years 6 months ago
2006
We describe an algorithm for context-based segmentation of visual data. New frames in an image sequence (video) are segmented based on the prior segmentation of earlier frames in ...
148
click to vote
PAMI
2006
15 years 6 months ago
2006
In this article we present a novel convexity measure for object shape analysis. The proposed method is based on the idea of generating pairs of points from a set, and measuring th...