Sciweavers

3031 search results - page 476 / 607
» Model Driven Testing Based on Test History
Sort
View
NIPS
2003
15 years 2 months ago
A Low-Power Analog VLSI Visual Collision Detector
We have designed and tested a single-chip analog VLSI sensor that detects imminent collisions by measuring radially expansive optic flow. The design of the chip is based on a mode...
Reid R. Harrison
104
Voted
FTCS
1998
114views more  FTCS 1998»
15 years 2 months ago
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
Vicky Hartonas-Garmhausen, Sérgio Vale Agui...
BMCBI
2005
92views more  BMCBI 2005»
15 years 20 days ago
A decoy set for the thermostable subdomain from chicken villin headpiece, comparison of different free energy estimators
Background: Estimators of free energies are routinely used to judge the quality of protein structural models. As these estimators still present inaccuracies, they are frequently e...
Federico Fogolari, Silvio C. E. Tosatto, Giorgio C...
PAMI
2010
242views more  PAMI 2010»
14 years 11 months ago
Spatiotemporal Saliency in Dynamic Scenes
—A spatiotemporal saliency algorithm based on a center-surround framework is proposed. The algorithm is inspired by biological mechanisms of motion-based perceptual grouping and ...
Vijay Mahadevan, Nuno Vasconcelos
CVPR
2008
IEEE
16 years 2 months ago
On benchmarking camera calibration and multi-view stereo for high resolution imagery
In this paper we want to start the discussion on whether image based 3-D modelling techniques can possibly be used to replace LIDAR systems for outdoor 3D data acquisition. Two ma...
Christoph Strecha, Wolfgang von Hansen, Luc J. Van...