1624 search results - page 132 / 325 » Modelling Variability for System Families |
143
Voted
REX
1991
15 years 6 months ago
1991
We survey logic-based and automata-based languages and techniques for the speci cation and veri cation of real-time systems. In particular, we discuss three syntactic extensions of...
107
Voted
DCC
2010
IEEE
15 years 8 months ago
2010
IEEE
Quantization plays a central role in data compression. In speech systems, vector quantizers are used to compress speech parameters. In video systems, scalar quantizers are used to...
118
click to vote
RTSS
2002
IEEE
15 years 8 months ago
2002
IEEE
Aperiodic requests with unknown execution times and unknown arrival patterns are dynamically mapped to ratebased execution (RBE) tasks with variable rates and scheduled such that ...
142
Voted
AAAI
2000
15 years 4 months ago
2000
We present a new domain for unsupervised learning: automatically customizing the computer to a specific melodic performer by merely listening to them improvise. We also describe B...
136
click to vote
SPEECH
2010
15 years 1 months ago
2010
This paper gives an overview of automatic speaker recognition technology, with an emphasis on text-independent recognition. Speaker recognition has been studied actively for sever...