Sciweavers

5234 search results - page 454 / 1047
» Method Components - Rationale Revealed
Sort
View
CODES
1998
IEEE
15 years 11 months ago
Communication synthesis and HW/SW integration for embedded system design
The implementation of codesign applications generally requires the use of heterogeneous resources (e.g., processor cores, hardware accelerators) in one system. Interfacing hardwar...
Guy Gogniat, Michel Auguin, Luc Bianco, Alain Pega...
CVPR
1998
IEEE
15 years 11 months ago
Curves Matching Using Geodesic Paths
We present a method for matching curves which accommodates large and small deformation. The method preserves geometric similarities in the case of small deformation, and loosens t...
Isaac Cohen, Isabelle Herlin
HASE
1997
IEEE
15 years 11 months ago
Analytical Modelling and Evaluation of Phased-Mission Systems for Space Applications
This paper deals with the modelling and evaluation of mission-phased systems devoted to space applications. We propose a two level hierarchical method that allows to model such sy...
Andrea Bondavalli, Ivan Mura, Manuela Nelli
CAV
2008
Springer
125views Hardware» more  CAV 2008»
15 years 8 months ago
A Practical Approach to Word Level Model Checking of Industrial Netlists
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
Per Bjesse
CIARP
2008
Springer
15 years 8 months ago
Ensemble Approaches to Facial Action Unit Classification
Facial action unit (au) classification is an approach to face expression recognition that decouples the recognition of expression from individual actions. In this paper, upper face...
Terry Windeatt, Kaushala Dias