3199 search results - page 223 / 640 » Variability in Automation System Models |
200
click to vote
REX
1991
15 years 10 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...
152
click to vote
DCC
2010
IEEE
15 years 11 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...
159
click to vote
RTSS
2002
IEEE
15 years 11 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 ...
194
click to vote
JMLR
2010
15 years 1 months ago
2010
Real stochastic processes operating in continuous time can be modeled by sets of stochastic differential equations. On the other hand, several popular model families, including hi...
195
click to vote
AAAI
2000
15 years 7 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...