1157 search results - page 207 / 232 » Descriptive Complexity and Model Checking |
AGP
1999
IEEE
14 years 29 days ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
UIST
1999
ACM
14 years 29 days ago
1999
ACM
Cascading Style Sheets have recently been introduced by the W3C as a mechanism for controlling the appearance of HTML documents. In this paper, we demonstrate how constraints prov...
SIGGRAPH
1997
ACM
14 years 25 days ago
1997
ACM
Nonphotorealistic rendering (NPR) can help make comprehensible but simple pictures of complicated objects by employing an economy of line. But current nonphotorealistic rendering ...
SIGGRAPH
1996
ACM
14 years 24 days ago
1996
ACM
This paper describesthe application of spacetime constraints to creating transitions between segments of human body motion. The motion transition generation uses a combination of ...
DSD
2009
IEEE
14 years 16 days ago
2009
IEEE
Todays NoCs are reaching a level where it is getting very hard to ensure 100% of functionality. Consequently, fault tolerance has become an important aspect in todays design techn...