Sciweavers

442 search results - page 28 / 89
» Validation methods for calibrating software effort models
Sort
View
BMCBI
2006
194views more  BMCBI 2006»
13 years 8 months ago
Novel metaheuristic for parameter estimation in nonlinear dynamic biological systems
Background: We consider the problem of parameter estimation (model calibration) in nonlinear dynamic models of biological systems. Due to the frequent ill-conditioning and multi-m...
Maria Rodriguez-Fernandez, Jose A. Egea, Julio R. ...
COMPSAC
2002
IEEE
14 years 1 months ago
A Graphically Based Language for Constructing, Executing and Analysing Models of Software Systems
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
Robert John Walters
ECBS
2007
IEEE
155views Hardware» more  ECBS 2007»
14 years 22 days ago
Evaluating the Quality of Models Extracted from Embedded Real-Time Software
Due to the high cost of modeling, model-based techniques are yet to make their impact in the embedded systems industry, which still persist on maintaining code-oriented legacy sys...
Joel Huselius, Johan Kraft, Hans Hansson, Sasikuma...
NSDI
2004
13 years 10 months ago
Model Checking Large Network Protocol Implementations
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
Madanlal Musuvathi, Dawson R. Engler
AMFG
2005
IEEE
183views Biometrics» more  AMFG 2005»
14 years 2 months ago
Parametric Stereo for Multi-pose Face Recognition and 3D-Face Modeling
This paper presents a new method for face modeling and face recognition from a pair of calibrated stereo cameras. In a first step, the algorithm builds a stereo reconstruction of...
Rik Fransens, Christoph Strecha, Luc J. Van Gool