4962 search results - page 588 / 993 » Stochastic Model Checking |
150
click to vote
STOC
2004
ACM
16 years 5 months ago
2004
ACM
We present a probabilistic analysis for a large class of combinatorial optimization problems containing, e.g., all binary optimization problems defined by linear constraints and a...
135
Voted
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Mobile wireless network research focuses on scenarios at the extremes of the network connectivity continuum where the probability of all nodes being connected is either ...
178
click to vote
COMAD
2009
15 years 6 months ago
2009
Mining evolving data streams for concept drifts has gained importance in applications like customer behavior analysis, network intrusion detection, credit card fraud detection. Se...
175
click to vote
SIAMSC
2008
15 years 4 months ago
2008
In systems biology, the stochastic description of biochemical reaction kinetics is increasingly being employed to model gene regulatory networks and signalling pathways. Mathematic...
295
click to vote
SIGECOM
2011
ACM
14 years 7 months ago
2011
ACM
Market making refers broadly to trading strategies that seek to profit by providing liquidity to other traders, while avoiding accumulating a large net position in a stock. In th...