789 search results - page 63 / 158 » On Theory Revision with Queries |
127
click to vote
CORR
2011
Springer
14 years 3 months ago
2011
Springer
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computati...
185
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
The paper proposes an extension of CFDs [1], referred to as extended Conditional Functional Dependencies (eCFDs). In contrast to CFDs, eCFDs specify patterns of semantically relate...
ICFP
2006
ACM
15 years 12 months ago
2006
ACM
Type-directed programming is an important idiom for software design. In type-directed programming the behavior of programs is guided by the type structure of data. It makes it pos...
WADS
2001
Springer
15 years 4 months ago
2001
Springer
Methods for ranking World Wide Web resources according to their position in the link structure of the Web are receiving considerable attention, because they provide the ļ¬rst eļ¬...
SIGCOMM
1998
ACM
15 years 4 months ago
1998
ACM
AbstractāThe sharing of caches among Web proxies is an important technique to reduce Web traffic and alleviate network bottlenecks. Nevertheless it is not widely deployed due to ...