Sciweavers

3625 search results - page 177 / 725
» On choosing
Sort
View
ECAI
1994
Springer
15 years 11 months ago
Using Domain Knowledge to Select Solutions in Abductive Diagnosis
Abstract. This paper presents a novel extension to abductive reasoning in causal nets, namely the use of domain knowledge to select among alternative diagnoses. We describe how pre...
Frank van Harmelen, Annette ten Teije
EDBT
1994
ACM
149views Database» more  EDBT 1994»
15 years 11 months ago
On the Estimation of Join Result Sizes
Abstract. Good estimates of join result sizes are critical for query optimization in relational database management systems. We address the problem of incrementally obtaining accur...
Arun N. Swami, K. Bernhard Schiefer
DCC
1992
IEEE
15 years 11 months ago
Constructing Word-Based Text Compression Algorithms
Text compression algorithms are normally defined in terms of a source alphabet of 8-bit ASCII codes. We consider choosing to be an alphabet whose symbols are the words of Englis...
R. Nigel Horspool, Gordon V. Cormack
PLDI
1993
ACM
15 years 11 months ago
Interprocedural Constant Propagation: A Study of Jump Function Implementations
An implementation of interprocedural constant propagation must model the transmission of values through each procedure. In the framework proposed by Callahan, Cooper, Kennedy, and...
Dan Grove, Linda Torczon
STOC
1994
ACM
125views Algorithms» more  STOC 1994»
15 years 11 months ago
A spectral technique for coloring random 3-colorable graphs (preliminary version)
Let G(3n, p, 3) be a random 3-colorable graph on a set of 3n vertices generated as follows. First, split the vertices arbitrarily into three equal color classes and then choose ev...
Noga Alon, Nabil Kahale