11030 search results - page 360 / 2206 » Generative Sound Models |
198
click to vote
MIDDLEWARE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The performance of multi-tier systems is known to be significantly degraded by workloads that place bursty service demands on system resources. Burstiness can cause queu...
163
click to vote
SMA
1999
ACM
15 years 11 months ago
1999
ACM
Accurate prediction of the swept volume of a cutting tool is essential in NC verification algorithms for detecting deficiencies in a proposed tool path, such as gouging, undercutt...
218
click to vote
FMSD
2007
15 years 6 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
244
click to vote
NAACL
2010
15 years 4 months ago
2010
In this paper we present an opinion summarization technique in spoken dialogue systems. Opinion mining has been well studied for years, but very few have considered its applicatio...
150
click to vote
TODAES
1998
15 years 6 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...