545 search results - page 13 / 109 » A Dynamic Method for the Evaluation and Comparison of Imputa... |
GG
2004
Springer
14 years 22 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
ASC
2004
13 years 7 months ago
2004
This paper proposes a new approach for tackling the uncertainty and imprecision of the service evaluation process. Identifying suitable service offers, evaluating the offers and c...
FGR
2002
IEEE
14 years 9 days ago
2002
IEEE
This paper presents a method to recover the full-motion (3 rotations and 3 translations) of the head from an input video using a cylindrical head model. Given an initial reference...
ITC
2000
IEEE
13 years 11 months ago
2000
IEEE
The use of a single pass/fail threshold for IDDQ testing is unworkable as chip background currents increase to the point where they exceed many defect currents. This paper describ...
AI
1998
Springer
13 years 7 months ago
1998
Springer
This paper introduces a niching technique called GAS (S stands for species) which dynamically creates a subpopulation structure (taxonomic chart) using a radius function instead of...