310 search results - page 26 / 62 » Comparing the Conceptual Systems of Experts |
AAAI
1994
14 years 8 days ago
1994
A new inductive learning system, Lab Learning for ABduction, is presented which acquires abductive rules from a set of training examples. The goal is to nd a small knowledge base ...
ICDE
2010
IEEE
14 years 10 months ago
2010
IEEE
Searching and extracting meaningful information out of highly heterogeneous datasets is a hot topic that received a lot of attention. However, the existing solutions are based on e...
ICCD
2000
IEEE
14 years 2 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
WCRE
2006
IEEE
14 years 5 months ago
2006
IEEE
Often, the only sources of information about the evolution of software systems are the systems themselves and their histories. Version control repositories contain information on ...
PUC
2008
13 years 10 months ago
2008
Tabletop groupware systems have natural advantages for collaboration, but they present a challenge for application designers because shared work and interaction progress in differe...