3009 search results - page 342 / 602 » The Expressive Rate of Constraints |
216
Voted
CVPR
2010
IEEE
16 years 1 months 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...
184
click to vote
PPDP
2005
Springer
16 years 1 months 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...
179
click to vote
SPIN
2005
Springer
16 years 1 months 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...
191
Voted
DAC
2004
ACM
16 years 28 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...
176
click to vote
ISSTA
2004
ACM
16 years 28 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...