4962 search results - page 333 / 993 » Stochastic Model Checking |
147
Voted
GIS
2002
ACM
15 years 3 months ago
2002
ACM
Despite the recognition of cellular automata (CA) as a exible and powerful tool for urban growth simulation, the calibration of CA had been largely heuristic until recent eVorts to...
191
click to vote
TFS
2010
14 years 10 months ago
2010
At present, the development in the nascent field of synthetic gene networks is still difficult. Most newly created gene networks are nonfunctioning due to intrinsic parameter fluct...
128
click to vote
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper considers the Steiner tree problem in the model of twostage stochastic optimization with recourse. This model, the focus of much recent research [1–4], tries...
119
click to vote
CP
2003
Springer
15 years 8 months ago
2003
Springer
A reason to distribute constraint satisfaction is privacy: agents may not want to share their values, and they may wish to keep constraints as private as possible. In this paper, w...
137
click to vote
ESEC
1999
Springer
15 years 7 months ago
1999
Springer
The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice...