3678 search results - page 641 / 736 » On the Stable Paths Problem |
AGENTS
2001
Springer
14 years 3 months ago
2001
Springer
In this paper, we study a simple means for coordinating teams of simple agents. In particular, we study ant robots and how they can cover terrain once or repeatedly by leaving mar...
SIGGRAPH
2010
ACM
14 years 3 months ago
2010
ACM
We present an efficient technique to render single scattering in large scenes with reflective and refractive objects and homogeneous participating media. Efficiency is obtained...
IWDC
2001
Springer
14 years 3 months ago
2001
Springer
We propose a novel approach to Quality of Service, intended for IP over SONET (or IP over WDM) networks, that offers end-users the choice between two service classes defined acco...
RE
2001
Springer
14 years 3 months ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
SPIN
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...