Sciweavers

1223 search results - page 171 / 245
» An Attributive Logic of Set Descriptions and Set Operations
Sort
View
DAC
2004
ACM
15 years 3 months ago
Implicit pseudo boolean enumeration algorithms for input vector control
In a CMOS combinational logic circuit, the subthreshold leakage current in the standby state depends on the state of the inputs. In this paper we present a new approach to identif...
Kaviraj Chopra, Sarma B. K. Vrudhula
USENIX
2007
15 years 2 months ago
Wresting Control from BGP: Scalable Fine-Grained Route Control
Today’s Internet users and applications are placing increased demands on Internet service providers (ISPs) to deliver fine-grained, flexible route control. To assist network o...
Patrick Verkaik, Dan Pei, Tom Scholl, Aman Shaikh,...
VLDB
1991
ACM
126views Database» more  VLDB 1991»
15 years 3 months ago
Deriving Production Rules for Incremental View Maintenance
It is widely recognized that production rules in database systems can be used to automatically maintain derived data such as views. However, writing a correct set of rules for e ci...
Stefano Ceri, Jennifer Widom
DATESO
2007
107views Database» more  DATESO 2007»
15 years 1 months ago
Updating Typed XML Documents Using a Functional Data Model
We address a problem of updating XML documents having their XML schema described by a Document Type Definition (DTD) without breaking their validity. We present a way how to expre...
Pavel Loupal
KDD
2006
ACM
164views Data Mining» more  KDD 2006»
16 years 9 days ago
Assessing data mining results via swap randomization
The problem of assessing the significance of data mining results on high-dimensional 0?1 data sets has been studied extensively in the literature. For problems such as mining freq...
Aristides Gionis, Heikki Mannila, Panayiotis Tsapa...