2713 search results - page 372 / 543 » Parameterized Tree Systems |
160
click to vote
ICSM
2006
IEEE
16 years 14 days ago
2006
IEEE
Software design patterns are documented best practice solutions that can be applied to reoccurring problems. Although well documented, there are often opportunities to apply them ...
158
click to vote
INFOCOM
2006
IEEE
16 years 13 days ago
2006
IEEE
— This paper studies multicast application overlay networks in a repeated-game framework. In these overlays, users have both the motivation and the means to alter their position...
160
click to vote
ACG
2006
Springer
16 years 12 days ago
2006
Springer
A method to simulate the physics of the game of pool is presented. The method is based upon a parametrization of ball motion which allows the time of occurrence of events, such as...
205
click to vote
ASP
2005
Springer
15 years 12 months ago
2005
Springer
Answer Set Programming (ASP) and propositional satisfiability (SAT) are closely related. In some recent work we have shown that, on a wide set of logic programs called “tight”...
142
click to vote
ROBOCUP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. A basic task of rescue robot systems is mapping of the environment. Localizing injured persons, guiding rescue workers and excavation equipment requires a precise 3D map ...