5216 search results - page 990 / 1044 » Planning as Model Checking |
161
click to vote
ATAL
2009
Springer
16 years 17 days ago
2009
Springer
Embodied conversational agents are required to be able to express themselves convincingly and autonomously. Based on an empirial study on spatial descriptions of landmarks in dire...
300
click to vote
ICRA
2008
IEEE
16 years 12 days ago
2008
IEEE
— Image-based navigation paradigms have recently emerged as an interesting alternative to conventional modelbased methods in mobile robotics. In this paper, we augment the existi...
135
click to vote
VR
2008
IEEE
16 years 11 days ago
2008
IEEE
The automotive industry uses physical seating bucks, which are minimal mockups of a car interior, to assess various aspects of the planned interior early in the development proces...
204
click to vote
IPPS
2007
IEEE
16 years 8 days ago
2007
IEEE
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...
153
click to vote
BTW
2007
Springer
16 years 5 days ago
2007
Springer
: This is a position paper on multi-tenant databases. As motivation, it first describes the emerging marketplace of hosted enterprise services and the importance of using multi-ten...