Sciweavers

16257 search results - page 3036 / 3252
» D-finiteness: algorithms and applications
Sort
View
CORR
2011
Springer
174views Education» more  CORR 2011»
15 years 1 months ago
Physical expander in Virtual Tree Overlay
Abstract. In this paper, we propose a new construction of constantdegree expanders motivated by their application in P2P overlay networks and in particular in the design of robust ...
Taisuke Izumi, Maria Potop-Butucaru, Mathieu Valer...
CVPR
2011
IEEE
14 years 10 months ago
Registration of Camera Captured Documents Under Non-rigid Deformation
Document registration is a problem where the image of a template document whose layout is known is registered with a test document image. Given the registration parameters, layout...
Venkata Edupuganti, Suryaprakash Kompalli, Vinayak...
PERCOM
2011
ACM
14 years 10 months ago
Tracking vehicular speed variations by warping mobile phone signal strengths
—In this paper, we consider the problem of tracking fine-grained speeds variations of vehicles using signal strength traces from GSM enabled phones. Existing speed estimation te...
Gayathri Chandrasekaran, Tam Vu, Alexander Varshav...
ASPLOS
2011
ACM
14 years 10 months ago
Specifying and checking semantic atomicity for multithreaded programs
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
Jacob Burnim, George C. Necula, Koushik Sen
BMCBI
2011
14 years 10 months ago
FIND: A new software tool and development platform for enhanced multicolor flow analysis
Background: Flow Cytometry is a process by which cells, and other microscopic particles, can be identified, counted, and sorted mechanically through the use of hydrodynamic pressu...
Shareef Dabdoub, William C. Ray, Sheryl S. Justice
« Prev « First page 3036 / 3252 Last » Next »