5232 search results - page 258 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
180
click to vote
TCOM
2010
15 years 5 months ago
2010
—This paper deals with the case of a high speed mobile receiver operating in an orthogonal-frequency-divisionmultiplexing (OFDM) communication system. Assuming the knowledge of d...
153
click to vote
IMC
2004
ACM
16 years 1 days ago
2004
ACM
Malicious traffic from self-propagating worms and denialof-service attacks constantly threatens the everyday operation of Internet systems. Defending networks from these threats d...
173
click to vote
ATVA
2005
Springer
16 years 4 days ago
2005
Springer
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
155
click to vote
CSL
2004
Springer
15 years 6 months ago
2004
Springer
Two different systems are proposed for the task of capitalisation generation. The first system is a slightly modified speech recogniser. In this system, every word in the vocabula...
165
click to vote
QEST
2006
IEEE
16 years 18 days ago
2006
IEEE
Stochastic orders can be applied to Markov reward models and used to aggregate models, while introducing a bounded error. Aggregation reduces the number of states in a model, miti...