4502 search results - page 463 / 901 » Regular Model Checking |
180
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
We present here a new descriptor for depth images adapted to 2D/3D model matching and retrieving. We propose a representation of a 3D model by 20 depth images rendered from the ve...
200
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
We develop a framework to detect when certain sounds are present in a mixed audio signal. We focus on the regime where out of a large number of possible sounds, a small but unknow...
164
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Legged robots offer the potential to navigate highly challenging terrain, and there has recently been much progress in this area. However, a great deal of this recent work has ...
201
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
We present a novel technique for image inpainting, the problem of filling-in missing image parts. Image inpainting is ill-posed and we adopt a probabilistic model-based approach ...
190
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Recent studies have shown that various models can explain the emergence of complex networks, such as scale-free and small-world networks. This paper presents a different model to...