1421 search results - page 254 / 285 » Satisfying KBO Constraints |
185
click to vote
POPL
2008
ACM
16 years 4 days ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
114
click to vote
PODS
2008
ACM
15 years 12 months ago
2008
ACM
We present a novel definition of privacy in the framework of offline (retroactive) database query auditing. Given information about the database, a description of sensitive data, ...
155
click to vote
EDBT
2008
ACM
15 years 12 months ago
2008
ACM
Data exchange is the problem of transforming data structured under a schema (called source) into data structured under a different schema (called target). The emphasis of data exc...
100
click to vote
ICCV
2009
IEEE
15 years 7 months ago
2009
IEEE
Stereo matching and volumetric reconstruction are the most explored 3D scene recovery techniques in computer vision. Many existing approaches assume perspective input images and us...
109
click to vote
SARA
2009
Springer
15 years 6 months ago
2009
Springer
We study novel approaches for solving of hard combinatorial problems by translation to Boolean Satisfiability (SAT). Our focus is on combinatorial problems that can be represented...