Sciweavers

673 search results - page 3 / 135
» Approximate coherence-based reasoning
Sort
View
ICCBR
2007
Springer
14 years 2 months ago
Usages of Generalization in Case-Based Reasoning
The aim of this paper is to analyze how the generalizations built by a CBR method can be used as local approximations of a concept. From this point of view, these local approximati...
Eva Armengol
PLDI
2012
ACM
11 years 11 months ago
Proving acceptability properties of relaxed nondeterministic approximate programs
Approximate program transformations such as skipping tasks [29, 30], loop perforation [21, 22, 35], reduction sampling [38], multiple selectable implementations [3, 4, 16, 38], dy...
Michael Carbin, Deokhwan Kim, Sasa Misailovic, Mar...
KR
2000
Springer
14 years 4 days ago
Anytime Diagnostic Reasoning using Approximate Boolean Constraint Propagation
In contrast with classical reasoning, where a solution is either correct or incorrect, approximate reasoning tries to compute solutions which are close to the ideal solution, with...
Alan Verberne, Frank van Harmelen, Annette ten Tei...
GIS
2008
ACM
13 years 8 months ago
Location approximation for local search services using natural language hints
Steven Schockaert, Martine De Cock, Etienne E. Ker...
AIIA
1991
Springer
14 years 2 days ago
Approximate Entailment
The use of approximation as a method for dealing with complex problems is a fundamental research issue in Knowledge Representation. Using approximation in symbolic AI is not strai...
Marco Cadoli, Marco Schaerf