3009 search results - page 342 / 602 » The Expressive Rate of Constraints |
186
click to vote
CVPR
2010
IEEE
16 years 10 days ago
2010
IEEE
In this paper, we consider the problem of tracking nonrigid surfaces and propose a generic data-driven mesh deformation framework. In contrast to methods using strong prior models...
159
click to vote
PPDP
2005
Springer
16 years 5 days ago
2005
Springer
fects 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 and eff...
157
click to vote
SPIN
2005
Springer
16 years 5 days ago
2005
Springer
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them...
164
click to vote
DAC
2004
ACM
16 years 3 days ago
2004
ACM
Leakage current has become a stringent constraint in today’s processor designs in addition to traditional constraints on frequency. Since leakage current exhibits a strong inver...
158
click to vote
ISSTA
2004
ACM
16 years 3 days ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...