6608 search results - page 1242 / 1322 » On the Completeness of Model Checking |
143
Voted
MOBICOM
2006
ACM
15 years 9 months ago
2006
ACM
For data-collection applications in sensor networks, it is important to ensure all data sources have equal (or weighted) access to network bandwidth so that the base stations rece...
139
Voted
SAC
2006
ACM
15 years 9 months ago
2006
ACM
: In chip design, one of the main objectives is to decrease its clock cycle; however, the existing approaches to timing analysis under uncertainty are based on fundamentally restri...
158
Voted
SIGECOM
2006
ACM
15 years 9 months ago
2006
ACM
Games may be represented in many different ways, and different representations of games affect the complexity of problems associated with games, such as finding a Nash equilib...
144
Voted
SIGIR
2006
ACM
15 years 9 months ago
2006
ACM
Memory-based methods for collaborative filtering predict new ratings by averaging (weighted) ratings between, respectively, pairs of similar users or items. In practice, a large ...
141
Voted
INFOCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
— In this paper we consider packet networks loaded by admissible traffic patterns, i.e. by traffic patterns that, if optimally routed, do not overload network resources. In the...