192 search results - page 14 / 39 » Using SAT-Solvers to Compute Inference-Proof Database Instan... |
108
click to vote
PODS
2011
ACM
14 years 11 days ago
2011
ACM
In the traditional data exchange setting, source instances are restricted to be complete in the sense that every fact is either true or false in these instances. Although natural ...
SIGMOD
2010
ACM
15 years 2 months ago
2010
ACM
Parameterized queries are commonly used in database applications. In a parameterized query, the same SQL statement is potentially executed multiple times with different parameter ...
BMCBI
2005
14 years 9 months ago
2005
Background: Structural and functional research often requires the computation of sets of protein structures based on certain properties of the proteins, such as sequence features,...
91
Voted
ESCIENCE
2007
IEEE
15 years 1 months ago
2007
IEEE
Provenance management has become increasingly important to support scientific discovery reproducibility, result interpretation, and problem diagnosis in scientific workflow enviro...
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
Classification of images in many category datasets has
rapidly improved in recent years. However, systems that
perform well on particular datasets typically have one or
more lim...