1580 search results - page 131 / 316 » CoTeSys - Cognition for Technical Systems |
160
click to vote
AAAI
1997
15 years 7 months ago
1997
Mixed-initiative planning envisions a framework in which automated and human planners interact to jointly construct plans that satisfy specific objectives. In this paper, we repo...
180
click to vote
JFP
2008
15 years 6 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
161
click to vote
COLING
2002
15 years 6 months ago
2002
The MT system described in this paper combines hand-built analysis and generation components with automatically learned example-based transfer patterns. Up to now, the transfer co...
871
click to vote
Book
It's a complete robotic navigation cookbook!
"This book surveys the state of the art in sensors, systems, methods and technologies utilized by a mobile robot to determin...
180
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
The GroupMe! system provides a novel approach to social bookmarking. It enables users to create groups of arbitrary multimedia web resources and visualizes resources according to ...