Sciweavers

4636 search results - page 156 / 928
» Application of Linguistic Techniques for Use Case Analysis
Sort
View
ADAEUROPE
2008
Springer
15 years 8 months ago
On the Timed Automata-Based Verification of Ravenscar Systems
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
Iulian Ober, Nicolas Halbwachs
DATE
2003
IEEE
134views Hardware» more  DATE 2003»
15 years 12 months ago
A Multi-Level Design Flow for Incorporating IP Cores: Case Study of 1D Wavelet IP Integration
The design of high performance multimedia systems in a short time force us to use IP's blocks in many designs. However, their correct integration in a design implies more com...
Adel Baganne, Imed Bennour, Mehrez Elmarzougui, Ri...
CVPR
2008
IEEE
16 years 8 months ago
Statistical analysis on Stiefel and Grassmann manifolds with applications in computer vision
Many applications in computer vision and pattern recognition involve drawing inferences on certain manifoldvalued parameters. In order to develop accurate inference algorithms on ...
Pavan K. Turaga, Ashok Veeraraghavan, Rama Chellap...
METRICS
2005
IEEE
16 years 5 days ago
Visualizing Historical Data Using Spectrographs
Studying the evolution of long lived processes such as the development history of a software system or the publication history of a research community, requires the analysis of a ...
Ahmed E. Hassan, Jingwei Wu, Richard C. Holt
ICASSP
2011
IEEE
14 years 10 months ago
Multi-microphone interference suppression using the principal subspace modification and its application to speech recognition
It has been shown that the principal subspace based multi-channel Wiener filter (MWF) provides better performance than the conventional MWF for the interference suppression in th...
Gibak Kim