4962 search results - page 59 / 993 » Stochastic Model Checking |
ANOR
2004
13 years 7 months ago
2004
In this paper we introduce model-based search as a unifying framework accommodating some recently proposed metaheuristics for combinatorial optimization such as ant colony optimiza...
DATE
2008
IEEE
14 years 2 months ago
2008
IEEE
- The effectiveness of stochastic power management relies on the accurate system and workload model and effective policy optimization. Workload modeling is a machine learning proce...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
In the 1980s process algebras became widely accepted formalisms for describing and analysing concurrency. Extensions of the formalisms, incorporating some aspects of systems which...
COLING
2000
13 years 9 months ago
2000
Common wisdom has it that tile bias of stochastic grammars in favor of shorter deriwttions of a sentence is hamfful and should be redressed. We show that the common wisdom is wron...
JCP
2008
13 years 7 months ago
2008
In the present paper, by applying the theory of stochastic processes and interacting particle systems and models, including stopping time theory and stochastic voter model, we mode...