Sciweavers

751 search results - page 42 / 151
» Consistency techniques for interprocedural test data generat...
Sort
View
BMCBI
2007
101views more  BMCBI 2007»
13 years 8 months ago
Robust detection and verification of linear relationships to generate metabolic networks using estimates of technical errors
Background: The size and magnitude of the metabolome, the ratio between individual metabolites and the response of metabolic networks is controlled by multiple cellular factors. A...
Frank Kose, Jan Budczies, Matthias Holschneider, O...
ICRA
2002
IEEE
142views Robotics» more  ICRA 2002»
14 years 29 days ago
Hybrid Simultaneous Localization and Map Building: Closing the Loop with Multi-Hypotheses Tracking
In this paper simultaneous localization and map building is performed with a hybrid, metric - topological, approach. A global topological map connects local metric maps, allowing ...
Nicola Tomatis, Illah R. Nourbakhsh, Roland Siegwa...
ISSRE
2003
IEEE
14 years 1 months ago
An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering
Software testing and software fault tolerance are two major techniques for developing reliable software systems, yet limited empirical data are available in the literature to eval...
Michael R. Lyu, Zubin Huang, Sam K. S. Sze, Xia Ca...
WSCG
2003
193views more  WSCG 2003»
13 years 9 months ago
Automatically Generating Roof Models from Building Footprints
Modelling Large Urban Environments using traditional modelling techniques would prove too time consuming a process. Consequently a method is required for generating large urban en...
R. G. Laycock, A. M. Day
ICPR
2008
IEEE
14 years 9 months ago
Dual generative models for human motion estimation from an uncalibrated monocular camera
We propose a new approach to estimate gait kinematics from image sequences taken by a monocular uncalibrated camera. This approach involves two generative models for gait represen...
Guoliang Fan, Xin Zhang