Search Sciweavers | Sciweavers

2333 search results - page 35 / 467

» Recursive Computational Depth

click to vote

STACS
2004
Springer

100views Theoretical Computer Science» more STACS 2004»

Automata-Based Analysis of Recursive Cryptographic Protocols

14 years 1 months ago

Download dimacs.rutgers.edu

Ralf Küsters, Thomas Wilke

claim paper

Read More »

click to vote

FOCS
1998
IEEE

104views Theoretical Computer Science» more FOCS 1998»

A Primitive Recursive Algorithm for the General Petri Net Reachability Problem

14 years 6 days ago

Download hal.archives-ouvertes.fr

Zakaria Bouziane

claim paper

Read More »

click to vote

COMGEO
2010
ACM

143views Applied Computing» more COMGEO 2010»

Computing the visibility map of fat objects

13 years 6 months ago

Download alexandria.tue.nl

Abstract. We give an output-sensitive algorithm for computing the visibility map of a set of n constant-complexity convex fat polyhedra or curved objects in 3-space. Our algorithm ...

Mark de Berg, Chris Gray

claim paper

Read More »

click to vote

CVPR
2000
IEEE

137views Computer Vision» more CVPR 2000»

Articulated-Pose Estimation Using Brightness and Depth-Constancy Constraints

14 years 10 months ago

Download www.mangolassi.org

Michele Covell, Ali Rahimi, Michael Harville, Trev...

claim paper

Read More »

click to vote

ICCV
2007
IEEE

127views Computer Vision» more ICCV 2007»

Depth Map Regeneration via Improved Graph Cuts Using a Novel Omnidirectional Stereo Sensor

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers