5216 search results - page 990 / 1044 » Planning as Model Checking |
90
Voted
ATAL
2009
Springer
15 years 5 months 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...
173
click to vote
ICRA
2008
IEEE
15 years 5 months 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...
58
Voted
VR
2008
IEEE
15 years 5 months 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...
112
click to vote
IPPS
2007
IEEE
15 years 5 months 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...
BTW
2007
Springer
15 years 5 months 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...