Sciweavers

386 search results - page 62 / 78
» A Consistent Semantics of Self-adjusting Computation
Sort
View
109
Voted
ECSQARU
2001
Springer
15 years 6 months ago
On Anytime Coherence-Based Reasoning
Abstract. A great deal of research has been devoted to nontrivial reasoning in inconsistent knowledge bases. Coherence-based approaches proceed by a consolidation operation which s...
Frédéric Koriche
ASSETS
2007
ACM
15 years 5 months ago
SIBYLLE: a system for alternative communication adapting to the context and its user
In this paper, we describe the latest version of SIBYLLE, an AAC system that permits persons suffering from severe physical disabilities to enter text with any computer applicatio...
Tonio Wandmacher, Jean-Yves Antoine, Franck Poirie...
EUSFLAT
2007
15 years 3 months ago
Using Generalized Constraints and Protoforms to Deal with Adverbs
Computation with information described in natural language (NL) has intrinsic importance because much of human knowledge is described using these languages. Soft Computing approac...
Andrés Soto, José Angel Olivas, Manu...
SIGMOD
2010
ACM
191views Database» more  SIGMOD 2010»
15 years 2 months ago
Data conflict resolution using trust mappings
In massively collaborative projects such as scientific or community databases, users often need to agree or disagree on the content of individual data items. On the other hand, tr...
Wolfgang Gatterbauer, Dan Suciu
JFP
2010
107views more  JFP 2010»
15 years 8 days ago
Lightweight checkpointing for concurrent ML
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
Lukasz Ziarek, Suresh Jagannathan