941 search results - page 102 / 189 » The Second Order Particle System |
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— Safety must be ensured in the deployment of multi-agent vehicle systems. This paper presents decentralized collision avoidance algorithms for systems with second order dynamics...
HPDC
2008
IEEE
15 years 4 months ago
2008
IEEE
A lease is a token which grants its owner exclusive access to a resource for a defined span of time. In order to be able to tolerate failures, leases need to be coordinated by di...
111
click to vote
PASTE
1998
ACM
15 years 1 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
USENIX
2007
15 years 5 days ago
2007
Online content distribution has increasingly gained popularity among the entertainment industry and the consumers alike. A key challenge in online content distribution is a cost-e...
COLING
2000
14 years 11 months ago
2000
While recent advancements in virtual reality technology have created a rich communication interface linking humans and computers, there has been little work on building dialogue s...