4117 search results - page 79 / 824 » On the Satisfiability of Complex Constraints |
173
click to vote
VISUALIZATION
1999
IEEE
15 years 10 months ago
1999
IEEE
We describe a framework for time-critical rendering of graphics scenes composed of a large number of objects having complex geometric descriptions. Our technique relies upon a sce...
171
click to vote
RSP
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
139
click to vote
AI
2007
Springer
15 years 6 months ago
2007
Springer
We present an efficient algorithm that checks the consistency of partial descriptions of ordered trees. The constraint language of these descriptions was introduced by Cornell in c...
151
click to vote
ECBS
2002
IEEE
15 years 11 months ago
2002
IEEE
Design and implementation of motion control applications includes the transition from control design to real-time system implementation. To make this transition smooth, the specif...
183
click to vote
DLOG
2006
15 years 7 months ago
2006
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...