Sciweavers

4390 search results - page 302 / 878
» Part Objects and their Location
Sort
View
ICDE
2002
IEEE
123views Database» more  ICDE 2002»
16 years 8 months ago
NAPA: Nearest Available Parking Lot Application
With the advances in wireless communications and technologies of mobile devices, location-based applications or services will become an essential part of future applications. We h...
Hae Don Chon, Divyakant Agrawal, Amr El Abbadi
ICDAR
2009
IEEE
16 years 1 months ago
Hybrid Page Layout Analysis via Tab-Stop Detection
A new hybrid page layout analysis algorithm is proposed, which uses bottom-up methods to form an initial data-type hypothesis and locate the tab-stops that were used when the page...
Raymond W. Smith
IROS
2007
IEEE
105views Robotics» more  IROS 2007»
16 years 1 months ago
Experiments in robotic boat localization
— We are motivated by the prospect of automating microbial observing systems. To this end we have designed and built a robotic boat as part of a sensor network for monitoring aqu...
Amit Dhariwal, Gaurav S. Sukhatme
SSD
1993
Springer
91views Database» more  SSD 1993»
15 years 11 months ago
Volumes From Overlaying 3-D Triangulations in Parallel
Consider a polyhedron that is triangulated into tetrahedra in two different ways. This paper presents an algorithm, and hints for implementation, for finding the volumes of the i...
Wm. Randolph Franklin, Mohan S. Kankanhalli
FMCAD
2006
Springer
15 years 10 months ago
Over-Approximating Boolean Programs with Unbounded Thread Creation
Abstract-- This paper describes a symbolic algorithm for overapproximating reachability in Boolean programs with unbounded thread creation. The fix-point is detected by projecting ...
Byron Cook, Daniel Kroening, Natasha Sharygina