Sciweavers

2490 search results - page 61 / 498
» Complexity of Contextual Reasoning
Sort
View
ICCBR
2009
Springer
15 years 10 months ago
Case-Based Reasoning in Transfer Learning
Positive transfer learning (TL) occurs when, after gaining experience from learning how to solve a (source) task, the same learner can exploit this experience to improve performanc...
David W. Aha, Matthew Molineaux, Gita Sukthankar
IAT
2008
IEEE
15 years 10 months ago
The Role of Blackboard-Based Reasoning and Visual Analytics in RESIN's Predictive Analysis
Knowledge gathering and investigative tasks in open environments can be very complex because the problemsolving context is constantly evolving, and the data may be incomplete, unr...
Dingxiang Liu, Jia Yue, Xiaoyu Wang, Anita Raja, W...
166
Voted
AGILE
2007
Springer
184views GIS» more  AGILE 2007»
15 years 10 months ago
Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture
Environmental databases store a wide variety of data from heterogeneous sources which are described with domain-specific terminologies and refer to distinct locations. In order to ...
Rolf Grütter, Bettina Bauer-Messmer
140
Voted
FM
2009
Springer
101views Formal Methods» more  FM 2009»
15 years 8 months ago
Formal Reasoning about Expectation Properties for Continuous Random Variables
Abstract. Expectation (average) properties of continuous random variables are widely used to judge performance characteristics in engineering and physical sciences. This paper pres...
Osman Hasan, Naeem Abbasi, Behzad Akbarpour, Sofi&...
FOSSACS
2000
Springer
15 years 7 months ago
A Program Refinement Framework Supporting Reasoning about Knowledge and Time
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
Kai Engelhardt, Ron van der Meyden, Yoram Moses