11030 search results - page 152 / 2206 » Generative Sound Models |
163
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
151
click to vote
DAC
1998
ACM
16 years 7 months ago
1998
ACM
Abstract-Our strategy for automatic generation of functional vectors is based on exercising selected paths in the given hardware description language (HDL) model. The HDL model des...
156
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
A botnet is a network of compromised hosts that is under the control of a single, malicious entity, often called the botmaster. We present a system that aims to detect bots, indepe...
165
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
159
click to vote
AUSAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Graph-based representations have been used with considercess in computer vision in the abstraction and recognition of object shape and scene structure. Despite this, the ...