Sciweavers

4867 search results - page 416 / 974
» Fluid Models in Performance Analysis
Sort
View
ICASSP
2009
IEEE
15 years 10 months ago
Strategies for modeling reverberant speech in the feature domain
The length of the room impulse response characterizing the acoustic path between speaker and microphone is significantly larger than the length of the analysis window used for fea...
Armin Sehr, Walter Kellermann
190
Voted
CAV
2010
Springer
173views Hardware» more  CAV 2010»
15 years 10 months ago
A Model Checker for AADL
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Ka...
JSS
2008
113views more  JSS 2008»
15 years 6 months ago
A model for software rework reduction through a combination of anomaly metrics
Analysis of anomalies reported during testing of a project can tell a lot about how well the processes and products work. Still, organizations rarely use anomaly reports for more t...
Lars-Ola Damm, Lars Lundberg, Claes Wohlin
180
Voted
AIEDU
2005
89views more  AIEDU 2005»
15 years 6 months ago
An Evaluation of a Hybrid Language Understanding Approach for Robust Selection of Tutoring Goals
In this paper, we explore the problem of selecting appropriate interventions for students based on an analysis of their interactions with a tutoring system. In the context of the W...
Carolyn Penstein Rosé, Kurt VanLehn
174
Voted
GLVLSI
2006
IEEE
98views VLSI» more  GLVLSI 2006»
16 years 28 days ago
Rapid intermodulation distortion estimation in fully balanced weakly nonlinear Gm-C filters using state-space modeling
State-space modeling of fully differential Gm-C filters with weak nonlinearities is used to develop a fast algorithm for intermodulation distortion estimation. It results in sim...
Paul Sotiriadis, Abdullah Celik, Zhaonian Zhang