8874 search results - page 302 / 1775 » A New Implementation of Automath |
165
click to vote
SIGGRAPH
1994
ACM
15 years 10 months ago
1994
ACM
We apply manipulation planning to computer animation. A new path planner is presented that automatically computes the collision-free trajectories for several cooperating arms toma...
165
click to vote
ASYNC
2004
IEEE
15 years 10 months ago
2004
IEEE
De-synchronization appears as a new paradigm to automate the design of asynchronous circuits from synchronous netlists. This paper studies different protocols for de-synchronizatio...
160
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
The explosive growth of new multimedia services over the Internet necessitates efficient network management. Improved network management systems are expected to simultaneously prov...
128
click to vote
AAAI
2007
15 years 9 months ago
2007
The goal of our current research is machine learning with the help and guidance of a knowledge base (KB). Rather than learning numerical models, our approach generates explicit sy...
151
click to vote
AIPS
2010
15 years 9 months ago
2010
We present an extension of the planning framework based on action graphs and local search to deal with PDDL2.1 temporal problems requiring concurrency, while previously the approa...