579 search results - page 36 / 116 » Constraint Validation in Model Compilers |
182
Voted
ICCD
2008
IEEE
15 years 11 months ago
2008
IEEE
— Clock frequency and transistor density increases have resulted in elevated chip temperatures. In order to meet temperature constraints while still exploiting the performance op...
126
Voted
ALT
2005
Springer
15 years 11 months ago
2005
Springer
In language learning, strong relationships between Gold-style models and query models have recently been observed: in some quite general setting Gold-style learners can be replaced...
119
click to vote
CPAIOR
2009
Springer
15 years 9 months ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
131
click to vote
ICCV
2003
IEEE
16 years 4 months ago
2003
IEEE
Our paper addresses the problem of enforcing constraints in human body tracking. A projection technique is derived to impose kinematic constraints on independent multi-body motion...
109
Voted
WSFM
2007
Springer
15 years 8 months ago
2007
Springer
A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. Th...