Sciweavers

2490 search results - page 3 / 498
» Complexity of Contextual Reasoning
Sort
View
CONTEXT
2003
Springer
13 years 11 months ago
Context Proceduralization in Decision Making
Although it seems obvious that decision making is a contextual task, papers dealing with decision making tackle rarely the problem of contextual information management. After a bri...
Jean-Charles Pomerol, Patrick Brézillon
CAV
2010
Springer
251views Hardware» more  CAV 2010»
13 years 10 months ago
Automated Assume-Guarantee Reasoning through Implicit Learning
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...
Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Min...
JETAI
2000
121views more  JETAI 2000»
13 years 6 months ago
Contextual reasoning distilled
In this paper we provide a foundation of a theory of contextual reasoning from the perspective of a theory of knowledge representation. Starting from the so-called metaphor of the...
Massimo Benerecetti, Paolo Bouquet, Chiara Ghidini
SCIA
2005
Springer
13 years 11 months ago
A Memory Architecture and Contextual Reasoning Framework for Cognitive Vision
One of the key requirements for a cognitive vision system to support reasoning is the possession of an effective mechanism to exploit context both for scene interpretation and for...
Josef Kittler, William J. Christmas, Alexey Kostin...
CORR
2000
Springer
107views Education» more  CORR 2000»
13 years 6 months ago
Computing Presuppositions by Contextual Reasoning
This paper describes howautomated deduction methods for natural language processing can be applied moreefficiently by encodingcontext in a moreelaborate way. Our workis based on f...
Christof Monz