4117 search results - page 109 / 824 » On the Satisfiability of Complex Constraints |
145
click to vote
DLOG
2004
15 years 7 months ago
2004
We show how a tableaux algorithm for SHIQ can be extended to support role boxes that include range and domain axioms, prove that the extended algorithm is still a decision procedur...
159
click to vote
PVLDB
2008
15 years 5 months ago
2008
This paper presents a framework for automatically generating structural XML documents. The user provides a target DTD and an example of an XML document, called a Generate-XML-ByEx...
205
click to vote
ICTAI
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper studies an evolutionary multiobjective optimization algorithm, called EVOLT, which heuristically optimizes QoS (quality of service) in communication networks for electr...
146
click to vote
TOG
2002
15 years 6 months ago
2002
In this paper we present a general method for rapid prototyping of realistic character motion. We solve for the natural motion from a simple animation provided by the animator. Ou...
158
click to vote
STACS
2010
Springer
16 years 1 months ago
2010
Springer
The degree of a CSP instance is the maximum number of times that a variable may appear in the scope of constraints. We consider the approximate counting problem for Boolean CSPs wi...