Sciweavers

5159 search results - page 406 / 1032
» Structural Testing of Executables
Sort
View
PROMISE
2010
15 years 2 months ago
Exploiting count spectra for Bayesian fault localization
Background: Automated diagnosis of software defects can drastically increase debugging efficiency, improving reliability and time-to-market. Current, low-cost, automatic fault dia...
Rui Abreu, Alberto González-Sanchez, Arjan ...
ICCS
2004
Springer
16 years 27 days ago
A Framework for Online Inversion-Based 3D Site Characterization
Our goal is to develop the capability for characterizing the three-dimensional geological structure and mechanical properties of individual sites and complete basins in earthquake-...
Volkan Akcelik, Jacobo Bielak, George Biros, Ioann...
BSN
2009
IEEE
136views Sensor Networks» more  BSN 2009»
16 years 2 months ago
Comparison of Orientation Filter Algorithms for Realtime Wireless Inertial Posture Tracking
—Advances in the miniaturisation of inertial sensors have allowed the design of compact wireless inertial orientation trackers. Such devices require data fusion algorithms to pro...
A. D. Young
ICRA
2007
IEEE
81views Robotics» more  ICRA 2007»
16 years 1 months ago
Visually-Guided Grasping while Walking on a Humanoid Robot
— In this paper, we apply a general framework for building complex whole-body control for highly redundant robot, and we propose to implement it for visually-guided grasping whil...
Nicolas Mansard, Olivier Stasse, François C...
ER
2007
Springer
103views Database» more  ER 2007»
16 years 1 months ago
Ensuring the Semantic Correctness of Complex Regions
Ensuring the semantic and topological correctness of spatial data is an important requirement in geographical information systems and spatial database systems in order to preserve ...
Mark McKenney, Alejandro Pauly, Reasey Praing, Mar...