Sciweavers

43 search results - page 9 / 9
» Propositional Interpolation and Abstract Interpretation
Sort
View
CORR
2006
Springer
99views Education» more  CORR 2006»
13 years 5 months ago
Logical settings for concept learning from incomplete examples in First Order Logic
We investigate here concept learning from incomplete examples. Our first purpose is to discuss to what extent logical learning settings have to be modified in order to cope with da...
Dominique Bouthinon, Henry Soldano, Véroniq...
SIGMOD
2006
ACM
156views Database» more  SIGMOD 2006»
14 years 5 months ago
MauveDB: supporting model-based user views in database systems
Real-world data -- especially when generated by distributed measurement infrastructures such as sensor networks -- tends to be incomplete, imprecise, and erroneous, making it impo...
Amol Deshpande, Samuel Madden
CORR
2002
Springer
141views Education» more  CORR 2002»
13 years 5 months ago
Question answering: from partitions to Prolog
Abstract. We implement Groenendijk and Stokhof's partition semantics of questions in a simple question answering algorithm. The algorithm is sound, complete, and based on tabl...
Balder ten Cate, Chung-chieh Shan