14774 search results - page 78 / 2955 » Computational complexity and evolutionary computation |
149
Voted
ICCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Modeling is considered an inherent part of design, operation and optimization of Water Quality Systems. Models are used for running so-called Virtual Experiments, such as...
161
Voted
SAC
2008
ACM
15 years 5 months ago
2008
ACM
We consider analysis of complex stochastic models based upon partial information. MCMC and reversible jump MCMC are often the methods of choice for such problems, but in some situ...
137
Voted
LICS
2009
IEEE
16 years 24 days ago
2009
IEEE
—One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems ov...
171
Voted
AI
2006
Springer
15 years 6 months ago
2006
Springer
We study Coalitional Resource Games (CRGs), a variation of Qualitative Coalitional Games (QCGs) in which each agent is endowed with a set of resources, and the ability of a coalit...
153
Voted
STOC
2004
ACM
16 years 6 months ago
2004
ACM