498 search results - page 60 / 100 » Model Validation using Automatically Generated Requirements-... |
CORR
2007
Springer
13 years 7 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
VMV
2001
13 years 9 months ago
2001
We present a novel approach to localization of objects in clutter images with the use of linear adaptive filters in a two-object classifier: target object versus clutter object. A...
TOG
2008
13 years 7 months ago
2008
In this paper, we present a complete system for automatic face replacement in images. Our system uses a large library of face images created automatically by downloading images fr...
RE
2008
Springer
13 years 7 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
ICCV
2011
IEEE
12 years 7 months ago
2011
IEEE
3D parametric deformable models have been used to extract volumetric object boundaries and they generate smooth boundary surfaces as results. However, in some segmentation cases, ...