Sciweavers

442 search results - page 26 / 89
» Validation methods for calibrating software effort models
Sort
View
ICCAD
2003
IEEE
124views Hardware» more  ICCAD 2003»
14 years 5 months ago
Gradual Relaxation Techniques with Applications to Behavioral Synthesis
Heuristics are widely used for solving computational intractable synthesis problems. However, until now, there has been limited effort to systematically develop heuristics that ca...
Zhiru Zhang, Yiping Fan, Miodrag Potkonjak, Jason ...
AVSS
2007
IEEE
14 years 3 months ago
Camera auto-calibration from articulated motion
This paper presents a novel auto-calibration method from unconstrained human body motion. It relies on the underlying biomechanical constraints associated with human bipedal locom...
Paul Kuo, Jean-Christophe Nebel, Dimitrios Makris
BMCBI
2007
94views more  BMCBI 2007»
13 years 8 months ago
Model based analysis of real-time PCR data from DNA binding dye protocols
Background: Reverse transcription followed by real-time PCR is widely used for quantification of specific mRNA, and with the use of double-stranded DNA binding dyes it is becoming...
Mariano J. Alvarez, Guillermo J. Vila-Ortiz, Maria...
ICSE
2001
IEEE-ACM
14 years 1 months ago
A Scalable Formal Method for Design and Automatic Checking of User Interfaces
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
Jean Berstel, Stefano Crespi-Reghizzi, Gilles Rous...
KBSE
1998
IEEE
14 years 1 months ago
A Visualization Concept for Hierarchical Object Models
Most current object modeling methods and tools have weaknesses both in the concepts of hierarchical decomposition and in the visualization of these hierarchies. Some methods do no...
Stefan Berner, Stefan Joos, Martin Glinz, Martin A...