5232 search results - page 108 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
103
Voted
BMVC
2000
15 years 3 months ago
2000
This paper describes a system which automatically derives 3D models of architectural scenes from multiple images. This system differs from previous structure from motion algorithm...
126
click to vote
MICCAI
2010
Springer
15 years 3 days ago
2010
Springer
Abstract. Deformable image registration in the presence of considerable contrast differences and large-scale size and shape changes represents a significant challenge for image r...
130
click to vote
CHARME
2001
Springer
15 years 5 months ago
2001
Springer
We consider the formal verification of the cache coherence protocol of the Stanford FLASH multiprocessor for N processors. The proof uses the SMV proof assistant, a proof system ba...
140
click to vote
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
The construction of low-dimensional models explaining highdimensional signal observations provides concise and efficient data representations. In this paper, we focus on pattern ...
107
click to vote
EJC
2000
15 years 3 months ago
2000
We present a new model for generating network applications. Our model is based on trees communicating with each other. Our model is simple to understand, but yet powerful enough to...