Sciweavers

491 search results - page 41 / 99
» Avoiding Determinization
Sort
View
ICFP
2009
ACM
16 years 1 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 8 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 2 months 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
86
Voted
CVPR
2008
IEEE
16 years 2 months 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 2 months 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