Sciweavers

1006 search results - page 83 / 202
» Generating XML structure using examples and constraints
Sort
View
EDBT
2004
ACM
147views Database» more  EDBT 2004»
15 years 10 months ago
Projection Pushing Revisited
The join operation, which combines tuples from multiple relations, is the most fundamental and, typically, the most expensive operation in database queries. The standard approach t...
Benjamin J. McMahan, Guoqiang Pan, Patrick Porter,...
SDM
2008
SIAM
122views Data Mining» more  SDM 2008»
14 years 11 months ago
Type-Independent Correction of Sample Selection Bias via Structural Discovery and Re-balancing
Sample selection bias is a common problem in many real world applications, where training data are obtained under realistic constraints that make them follow a different distribut...
Jiangtao Ren, Xiaoxiao Shi, Wei Fan, Philip S. Yu
TPHOL
1994
IEEE
15 years 1 months ago
Trustworthy Tools for Trustworthy Programs: A Verified Verification Condition Generator
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
Peter V. Homeier, David F. Martin
ECCV
2002
Springer
15 years 11 months ago
Structure and Motion for Dynamic Scenes - The Case of Points Moving in Planes
We consider dynamic scenes consisting of moving points whose motion is constrained to happen in one of a pencil of planes. This is for example the case when rigid objects move ind...
Peter F. Sturm
MPC
2004
Springer
155views Mathematics» more  MPC 2004»
15 years 3 months ago
Inferring Type Isomorphisms Generically
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
Frank Atanassow, Johan Jeuring