Sciweavers

2082 search results - page 233 / 417
» Change Paths in Reasoning!
Sort
View
KR
2010
Springer
15 years 10 months ago
Diagnosis as Planning Revisited
In discrete dynamical systems change results from actions. As such, given a set of observations, diagnoses often take the form of posited events that result in the observed behavi...
Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlrait...
ICCBR
2001
Springer
15 years 10 months ago
A Similarity-Based Approach to Attribute Selection in User-Adaptive Sales Dialogs
For dynamic sales dialogs in electronic commerce scenarios, approaches based on an information gain measure used for attribute selection have been suggested. These measures conside...
Andreas Kohlmaier, Sascha Schmitt, Ralph Bergmann
ICSE
2001
IEEE-ACM
15 years 10 months ago
A Formal Approach to Component-Based Software Engineering: Education and Evaluation
This paper summarizes an approach for introducing component-based software engineering (CBSE) early in the undergraduate CS curriculum, and an evaluation of the impact of the appr...
Murali Sitaraman, Timothy J. Long, Bruce W. Weide,...
LICS
2000
IEEE
15 years 10 months ago
Virtual Symmetry Reduction
We provide a general method for ameliorating state explosion via symmetry reduction in certain asymmetric systems, such as systems with many similar, but not identical, processes....
E. Allen Emerson, John Havlicek, Richard J. Trefle...
GIS
1999
ACM
15 years 10 months ago
Integrating Geographic Information Systems, Spatial Digital Libraries and Information Spaces for Conducting Humanitarian Assista
The GeoWorlds system integrates geographic information systems, spatial digital libraries and other information analysis, retrieval and collaboration tools. It supports multiple a...
Vished Kumar, Alejandro Bugacov, Murilo Coutinho, ...