531 search results - page 26 / 107 » Data structure repair using goal-directed reasoning |
VMCAI
2010
Springer
14 years 5 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
ICDE
2007
IEEE
14 years 9 months ago
2007
IEEE
Uncertainty in categorical data is commonplace in many applications, including data cleaning, database integration, and biological annotation. In such domains, the correct value o...
ICPR
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper suggests using discrete feature displacements and optical flow simultaneously to determine the camera motion and its velocity. This is advantageous when the number of ...
BMCBI
2008
13 years 8 months ago
2008
Background: The inference of a genetic network is a problem in which mutual interactions among genes are deduced using time-series of gene expression patterns. While a number of m...
SDM
2010
SIAM
13 years 10 months ago
2010
SIAM
Large graph databases are commonly collected and analyzed in numerous domains. For reasons related to either space efficiency or for privacy protection (e.g., in the case of socia...