5216 search results - page 795 / 1044 » Planning as Model Checking |
135
click to vote
CG
2006
Springer
15 years 6 months ago
2006
Springer
Understanding shapes has been a challenging issue for many years, firstly motivated by computer vision and more recently by many complex applications in diverse fields, such as me...
148
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
It is well known that perspective alignment plays a major role in the planning and interpretation of spatial language. In order to understand the role of perspective alignment and...
198
click to vote
COR
2007
15 years 6 months ago
2007
We propose a hybrid method designed to solve a problem of dispatching and conflict free routing of automated guided vehicles (AGVs) in a flexible manufacturing system (FMS). Thi...
178
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
: The research area “Virtual Manufacturing” can be defined as an integrated manufacturing environment which can enhance one or several levels of decision and control in manufac...
145
click to vote
JFR
2008
15 years 6 months ago
2008
The usability of mobile robots for surveillance, search and rescue missions can be significantly improved by intelligent functionalities decreasing the cognitive load on the opera...