Sciweavers

231 search results - page 9 / 47
» Path disruption games
Sort
View
HICSS
1999
IEEE
115views Biometrics» more  HICSS 1999»
15 years 1 months ago
GIS-based Dynamic Traffic Congestion Modeling to Support Time-Critical Logistics
Time-critical logistics (TCL) refer to time-sensitive procurement, processing and distribution activities. A confounding factor is the transportation networks that contain these l...
Harvey J. Miller, Yi-Hwa Wu, Ming-Chih Hung
ATMOS
2007
14 years 11 months ago
Maintenance of Multi-level Overlay Graphs for Timetable Queries
In railways systems the timetable is typically represented as a weighted digraph on which itinerary queries are answered by shortest path algorithms, usually running Dijkstra’s a...
Francesco Bruera, Serafino Cicerone, Gianlorenzo D...
TACAS
2007
Springer
116views Algorithms» more  TACAS 2007»
15 years 3 months ago
Model Checking on Trees with Path Equivalences
For specifying and verifying branching-time requirements, a reactive system is traditionally modeled as a labeled tree, where a path in the tree encodes a possible execution of the...
Rajeev Alur, Pavol Cerný, Swarat Chaudhuri
AIIDE
2007
14 years 12 months ago
SORTS: A Human-Level Approach to Real-Time Strategy AI
We developed knowledge-rich agents to play real-time strategy games by interfacing the ORTS game engine to the Soar cognitive architecture. The middleware we developed supports gr...
Samuel Wintermute, Joseph Xu, John E. Laird
DSRT
2003
IEEE
15 years 2 months ago
Peer-to-Peer Suitability for Collaborative Multiplayer Games
Peer-to-peer communication is emerging as one of the most potentially disruptive technologies in the networking sector. If the interest in such technologies as Napster, Morpheus a...
Abdulmotaleb El-Saddik, Andre Dufour