Sciweavers

2584 search results - page 508 / 517
» On the Forward Checking Algorithm
Sort
View
DBPL
1999
Springer
102views Database» more  DBPL 1999»
14 years 2 days ago
Union Types for Semistructured Data
Semistructured databases are treated as dynamically typed: they come equipped with no independent schema or type system to constrain the data. Query languages that are designed fo...
Peter Buneman, Benjamin C. Pierce
MICCAI
1998
Springer
14 years 11 hour ago
Motion Measurements in Low-Contrast X-ray Imagery
Measuring motion in medical imagery becomes more and more important, in particular for object tracking, image registration, and local displacement measurements. Often, the require...
Martin Berger, Guido Gerig
PLDI
1997
ACM
13 years 12 months ago
Componential Set-Based Analysis
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...
Cormac Flanagan, Matthias Felleisen
PODS
1994
ACM
91views Database» more  PODS 1994»
13 years 12 months ago
A Polymorphic Calculus for Views and Object Sharing
We present a typed polymorphic calculus that supports a general mechanism for view definition and object sharing among classes. In this calculus, a class can contain inclusion spe...
Atsushi Ohori, Keishi Tajima
SIGMOD
1993
ACM
150views Database» more  SIGMOD 1993»
13 years 12 months ago
Predicate Migration: Optimizing Queries with Expensive Predicates
The traditional focus of relational query optimization schemes has been on the choice of join methods and join orders. Restrictions have typically been handled in query optimizers ...
Joseph M. Hellerstein, Michael Stonebraker