Sciweavers

751 search results - page 42 / 151
» Consistency techniques for interprocedural test data generat...
Sort
View
84
Voted
BMCBI
2007
101views more  BMCBI 2007»
14 years 11 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»
15 years 4 months 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
15 years 4 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»
15 years 13 days 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
81
Voted
ICPR
2008
IEEE
16 years 9 days 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