924 search results - page 100 / 185 » Community systems research at Yahoo! |
IROS
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— This paper provides proof-of-concept that stateof-the-art sampling-based motion planners that are tightly integrated with a physics-based simulator can compute paths th...
104
click to vote
P2P
2005
IEEE
15 years 5 months ago
2005
IEEE
The success of the P2P idea has created a huge diversity of approaches, among which overlay networks, for example, Gnutella, Kazaa, Chord, Pastry, Tapestry, P-Grid, or DKS, have r...
107
click to vote
CHARME
2003
Springer
15 years 3 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
IJCAI
2003
15 years 1 months ago
2003
In this chapter we provide a comprehensive overview of the topic of Intelligent Techniques for Web Personalization. Web Personalization is viewed as an application of data mining a...
CGA
2006
14 years 12 months ago
2006
Large displays are becoming increasingly common technologies in the workplace because of their potential as information displays and collaboration surfaces. Despite its growing ub...