Sciweavers

5353 search results - page 830 / 1071
» Modelling Contexts in the Or-BAC Model
Sort
View
MTA
2011
254views Hardware» more  MTA 2011»
15 years 1 months ago
Automatic prediction of perceptual quality of multimedia signals - a survey
We survey recent developments in multimedia signal quality assessment, including image, audio, video, and combined signals. Such an overview is timely given the recent explosion in...
Kalpana Seshadrinathan, Alan Conrad Bovik
TII
2011
206views Education» more  TII 2011»
15 years 1 months ago
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
Simona Bernardi, Javier Campos, José Merseg...
JAR
2011
112views more  JAR 2011»
15 years 1 months ago
A Framework for Certified Boolean Branch-and-Bound Optimization
We consider optimization problems of the form (S, cost), where S is a clause set over Boolean variables x1 . . . xn, with an arbitrary cost function cost: Bn → R, and the aim is ...
Javier Larrosa, Robert Nieuwenhuis, Albert Olivera...
INTERSPEECH
2010
15 years 1 months ago
Predicting word accuracy for the automatic speech recognition of non-native speech
We have developed an automated method that predicts the word accuracy of a speech recognition system for non-native speech, in the context of speaking proficiency scoring. A model...
Su-Youn Yoon, Lei Chen, Klaus Zechner
MMAS
2010
Springer
15 years 1 months ago
Balanced Truncation of Linear Second-Order Systems: A Hamiltonian Approach
We present a formal procedure for structure-preserving model reduction of linear second-order and Hamiltonian control problems that appear in a variety of physical contexts, e.g., ...
Carsten Hartmann, Valentina-Mira Vulcanov, Christo...