4167 search results - page 470 / 834 » Regression model checking |
127
click to vote
FMSD
1998
15 years 4 months ago
1998
Proving the equivalenceof two Finite State Machines (FSMs) has many applications to synthesis, veri cation, testing, and diagnosis. Building their product machine is a theoretical ...
159
click to vote
CHARME
2005
Springer
15 years 10 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
140
click to vote
ICCAD
2004
IEEE
16 years 1 months ago
2004
IEEE
While process variations are becoming more significant with each new IC technology generation, they are often modeled via linear regression models so that the resulting performanc...
156
click to vote
FGR
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a fully automated algorithm for reconstructing a textured 3D model of a face from a single photograph or a raw video stream. The algorithm is based on a combin...
155
click to vote
GECCO
2010
Springer
15 years 8 months ago
2010
Springer
Most surrogate approaches to multi-objective optimization build a surrogate model for each objective. These surrogates can be used inside a classical Evolutionary Multiobjective O...