Sciweavers

949 search results - page 18 / 190
» ISAC - Instance-Specific Algorithm Configuration
Sort
View
IBPRIA
2009
Springer
14 years 4 days ago
Autonomous Configuration of Parameters in Robotic Digital Cameras
In the past few years, the use of digital cameras in robotic applications has been increasing significantly. The main areas of application of these robots are the industry and mili...
António J. R. Neves, Bernardo Cunha, Armand...
CAV
2007
Springer
114views Hardware» more  CAV 2007»
14 years 8 days ago
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
Dirk Beyer, Thomas A. Henzinger, Grégory Th...
FPL
2008
Springer
91views Hardware» more  FPL 2008»
13 years 9 months ago
Power efficient DSP datapath configuration methodology for FPGA
Exploiting the underutilisation of variable-length DSP algorithms during normal operation is vital, when seeking to maximise the achievable functionality of an application within ...
Stephen McKeown, Roger Woods, John McAllister
IJCV
2002
111views more  IJCV 2002»
13 years 8 months ago
Linear Multi View Reconstruction and Camera Recovery Using a Reference Plane
This paper presents a linear algorithm for simultaneous computation of 3D points and camera positions from multiple perspective views based on having a reference plane visible in a...
Carsten Rother, Stefan Carlsson
LCTRTS
2001
Springer
14 years 22 days ago
Middleware For Building Adaptive Systems Via Configuration
1 COTS (commercial off-the-shelf) devices are capable of executing powerful, distributed algorithms. Very large, adaptive systems can be created by simply integrating these devices...
Sanjai Narain, Ravichander Vaidyanathan, Stanley M...