5216 search results - page 710 / 1044 » Planning as Model Checking |
160
click to vote
IROS
2006
IEEE
16 years 20 days ago
2006
IEEE
— This paper addresses a method to optimize the robot motion planning in dynamic environments, avoiding the moving and static obstacles while the robot drives towards the goal. T...
182
click to vote
ICIC
2005
Springer
16 years 4 days ago
2005
Springer
This paper describes the architecture of a computer system conceived as an intelligent assistant for public transport management. The goal of the system is to help operators of a c...
168
click to vote
ATAL
2004
Springer
16 years 1 days ago
2004
Springer
Most existing work in agent programming assumes an execution model where an agent has a knowledge base (KB) about the current state of the world, and makes decisions about what to ...
166
click to vote
ECAI
2004
Springer
16 years 1 days ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
164
click to vote
ECBS
2003
IEEE
15 years 12 months ago
2003
IEEE
The architectural level plays a major role in the engineering of computer based systems. Having proper means for representing the architecture of a system is a crucial element of ...