Sciweavers

1353 search results - page 108 / 271
» Streamlined Constraint Reasoning
Sort
View
SAS
2009
Springer
281views Formal Methods» more  SAS 2009»
16 years 2 months ago
A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination
The Java programming language requires that out-of-bounds array accesses produce runtime exceptions. In general, this requires a dynamic bounds check each time an array element is...
David Niedzielski, Jeffery von Ronne, Andreas Gamp...
110
Voted
PVLDB
2010
82views more  PVLDB 2010»
15 years 5 days ago
Record Linkage with Uniqueness Constraints and Erroneous Values
Many data-management applications require integrating data from a variety of sources, where different sources may refer to the same real-world entity in different ways and some ma...
Songtao Guo, Xin Dong, Divesh Srivastava, Remi Zaj...
AAAI
2000
15 years 3 months ago
GeoRep: A Flexible Tool for Spatial Representation of Line Drawings
A central problem in qualitative reasoning is understanding how people reason about space and shape with diagrams. We claim that progress in diagrammatic reasoning is being slowed...
Ronald W. Ferguson, Kenneth D. Forbus
KDD
2002
ACM
157views Data Mining» more  KDD 2002»
16 years 2 months ago
Transforming data to satisfy privacy constraints
Data on individuals and entities are being collected widely. These data can contain information that explicitly identifies the individual (e.g., social security number). Data can ...
Vijay S. Iyengar
CCIA
2007
Springer
15 years 8 months ago
Mendelian error detection in complex pedigrees using weighted constraint satisfaction techniques
With the arrival of high throughput genotyping techniques, the detection of likely genotyping errors is becoming an increasingly important problem. In this paper we are interested...
Martí Sánchez, Simon de Givry, Thoma...