Sciweavers

811 search results - page 89 / 163
» Knowledge Discovery from a Case Base
Sort
View
ICTAC
2009
Springer
13 years 5 months ago
Integration Testing from Structured First-Order Specifications via Deduction Modulo
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
Delphine Longuet, Marc Aiguier
IJCAI
2001
13 years 9 months ago
Total-Order Planning with Partially Ordered Subtasks
One of the more controversial recent planning algorithms is the SHOP algorithm, an HTN planning algorithm that plans for tasks in the same order that they are to be executed. SHOP...
Dana S. Nau, Héctor Muñoz-Avila, Yue...
SEMWEB
2007
Springer
14 years 1 months ago
HealthFinland - Finnish Health Information on the Semantic Web
This paper shows how semantic web techniques can be applied to solving problems of distributed content creation, discovery, linking, aggregation, and reuse in health information po...
Eero Hyvönen, Kim Viljanen, Osma Suominen
KDD
2003
ACM
149views Data Mining» more  KDD 2003»
14 years 8 months ago
Knowledge-based data mining
We describe techniques for combining two types of knowledge systems: expert and machine learning. Both the expert system and the learning system represent information by logical d...
Søren Damgaard, Sholom M. Weiss, Shubir Kap...
CHI
2003
ACM
14 years 8 months ago
Can you see what i hear?: the design and evaluation of a peripheral sound display for the deaf
We developed two visual displays for providing awareness of environmental audio to deaf individuals. Based on fieldwork with deaf and hearing participants, we focused on supportin...
F. Wai-ling Ho-Ching, Jennifer Mankoff, James A. L...