Sciweavers

3758 search results - page 302 / 752
» A Complete Subsumption Algorithm
Sort
View
178
Voted
ICDE
1998
IEEE
99views Database» more  ICDE 1998»
15 years 11 months ago
Query Folding with Inclusion Dependencies
Query folding is a technique for determining how a query may be answered using a given set of resources, which may include materialized views, cached results of previous queries, ...
Jarek Gryz
FM
1997
Springer
159views Formal Methods» more  FM 1997»
15 years 10 months ago
Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects
Abstract Set boolean operations between 2-dlmensional geometric objects are crucial in computational geometry and deserve rigorous treatments. We build up a simple and convergent s...
David Cazier, Jean-François Dufourd
EURODAC
1994
IEEE
148views VHDL» more  EURODAC 1994»
15 years 10 months ago
BiTeS: a BDD based test pattern generator for strong robust path delay faults
This paper presents an algorithm for generation of test patterns for strong robust path delay faults, i.e. tests that propagate the fault along a single path and additionally are ...
Rolf Drechsler
STOC
1993
ACM
109views Algorithms» more  STOC 1993»
15 years 10 months ago
Routing permutations on graphs via matchings
We consider a class of routing problems on connected graphs G. Initially, each vertex v of G is occupied by a “pebble” which has a unique destination π(v) in G (so that π is...
Noga Alon, Fan R. K. Chung, Ronald L. Graham
GFKL
2007
Springer
158views Data Mining» more  GFKL 2007»
15 years 10 months ago
Investigating Classifier Learning Behavior with Experiment Databases
Experimental assessment of the performance of classification algorithms is an important aspect of their development and application on real-world problems. To facilitate this analy...
Joaquin Vanschoren, Hendrik Blockeel