Sciweavers

491 search results - page 41 / 99
» Avoiding Determinization
Sort
View
ICFP
2009
ACM
15 years 11 months ago
Partial memoization of concurrency and communication
Memoization is a well-known optimization technique used to eliminate redundant calls for pure functions. If a call to a function f with argument v yields result r, a subsequent ca...
Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jaga...
COMGEO
2012
ACM
13 years 6 months ago
Routing multi-class traffic flows in the plane
We study a class of multi-commodity flow problems in geometric domains: For a given planar domain P populated with obstacles (holes) of K ≥ 2 types, compute a set of thick path...
Joondong Kim, Joseph S. B. Mitchell, Valentin Poli...
CVPR
2000
IEEE
16 years 22 days ago
Rectified Catadioptric Stereo Sensors
It has been previously shown how mirrors can be used to capture stereo images with a single camera, an approach termed catadioptric stereo. In this paper, we present novel catadio...
Joshua Gluckman, Shree K. Nayar
CVPR
2008
IEEE
16 years 22 days ago
Detection with multi-exit asymmetric boosting
We introduce a generalized representation for a boosted classifier with multiple exit nodes, and propose a method to training which combines the idea of propagating scores across ...
Minh-Tri Pham, V-D. D. Hoang, Tat-Jen Cham
ICIP
2006
IEEE
16 years 11 days ago
The Snakuscule
Traditional snakes, or active contours, are planar parametric curves. Their parameters are determined by optimizing the weighted sum of three energy terms: one depending on the dat...
Michael Unser, Philippe Thévenaz