2309 search results - page 181 / 462 » Efficient Topological Exploration |
ICCAD
2006
IEEE
14 years 5 months ago
2006
IEEE
The paper explores several ways to improve the speed and capacity of combinational equivalence checking based on Boolean satisfiability (SAT). State-of-the-art methods use simulat...
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
The widespread availability of digital cameras and ubiquitous Internet access have facilitated the creation of massive image collections. These collections can be highly interconn...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— Piezoelectric actuators can achieve high efficiency and power density in very small geometries, which shows promise for microrobotic applications, such as flapping-wing robot...
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— The creation of a robot capable of navigating in unknown urban environments without the use of GPS data or prior map knowledge is envisioned in the Autonomous City Explorer (AC...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— In this paper, we explore the use of partially overlapped channels in wireless mesh networks that consist of multiple 802.11-based access points. We propose novel channel alloc...