Sciweavers

2056 search results - page 278 / 412
» Detecting Errors in Spreadsheets
Sort
View
ERLANG
2004
ACM
15 years 10 months ago
Flow graphs for testing sequential Erlang programs
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
Manfred Widera
ECCV
2010
Springer
15 years 10 months ago
Visibility Subspaces: Uncalibrated Photometric Stereo with Shadows
Photometric stereo relies on inverting the image formation process, and doing this accurately requires reasoning about the visibility of light sources with respect to each image po...
ICRA
2003
IEEE
100views Robotics» more  ICRA 2003»
15 years 10 months ago
Quadrotor control using dual camera visual feedback
— In this paper, a vision-based stabilization and output tracking control method for a four-rotor helicopter has been proposed. A novel 2 camera method has been described for est...
Erdinç Altug, James P. Ostrowski, Camillo J...
ITC
2003
IEEE
114views Hardware» more  ITC 2003»
15 years 10 months ago
Test-Based Model Generation For Legacy Systems
We study the extension of applicability of system-level testing techniques to the construction of a consistent model of (legacy) systems under test, which are seen as black boxes....
Hardi Hungar, Tiziana Margaria, Bernhard Steffen
MEMOCODE
2003
IEEE
15 years 10 months ago
Real-time Property Preservation in Approximations of Timed Systems
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...
Jinfeng Huang, Jeroen Voeten, Marc Geilen