Sciweavers

2056 search results - page 278 / 412
» Detecting Errors in Spreadsheets
Sort
View
ERLANG
2004
ACM
16 years 12 days 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
178
Voted
ECCV
2010
Springer
16 years 10 days 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...
146
Voted
ICRA
2003
IEEE
100views Robotics» more  ICRA 2003»
16 years 8 days 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...
153
Voted
ITC
2003
IEEE
114views Hardware» more  ITC 2003»
16 years 8 days 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
16 years 8 days 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