5216 search results - page 369 / 1044 » Planning as Model Checking |
183
Voted
CEC
2009
IEEE
16 years 27 days ago
2009
IEEE
— We propose a robot path planning method based on particle swarm optimization in an uncertain environment. We consider the case that a robot’s cognition to its environment is ...
150
click to vote
CEC
2008
IEEE
16 years 18 days ago
2008
IEEE
In this paper we introduce an evolutionary algorithm for solving a copper mine planning problem. In the last 10 years this realworld problem has been tackled using linear integer p...
175
click to vote
CONTEXT
2007
Springer
16 years 9 days ago
2007
Springer
In this paper we present an educational tool which has been designed to manage (learning) knowledge acquired from the interactions with the students, and to automatically aids educ...
150
click to vote
PRIMA
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Software systems are becoming more and more part of human life influencing organizational and social activities. This introduces the need of considering the design of a ...
160
click to vote
IDA
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we introduce a simple ant based algorithm for solving a copper mine planning problem. In the last 10 years this realworld problem has been tackled using linear intege...