Sciweavers

537 search results - page 71 / 108
» A Theory of Inferred Causation
Sort
View
ICDE
2007
IEEE
146views Database» more  ICDE 2007»
16 years 1 months ago
Conditional Functional Dependencies for Data Cleaning
We propose a class of constraints, referred to as conditional functional dependencies (CFDs), and study their applications in data cleaning. In contrast to traditional functional ...
Philip Bohannon, Wenfei Fan, Floris Geerts, Xibei ...
IPMI
2005
Springer
16 years 20 days ago
Unified Statistical Approach to Cortical Thickness Analysis
This paper presents a unified image processing and analysis framework for cortical thickness in characterizing a clinical population. The emphasis is placed on the development of d...
Moo K. Chung, Steve Robbins, Alan C. Evans
WWW
2008
ACM
16 years 15 days ago
Structured objects in owl: representation and reasoning
Applications of semantic technologies often require the representation of and reasoning with structured objects--that is, objects composed of parts connected in complex ways. Alth...
Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler
CADE
2005
Springer
16 years 3 days ago
The Model Evolution Calculus with Equality
In many theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
Peter Baumgartner, Cesare Tinelli
SIGMOD
2008
ACM
131views Database» more  SIGMOD 2008»
15 years 12 months ago
Orion 2.0: native support for uncertain data
Orion is a state-of-the-art uncertain database management system with built-in support for probabilistic data as first class data types. In contrast to other uncertain databases, ...
Sarvjeet Singh, Chris Mayfield, Sagar Mittal, Suni...