2162 search results - page 242 / 433 » Automated Reasoning on Feature Models |
150
click to vote
AAAI
1990
15 years 6 months ago
1990
Although computers are widely used to simulate complex physical systems, crafting the underlying models that enable computer analysis remains difficult. When a model is created fo...
143
Voted
MVA
2002
15 years 4 months ago
2002
This paper describes a physically precise spine model and its application to estimate three dimensional spine posture from the frontal and lateral views of a human body taken by t...
176
click to vote
TMI
2002
15 years 4 months ago
2002
This paper presents a fully automated segmentation method for medical images. The goal is to localize and parameterize a variety of types of structure in these images for subsequen...
151
click to vote
ICCBR
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes how CBR can be used to compare, reuse, and adapt inductive models that represent complex systems. Complex systems are not well understood and therefore require...
175
click to vote
DLOG
2000
15 years 6 months ago
2000
In this paper, we demonstrate that the main standard optimization techniques dependency directed backtracking and model merging can be adapted to description logics with concrete ...