Sciweavers

7720 search results - page 931 / 1544
» Motion signal processing
Sort
View
BMCV
2000
Springer
15 years 11 months ago
Unsupervised Learning of Biologically Plausible Object Recognition Strategies
Recent psychological and neurological evidence suggests that biological object recognition is a process of matching sensed images to stored iconic memories. This paper presents a p...
Bruce A. Draper, Kyungim Baek
CAV
1998
Springer
147views Hardware» more  CAV 1998»
15 years 11 months ago
Verification of an Implementation of Tomasulo's Algorithm by Compositional Model Checking
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
Kenneth L. McMillan
DAGM
1993
Springer
15 years 11 months ago
Segmentation of Magnetic Resonance Brain Images using Analog Constraint Satisfaction Neural Networks
The Grey-White Decision Network (GWDN) is presented as an analog constraint satisfaction neural network that segments magnetic resonance brain images. Constraints on signal intens...
Andrew J. Worth, David N. Kennedy
CLEF
2006
Springer
15 years 11 months ago
Answer Validation Through Robust Logical Inference
Abstract. The paper features MAVE, a knowledge-based system for answer validation through deep linguistic processing and logical inference. A relaxation loop is used to determine a...
Ingo Glöckner
ICIP
1995
IEEE
15 years 11 months ago
Multi-channel restoration of electron micrographs
We introduce a projection based multi-channel restoration method which is useful in cases for which there is no a priori information about the input signal. The method is especial...
M. Vrhel, B. L. Trus