Sciweavers

72 search results - page 11 / 15
» On a syntactic approximation to logics that capture complexi...
Sort
View
FMSP
2000
ACM
177views Formal Methods» more  FMSP 2000»
13 years 11 months ago
DSD: A schema language for XML
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the appli...
Nils Klarlund, Anders Møller, Michael I. Sc...
PODS
2000
ACM
146views Database» more  PODS 2000»
13 years 11 months ago
Analysis and Application of Adaptive Sampling
An estimation algorithm for a query is a probabilistic algorithm that computes an approximation for the size (number of tuples) of the query. One class of estimation algorithms us...
James F. Lynch
ECSQARU
2001
Springer
13 years 12 months ago
On Anytime Coherence-Based Reasoning
Abstract. A great deal of research has been devoted to nontrivial reasoning in inconsistent knowledge bases. Coherence-based approaches proceed by a consolidation operation which s...
Frédéric Koriche
IWQOS
2001
Springer
13 years 12 months ago
Aggregation and Scalable QoS: A Performance Study
The IETF’s Integrated Services (IntServ) architecture together with reservation aggregation provide a mechanism to support the quality-of-service demands of real-time flows in a...
Huirong Fu, Edward W. Knightly
IJCAI
1989
13 years 8 months ago
On the Declarative Semantics of Inheritance Networks
Usually, semantics of inheritance networks is specified indirectly through a translation into one of the standard logical formalisms. Since such translation involves an algorithmi...
Krishnaprasad Thirunarayan, Michael Kifer, David S...