2490 search results - page 87 / 498 » Complexity of Contextual Reasoning |
133
click to vote
ICCS
2001
Springer
15 years 8 months ago
2001
Springer
Nowadays, people start to accept fuzzy rule–based systems as flexible and convenient tools to solve a myriad of ill–defined but otherwise (for humans) straightforward tasks s...
138
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
127
click to vote
CADE
2009
Springer
15 years 11 months ago
2009
Springer
predicate abstraction Shuvendu K. Lahiri and Shaz Qadeer Microsoft Research In this paper, we investigate the asymptotic complexity of various predicate abstraction problems relati...
148
click to vote
ICCBR
2005
Springer
15 years 9 months ago
2005
Springer
Automatic case elicitation (ACE) is a learning technique in which a case-based reasoning system acquires knowledge automatically from scratch through repeated real-time trial and e...
160
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
The Virtual Solar-Terrestrial Observatory (VSTO) is a distributed, scalable education and research environment for searching, integrating, and analyzing observational, experimental...