Sciweavers

1102 search results - page 7 / 221
» Interactive Refinement of a Knowledge Base
Sort
View
FLAIRS
2001
13 years 10 months ago
Skill Refinement through Competence Feedback
Learningis generally performedin twostages, knowledge acquisition and skill refinement. Developments within machinelearning havetended to concentrate on knowledgeacquisition as op...
David W. Patterson, Sarabjot S. Anand, John G. Hug...
BILDMED
2008
178views Algorithms» more  BILDMED 2008»
13 years 10 months ago
Automatic Segmentation of the Cortical Grey and White Matter in MRI Using a Region-Growing Approach Based on Anatomical Knowledg
Abstract We propose an automatic procedure for the correct segmentation of grey and white matter in MR data sets of the human brain. Our method exploits general anatomical knowledg...
Christian Wasserthal, Karin Engel, Karsten Rink, A...
ICSE
2004
IEEE-ACM
14 years 9 months ago
Heuristic-Based Model Refinement for FLAVERS
FLAVERS is a finite-state verification approach that allows an analyst to incrementally add constraints to improve the precision of the model of the system being analyzed. Except ...
Jianbin Tan, George S. Avrunin, Lori A. Clarke
FMSB
2008
129views Formal Methods» more  FMSB 2008»
13 years 10 months ago
Rule-Based Modelling, Symmetries, Refinements
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
Vincent Danos, Jérôme Feret, Walter F...
AIPS
1996
13 years 10 months ago
A Candidate Set Based Analysis of Subgoal Interactions in Conjunctive Goal Planning
Subgoal interactions have received considerable attention in AI Planning. Earlier analyses by Korf [11] and Joslin and Roach [6] were done in terms of the topology of the space of...
Subbarao Kambhampati, Laurie H. Ihrig, Biplav Sriv...