4814 search results - page 130 / 963 » Combining abstract interpreters |
157
click to vote
MICCAI
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. The creation of average anatomical atlases has been a growing area of research in recent years. It is of increased value to construct representations of, not only intensi...
148
click to vote
MIRAGE
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Most existing methods for determining localization of the image feature point are still inefficient in terms of the precision. In the paper, we propose a new algorithm fo...
143
click to vote
NLDB
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. In this paper, we target document ranking in a highly technical field with the aim to approximate a ranking that is obtained through an existing ontology (knowledge stru...
184
click to vote
SUM
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. An ontology matching method (or a matcher) aims at matching every entity (or concept) in one ontology to the most suitable entity (or entities) in another ontology. Usual...
167
click to vote
ICTAC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...