1095 search results - page 147 / 219 » Algebraic Guide Generation |
ICDE
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract— Improving data quality is a time-consuming, laborintensive and often domain specific operation. A recent principled approach for repairing dirty database is to use dat...
TSE
2008
13 years 9 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
CVPR
2007
IEEE
14 years 11 months ago
2007
IEEE
Where am I and what am I seeing? This is a classical vision problem and this paper presents a solution based on efficient use of a combination of 2D and 3D features. Given a model...
DAC
2004
ACM
14 years 10 months ago
2004
ACM
Instances of the Boolean satisfiability problem (SAT) arise in many areas of circuit design and verification. These instances are typically constructed from some human-designed ar...
VLDB
2007
ACM
14 years 9 months ago
2007
ACM
Recently, the C# and the VISUAL BASIC communities were tantalized by the advent of LINQ [18]--the Language INtegrated Query technology from Microsoft. LINQ represents a set of lan...