Sciweavers

2608 search results - page 320 / 522
» Inferring Answers to Queries
Sort
View
PLDI
1995
ACM
15 years 10 months ago
APT: A Data Structure for Optimal Control Dependence Computation
The control dependence relation is used extensively in restructuring compilers. This relation is usually represented using the control dependence graph; unfortunately, the size of...
Keshav Pingali, Gianfranco Bilardi
CHI
2008
ACM
15 years 8 months ago
Knowledge in the head and on the web: using topic expertise to aid search
The importance of background knowledge for effective searching on the Web is not well understood. Participants were given trivia questions on two topics and asked to answer them f...
Geoffrey B. Duggan, Stephen J. Payne
SIGMOD
2010
ACM
171views Database» more  SIGMOD 2010»
15 years 6 months ago
An optimal labeling scheme for workflow provenance using skeleton labels
We develop a compact and efficient reachability labeling scheme for answering provenance queries on workflow runs that conform to a given specification. Even though a workflow run...
Zhuowei Bao, Susan B. Davidson, Sanjeev Khanna, Su...
CORR
2002
Springer
135views Education» more  CORR 2002»
15 years 6 months ago
Minimal-Change Integrity Maintenance Using Tuple Deletions
We address the problem of minimal-change integrity maintenance in the context of integrity constraints in relational databases. We assume that integrity-restoration actions are li...
Jan Chomicki, Jerzy Marcinkowski
CONSTRAINTS
1998
112views more  CONSTRAINTS 1998»
15 years 6 months ago
Temporal Constraints: A Survey
Abstract. Temporal Constraint Satisfaction is an information technology useful for representing and answering queries about the times of events and the temporal relations between t...
Eddie Schwalb, Lluís Vila