9166 search results - page 1612 / 1834 » A framework for comparing models of computation |
178
click to vote
QEST
2006
IEEE
16 years 17 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
172
click to vote
WIOPT
2005
IEEE
16 years 3 days ago
2005
IEEE
We study power control in multicell CDMA wireless networks as a team optimization problem where each mobile attains at the minimum its individual fixed target SIR level and beyon...
183
click to vote
HT
2005
ACM
16 years 3 days ago
2005
ACM
We describe Eureka, a file system search engine that takes into account the inherent relationships among files in order to improve the rankings of search results. The key idea b...
190
click to vote
AVBPA
2005
Springer
16 years 2 days ago
2005
Springer
A multimodal biometric system integrates information from multiple biometric sources to compensate for the limitations in performance of each individual biometric system. We propos...
160
click to vote
DCOSS
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present a distributed, localized and integrated approach for establishing both low-level (i.e. exploration of 1-hop neighbors, interference avoidance) and high-level (...