Sciweavers

6366 search results - page 648 / 1274
» Statistical Performance Modeling and Optimization
Sort
View
CAV
2009
Springer
116views Hardware» more  CAV 2009»
15 years 11 months ago
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph ...
CISM
1993
149views GIS» more  CISM 1993»
15 years 11 months ago
The Weak Instance Model
The weak instance model is a framework to consider the relations in a database as a whole, regardless of the way attributes are grouped in the individual relations. Queries and upd...
Paolo Atzeni, Riccardo Torlone
ICASSP
2010
IEEE
15 years 7 months ago
Discriminative training methods for language models using conditional entropy criteria
This paper addresses the problem of discriminative training of language models that does not require any transcribed acoustic data. We propose to minimize the conditional entropy ...
Jui-Ting Huang, Xiao Li, Alex Acero
MEMICS
2010
15 years 1 months ago
GPU-Based Sample-Parallel Context Modeling for EBCOT in JPEG2000
Embedded Block Coding with Optimal Truncation (EBCOT) is the fundamental and computationally very demanding part of the compression process of JPEG2000 image compression standard. ...
Jiri Matela, Vit Rusnak, Petr Holub
ICASSP
2011
IEEE
14 years 11 months ago
A logarithmic based pole-zero vocal tract model estimation for speaker verification
In this paper we investigate the use of formant and antiformant measurements of nasal consonants for speaker verification. The features are obtained using a pole-zero vocal tract...
Ewald Enzinger, Péter Balázs, Dami&a...