3116 search results - page 538 / 624 » Positively dependent types |
153
click to vote
ROBOCUP
1999
Springer
15 years 8 months ago
1999
Springer
In recent years, many researchers in AI and Robotics pay attention to RoboCup, because robotic soccer games needs various techniques in AI and Robotics, such as navigation, behavi...
181
click to vote
SIGGRAPH
1996
ACM
15 years 8 months ago
1996
ACM
A number of techniques have been proposed for flying through scenes by redisplaying previously rendered or digitized views. Techniques have also been proposed for interpolating be...
138
click to vote
COMSWARE
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper proposes a middleware to reduce the and consistency are usually poor since they depend on cell consumption of network resources and optimize the provision of size; GPS t...
152
click to vote
CLUSTER
2006
IEEE
15 years 8 months ago
2006
IEEE
Despite using high-speed network interconnection systems like InfiniBand, the communication overhead for parallel applications is still high. In this paper we show, how such costs...
167
click to vote
INFOCOM
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper assesses the predictability of network traffic by considering two metrics: (1) how far into the future a traffic rate process can be predicted with bounded error; (2) w...