Sciweavers

3521 search results - page 475 / 705
» Algorithmic Control in Concurrent Computations
Sort
View
CVPR
2011
IEEE
15 years 5 days ago
Shape Estimation in Natural Illumination
The traditional shape-from-shading problem, with a single light source and Lambertian reflectance, is challenging since the constraints implied by the illumination are not suffi...
Micah Johnson, Edward Adelson
DEBS
2010
ACM
14 years 11 months ago
Distributed structural and value XML filtering
Many XML filtering systems have emerged in recent years identifying XML data that structurally match XPath queries in an efficient way. However, apart from structural matching, it...
Iris Miliaraki, Manolis Koubarakis
CVPR
2012
IEEE
13 years 6 months ago
Locally Orderless Tracking
Locally Orderless Tracking (LOT) is a visual tracking algorithm that automatically estimates the amount of local (dis)order in the object. This lets the tracker specialize in both...
Shaul Oron, Aharon Bar-Hillel, Dan Levi, Shai Avid...
POPL
2004
ACM
16 years 4 months ago
Global value numbering using random interpretation
We present a polynomial time randomized algorithm for global value numbering. Our algorithm is complete when conditionals are treated as non-deterministic and all operators are tr...
Sumit Gulwani, George C. Necula
MOBICOM
2003
ACM
15 years 9 months ago
Minimum energy disjoint path routing in wireless ad-hoc networks
We develop algorithms for finding minimum energy disjoint paths in an all-wireless network, for both the node and linkdisjoint cases. Our major results include a novel polynomial...
Anand Srinivas, Eytan Modiano