Sciweavers

1912 search results - page 84 / 383
» GOAL as a Planning Formalism
Sort
View
IJRR
2002
106views more  IJRR 2002»
15 years 6 months ago
Randomized Kinodynamic Motion Planning with Moving Obstacles
This paper presents a novel randomized motion planner for robots that must achieve a specified goal under kinematic and/or dynamic motion constraints while avoiding collision with...
David Hsu, Robert Kindel, Jean-Claude Latombe, Ste...
ECAI
2004
Springer
15 years 11 months ago
IPSS: A Hybrid Reasoner for Planning and Scheduling
In this paper we describe IPSS (Integrated Planning and Scheduling System), a domain independent solver that integrates an AI heuristic planner, that synthesizes courses of actions...
María Dolores Rodríguez-Moreno, Ange...
ICMI
2004
Springer
118views Biometrics» more  ICMI 2004»
15 years 11 months ago
Elvis: situated speech and gesture understanding for a robotic chandelier
We describe a home lighting robot that uses directional spotlights to create complex lighting scenes. The robot senses its visual environment using a panoramic camera and attempts...
Joshua Juster, Deb Roy
EKAW
1994
Springer
15 years 10 months ago
Evaluating a Formal Modelling Language
Formal knowledge modelling languages have a number of advantages over informal languages, such as their precise meaning and the possibility to derive propertiesthrough formal proof...
Fidel Ruiz, Frank van Harmelen, Manfred Aben, Joke...
CAISE
2000
Springer
15 years 10 months ago
A Formal Model for Business Process Modeling and Design
We present a formal framework for representing enterprise knowledge. The concepts of our framework (objectives and goals, roles and actors, actions and processes, responsibilities ...
Manolis Koubarakis, Dimitris Plexousakis