4117 search results - page 326 / 824 » On the Satisfiability of Complex Constraints |
177
click to vote
VLDB
2005
ACM
16 years 9 days ago
2005
ACM
We present a system for efficient meta-data indexed querying of XML documents. Given the diversity of the information available in XML, it is very useful to annotate XML data wit...
176
click to vote
PADL
2004
Springer
16 years 6 days ago
2004
Springer
Temporal media is information that is directly consumed by a user, and that varies with time. Examples include music, digital sound files, computer animations, and video clips. I...
251
click to vote
PATAT
2004
Springer
16 years 6 days ago
2004
Springer
The timetabling problem consists in fixing a sequence of meetings between teachers and students in a prefixed period of time (typically a week), satisfying a set of constraints of ...
146
click to vote
ICRA
2003
IEEE
16 years 3 days ago
2003
IEEE
Abstract – For conventional designs of robots, manipulator motions result in forces and moments on the base. These forces and moments may cause undesirable translation and rotati...
181
click to vote
ICRA
2003
IEEE
16 years 3 days ago
2003
IEEE
−−−− Ordinary t-timed Petri Nets are used for modeling, analysis and synthesis of random topology production systems and networks. Each production system is first decompose...