1299 search results - page 175 / 260 » Quantitative Simulation Games |
142
Voted
ICTAI
1997
IEEE
15 years 4 months ago
1997
IEEE
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...
144
Voted
AAAI
2008
15 years 2 months ago
2008
Symbolic AI systems typically have difficulty reasoning about motion in continuous environments, such as determining whether a cornering car will clear a close obstacle. Bimodal s...
CORR
2008
Springer
15 years 1 months ago
2008
Springer
Large linguistic databases, especially databases having a global coverage such as The World Atlas of Language Structures (Haspelmath et al. 2005), The Automated Simility Judgment ...
127
Voted
GRID
2006
Springer
15 years 1 months ago
2006
Springer
Monitoring and correlation of streaming data from multiple sources is becoming increasingly important in many application areas. Example applications include automated commodities...
104
Voted
TWC
2008
2008
A token-based scheduling scheme for WLANs supporting voice/data traffic and its performance analysis
15 years 1 months ago
Most of the existing medium access control (MAC) protocols for wireless local area networks (WLANs) provide prioritized access by adjusting the contention window sizes or interfram...