9133 search results - page 359 / 1827 » Modelling perception using image processing algorithms |
153
click to vote
CAV
1998
Springer
15 years 9 months ago
1998
Springer
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...
148
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— In order to construct three-dimensional shape models of large-scale architectural structures using a laser range finder, a number of range images are taken from various viewpo...
143
click to vote
BMVC
2001
15 years 7 months ago
2001
This paper describes an algorithm for shape estimation in cluttered scenes. A new image potential is defined based on strokes detected in the image. The motivation is simple. Fea...
154
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
In this paper we present a new technique for monaural source separation in musical mixtures, which uses the knowledge of the musical score. This information is used to initialize ...
143
click to vote
COLING
1996
15 years 6 months ago
1996
We address here the treatment of metonymic expressions from a knowledge representation perspective, that is, in the context of a text understanding system which aims to build a co...