Sciweavers

1908 search results - page 209 / 382
» Capability Models and Their Applications in Planning
Sort
View
CAV
2006
Springer
164views Hardware» more  CAV 2006»
15 years 10 months ago
Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
Grigore Rosu, Saddek Bensalem
IJCAI
2007
15 years 8 months ago
Towards Reasoning about the Past in Neural-symbolic Systems
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...
Rafael V. Borges, Luís C. Lamb, Artur S. d'...
SEDE
2007
15 years 8 months ago
AVRATAR: A virtual environment for puppet animation
When it comes to three dimensional computer animations, the use of live actors to control the movements of onscreen characters produces a realism that is unsurpassed. But so are t...
Alexander Redei, Ed Tumbusch, Josh Koberstein, Ser...
WSCG
2004
154views more  WSCG 2004»
15 years 8 months ago
Freeform Object Positioning by 3D Shape Matching Without Artificial Feature Points
Determining the position and orientation of a workpiece relative to a manufacturing device is a prerequisite for machining path planning. If the workpiece is freeform and if it co...
Joris S. M. Vergeest, Yu Song, D. Hartge
FIRSTMONDAY
2007
70views more  FIRSTMONDAY 2007»
15 years 6 months ago
Reputation-based governance
: Reputation-based Governance (Rebag) is a framework to address governance problems that hinges on the reputation of the relevant actors. It functions thanks to an appropriate Web-...
Lucio Picci