1626 search results - page 125 / 326 » Hybrid computing algorithm in representing solid model |
135
Voted
SOFSEM
2007
Springer
15 years 9 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
135
click to vote
MMB
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
155
Voted
CIARP
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Region-based approaches have been proposed to computerassisted colorization problem, typically using shape similarity and topology relations between regions. Given a colo...
158
click to vote
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
In this paper, we present an approach to multi-view image-based 3D reconstruction by statistically inversing the ray-tracing based image generation process. The proposed algorithm...
98
Voted
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
We consider a simple statistical model of the image, in which the image is represented as a sum of two parts: one part is explained by an i.i.d. color Gaussian mixture and the oth...