3166 search results - page 400 / 634 » Translation By Structural Correspondences |
142
click to vote
HPCC
2005
Springer
16 years 6 days ago
2005
Springer
This paper proposes a new parity space approach to a fault detection for general systems with noises, actuator faults and sensor faults. The proposed parity space approach could be...
173
click to vote
HPCC
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We consider query execution strategies for object-oriented distributed databases. There are several scenarios of query decomposition, assuming that the corresponding quer...
197
click to vote
IPMI
2005
Springer
16 years 6 days ago
2005
Springer
In this paper, we evaluate different schemes for constructing a mean shape anatomical atlas for atlas-based segmentation of MR brain images. Each atlas is constructed and validate...
157
click to vote
ISSAC
2005
Springer
16 years 6 days ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...
210
click to vote
LPNMR
2005
Springer
16 years 6 days ago
2005
Springer
Loops and the corresponding loop formulas play an important role in answer set programming. On the one hand, they are used for guaranteeing correctness and completeness in SAT-base...