Sciweavers

7274 search results - page 137 / 1455
» Abstractions for network update
Sort
View
ICC
1997
IEEE
109views Communications» more  ICC 1997»
15 years 9 months ago
Adaptive Power Control with MMSE Multiuser Detectors
Abstract: Power control algorithms assume that the receiver structure is fixed and iteratively update the transmit powers of the users to provide them with an acceptable quality o...
Sennur Ulukus, Roy D. Yates
PODS
1994
ACM
131views Database» more  PODS 1994»
15 years 9 months ago
Constraint Checking with Partial Information
Abstract Appears in Proceedings of the Thirteenth Symposium on Principles of Database Systems, 1994 Ashish Gupta Yehoshua Sagivy Je rey D. Ullman Jennifer Widom Dept. of Computer S...
Ashish Gupta, Yehoshua Sagiv, Jeffrey D. Ullman, J...
FMCAD
2009
Springer
15 years 9 months ago
Generalized, efficient array decision procedures
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...
EDBTW
2006
Springer
15 years 9 months ago
Twelve Theses on Reactive Rules for the Web
Reactivity, the ability to detect and react to events, is an essential functionality in many information systems. In particular, Web systems such as online marketplaces, adaptive (...
François Bry, Michael Eckert
SARA
2000
Springer
15 years 9 months ago
GIS Databases: From Multiscale to MultiRepresentation
Cartography is one of the major application areas using geographical databases. Whether it is for the business of producing paper maps for sale, or whether it is for displaying map...
Stefano Spaccapietra, Christine Parent, Christelle...