20745 search results - page 18 / 4149 » Computer graphics for all |
SPIN
2010
Springer
13 years 5 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
ICPR
2002
IEEE
14 years 17 days ago
2002
IEEE
In this paper we introduce a novel graphical image representation comprising a single curve—the one-liner. The first step involves the detection and linking of image edges. We ...
CHI
1998
ACM
13 years 12 months ago
1998
ACM
Writing scripts (often called “macros”) can be helpful for automating repetitive tasks. Scripting facilities for text editors like Emacs and Microsoft Word have been widely us...
ICPR
2010
IEEE
13 years 5 months ago
2010
IEEE
Tracking of curvilinear structures is a task of fundamental importance in the quantitative analysis of biological structures such as neurons, blood vessels, retinal interconnects,...
CVPR
2011
IEEE
13 years 2 months ago
2011
IEEE
In this paper, we propose a novel framework to jointly recover the illumination environment and an estimate of the cast shadows in a scene from a single image, given coarse 3D geo...