3954 search results - page 259 / 791 » Image-based Model Completion |
171
click to vote
IFIP12
2009
15 years 4 months ago
2009
Abstract In the scientific literature, it is generally assumed that models can be completely established before the diagnosis analysis. However, in the actual maintenance problems,...
160
click to vote
COGSR
2011
15 years 1 months ago
2011
Methods for cleaning up (or recognizing) states of a neural network are crucial for the functioning of many neural cognitive models. For example, Vector Symbolic Architectures pro...
168
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Analytic manifolds were recently used for motion averaging, segmentation and robust estimation. Here we consider the epipolar constraint for calibrated cameras, which is the most ...
174
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...
155
click to vote
WDAG
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...