Sciweavers

3706 search results - page 351 / 742
» KtSeqC: System Description
Sort
View
CAI
2006
Springer
15 years 6 months ago
Symbolic Explanation of Similarities in Case-based Reasoning
CBR systems solve problems by assessing their similarity with already solved problems (cases). Explanation of a CBR system prediction usually consists of showing the user the set o...
Eva Armengol, Enric Plaza
CG
2005
Springer
15 years 6 months ago
LADDER, a sketching language for user interface developers
Sketch recognition systems are currently being developed for many domains, but can be time consuming to build if they are to handle the intricacies of each domain. In order to aid...
Tracy Hammond, Randall Davis
LOGCOM
2006
101views more  LOGCOM 2006»
15 years 6 months ago
Tableau-based Decision Procedures for Hybrid Logic
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...
Thomas Bolander, Torben Braüner
KES
1999
Springer
15 years 11 months ago
Shape specification in design using fuzzy logic
A shape specification system based on fuzzy logic is proposed, which aims to facilitate designers in conceptual design stage by allowing them to specify and work with rough models...
B. Pham
PPSN
1998
Springer
15 years 11 months ago
The Coevolution of Antibodies for Concept Learning
We present a novel approach to concept learning in which a coevolutionary genetic algorithm is applied to the construction of an immune system whose antibodies can discriminate bet...
Mitchell A. Potter, Kenneth A. De Jong