149 search results - page 22 / 30 » On Statistical Model Checking of Stochastic Systems |
105
click to vote
WSDM
2012
ACM
13 years 5 months ago
2012
ACM
In this work we propose a novel approach to anomaly detection in streaming communication data. We first build a stochastic model for the system based on temporal communication pa...
ICC
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract— We consider the problem of designing space-timefrequency linear dispersion (LD) codes in wideband multipleinput multiple-output (MIMO) antenna systems employing orthogo...
104
click to vote
ICEGOV
2009
ACM
14 years 7 months ago
2009
ACM
An e-Government portal represents not only a reputable public image of the sovereignty of a region, it is responsible for serving many users from local citizens and beyond, in a r...
KESAMSTA
2009
Springer
15 years 4 months ago
2009
Springer
In this paper, we propose a probabilistic model to study the interaction of bidder and seller agents in sequential automated auctions. We consider a designated “special bidder”...
118
click to vote
LSGRID
2004
Springer
15 years 2 months ago
2004
Springer
Many useful applications of simulation in computational cell biology, e.g. kinetic parameter estimation, Metabolic Control Analysis (MCA), and bifurcation analysis, require a large...