Sciweavers

391 search results - page 68 / 79
» Locally Consistent Constraint Satisfaction Problems with Bin...
Sort
View
CVIU
2006
168views more  CVIU 2006»
13 years 6 months ago
Automated camera layout to satisfy task-specific and floor plan-specific coverage requirements
In many multi-camera vision systems the effect of camera locations on the task-specific quality of service is ignored. Researchers in Computational Geometry have proposed elegant ...
Ugur Murat Erdem, Stan Sclaroff
ISSTA
2010
ACM
13 years 10 months ago
Proving memory safety of floating-point computations by combining static and dynamic program analysis
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
Patrice Godefroid, Johannes Kinder
ICRA
2005
IEEE
132views Robotics» more  ICRA 2005»
14 years 9 days ago
Handling the Inconsistency of Relative Map Filter
— In [5], a version of Relative Map Filter (RMF) is proposed to solve the simultaneous localization and map building (SLAM) problem. In the RMF, the map states contain only quant...
Viet Nguyen, Agostino Martinelli, Roland Siegwart
STOC
2009
ACM
160views Algorithms» more  STOC 2009»
14 years 7 months ago
CSP gaps and reductions in the lasserre hierarchy
We study integrality gaps for SDP relaxations of constraint satisfaction problems, in the hierarchy of SDPs defined by Lasserre. Schoenebeck [25] recently showed the first integra...
Madhur Tulsiani
NETWORK
2007
167views more  NETWORK 2007»
13 years 6 months ago
Sensor Localization under Limited Measurement Capabilities
If we abstract a sensor network as a network graph consisting of vertices and edges, where vertices represent sensor nodes and edges represent distance measurements between neighbo...
Chen Wang, Li Xiao