1632 search results - page 319 / 327 » Modeling billiards games |
TACAS
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...
ICS
2009
Tsinghua U.
14 years 2 months ago
2009
Tsinghua U.
“Is transactional memory useful?” is the question that cannot be answered until we provide substantial applications that can evaluate its capabilities. While existing TM appli...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Network coding is emerging as a promising alternative to traditional content distribution approaches in P2P networks. By allowing information mixture in peers, it simpli...
ECOWS
2009
Springer
14 years 2 months ago
2009
Springer
—In service-oriented architectures, participants keep interacting by exchanging tasks, in order to increase their benefit. Since carrying out a task incurs costs, and participan...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
Most Interactive Storytelling systems developed to date have followed a task-based approach to story representation, using planning techniques to drive the story by generating a s...