Sciweavers

363 search results - page 31 / 73
» About paths with two blocks
Sort
View
ICDCS
2010
IEEE
13 years 7 months ago
Safe and Stabilizing Distributed Cellular Flows
Advances in wireless vehicular networks present us with opportunities for developing new distributed traffic control algorithms that avoid phenomena such as abrupt phase-transition...
Taylor Johnson, Sayan Mitra, Karthik Manamcheri
AIIDE
2007
14 years 5 days 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
CHI
2005
ACM
13 years 12 months ago
Indirect assessment of web navigation success
Despite much research on hypertext and web navigation, relatively little is known about the relationship between web navigation strategies and success. We present two exploratory ...
Jacek Gwizdka, Ian Spence
TLDI
2003
ACM
121views Formal Methods» more  TLDI 2003»
14 years 3 months ago
Types for atomicity
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work has addresse...
Cormac Flanagan, Shaz Qadeer
DCC
2000
IEEE
14 years 2 months ago
RD-Optimization of Hierarchical Structured Adaptive Vector Quantization for Video Coding
This paper contains two contributions to very-low-bitrate video coding. First, we show that in contrast to common practice incremental techniques for rate-distortion optimization ...
Marcel Wagner, Dietmar Saupe