5216 search results - page 528 / 1044 » Planning as Model Checking |
157
click to vote
ECTEL
2007
Springer
16 years 1 months ago
2007
Springer
Projects involving technology are notoriously dogged with difficulties and a number of lessons can be learned. Rather than detail examples from particular TEL projects, the author ...
191
click to vote
IAT
2006
IEEE
16 years 29 days ago
2006
IEEE
This paper contributes to solve effectively stochastic resource allocation problems known to be NP-Complete. To address this complex resource management problem, the merging of tw...
173
Voted
IROS
2006
IEEE
16 years 28 days ago
2006
IEEE
— This paper presents work on sensor-based motion planning in initially unknown dynamic environments. Motion detection and modeling are combined with a smooth navigation function...
168
click to vote
IUI
2004
ACM
16 years 10 days ago
2004
ACM
Teams of autonomous vehicles (AVs) carry out missions in a number of fields such as space exploration and searchand-rescue. However, human supervision is still required to monito...
161
click to vote
HICSS
2002
IEEE
15 years 12 months ago
2002
IEEE
A critical aspect of global ebusiness information technology (IT) governance is ensuring that it is integrated and that it enables economic viability of a company. Poorly thought ...