4617 search results - page 556 / 924 » Automation of Diagrammatic Reasoning |
208
click to vote
CSL
2005
Springer
16 years 1 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
193
click to vote
FM
2005
Springer
16 years 1 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
180
click to vote
ICCBR
2005
Springer
16 years 1 months ago
2005
Springer
We present a computational model of case-based visual problem solving. The Galatea model and the two experimental participants modeled in it show that 1) visual knowledge is suffic...
181
click to vote
ICCBR
2005
Springer
16 years 1 months ago
2005
Springer
Conversational Case Based Reasoning (CCBR) is a form of CBR where users initiate conversations with the system to solve a certain problem. Current CCBR solutions are limited to spe...
199
click to vote
ICCBR
2005
Springer
2005
Springer
Evaluating the Effectiveness of Exploration and Accumulated Experience in Automatic Case Elicitation
16 years 1 months ago
Non-learning problem solvers have been applied to many interesting and complex domains. Experience-based learning techniques have been developed to augment the capabilities of cert...