149 search results - page 22 / 30 » On Statistical Model Checking of Stochastic Systems |
177
click to vote
WSDM
2012
ACM
13 years 12 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...
121
click to vote
ICC
2007
IEEE
15 years 10 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...
167
click to vote
ICEGOV
2009
ACM
15 years 2 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...
131
click to vote
KESAMSTA
2009
Springer
15 years 11 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”...
188
click to vote
LSGRID
2004
Springer
15 years 9 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...