Sciweavers

3273 search results - page 60 / 655
» types 2007
Sort
View
EUROMICRO
2007
IEEE
15 years 6 months ago
Compatibility and reuse in component-based systems via type and unit inference
In many branches of industry, the component-based approach to systems design is predominant, e. g., as in embedded control systems which are often modelled using MATLAB/Simulink. ...
Christian Kühnel, Andreas Bauer 0002, Michael...
ICASSP
2007
IEEE
15 years 6 months ago
Discriminating Two Types of Noise Sources using Cortical Representation and Dimension Reduction Technique
Content-based audio classification techniques have focused on classifying events that are both semantically and perceptually distinct (such as speech, music, environmental sounds...
Shiva Sundaram, Shrikanth Narayanan
ICC
2007
IEEE
136views Communications» more  ICC 2007»
15 years 6 months ago
On the Approximation of the Linear Combination of Log-Normal RVs via Pearson Type IV Distribution: Application to UWB Performanc
— Approximating the sum of Log–Normal random variables (RVs) is a long–standing open issue, in the old and recent literature, and many approaches have been proposed to deal w...
Marco Di Renzo, Fabio Graziosi, Fortunato Santucci
ISMAR
2007
IEEE
15 years 6 months ago
Evaluating Display Types for AR Selection and Annotation
This paper evaluates different display devices for selection or annotation tasks in augmented reality (AR). We compare three different display types – a head mounted display and...
Jason Wither, Stephen DiVerdi, Tobias Höllere...
TACAS
2007
Springer
125views Algorithms» more  TACAS 2007»
15 years 6 months ago
Type-Dependence Analysis and Program Transformation for Symbolic Execution
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
Saswat Anand, Alessandro Orso, Mary Jean Harrold