Sciweavers

5352 search results - page 1060 / 1071
» Modeling the socio-cultural context
Sort
View
JAR
2011
112views more  JAR 2011»
13 years 3 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
13 years 3 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
13 years 3 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...
PAMI
2010
218views more  PAMI 2010»
13 years 3 months ago
A Coupled Duration-Focused Architecture for Real-Time Music-to-Score Alignment
Abstract--The capacity for realtime synchronization and coordination is a common ability among trained musicians performing a music score that presents an interesting challenge for...
Arshia Cont
SIGACT
2010
68views more  SIGACT 2010»
13 years 3 months ago
A survey of buffer management policies for packet switches
Over the past decade, there has been great interest in the study of buffer management policies in the context of packet transmission for network switches. In a typical model, a sw...
Michael H. Goldwasser
« Prev « First page 1060 / 1071 Last » Next »