144227 search results - page 28835 / 28846 » Using the |
AGENTS
1997
Springer
14 years 18 days ago
1997
Springer
The Robot World Cup Initiative (RoboCup) is an attempt to foster AI and intelligent robotics research by providing a standard problem where wide range of technologies can be integ...
CAV
2010
Springer
14 years 8 days ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...
CIVR
2006
Springer
14 years 5 days ago
2006
Springer
We introduce an interface for efficient video search that exploits the human ability to quickly scan visual content, after automatic retrieval has arrange the images in expected or...
PARA
2000
Springer
14 years 12 hour ago
2000
Springer
The JavaGrande Forum is a group of users, researchers, and interested parties from industry. The Forum members are either trying to use Java for resource-intensive applications or ...
PLDI
1991
ACM
13 years 12 months ago
1991
ACM
o Authors of Extended Abstracts William Pugh Dept. of Computer Science and Institute for Advanced Computer Studies Univ. of Maryland, College Park March 16, 1993 This article stems...