3575 search results - page 201 / 715 » Modeling Concurrency with Geometry |
192
click to vote
CAV
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
145
click to vote
ICIP
2006
IEEE
16 years 6 months ago
2006
IEEE
This article proposes a local photometric model that compensates for specular highlights and lighting variations due to position and intensity changes. We define clearly on which ...
133
click to vote
GMP
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes a system which converts a twodimensional sketch with hidden lines removed of a single polyhedral object into a boundary representation solid model. The system...
144
click to vote
HLK
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper model-based reconstruction methods are applied to the detailed reconstruction of buildings from close-range images. The 3D points obtained through image matching are...
143
click to vote
PRESENCE
2002
15 years 4 months ago
2002
This paper presents a method for creating 3D models of real objects using video see-through augmented reality. We use a tracked probe to sample the objects' geometries and vi...