481 search results - page 65 / 97 » Validity of First-Order Knowledge Bases |
IJCAI
2007
13 years 11 months ago
2007
Coronary Heart Disease can be diagnosed by measuring and scoring regional motion of the heart wall in ultrasound images of the left ventricle (LV) of the heart. We describe a comp...
LWA
2008
13 years 11 months ago
2008
In order to support the navigation in huge document collections efficiently, tagged hierarchical structures can be used. Often, multiple tags are used to describe resources. For u...
MEDINFO
2007
13 years 11 months ago
2007
The need for inter-terminology mapping is constantly increasing with the growth in the volume of electronically captured biomedical data and the demand to re-use the same data for...
JLP
2006
13 years 10 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...
JSS
2006
13 years 10 months ago
2006
Many claims have been made about the consequences of not documenting design rationale. The general perception is that designers and architects usually do not fully understand the ...