Sciweavers

167 search results - page 10 / 34
» Stochasticity in reactions: a probabilistic Boolean modeling...
Sort
View
FORMATS
2009
Springer
13 years 11 months ago
Stochastic Games for Verification of Probabilistic Timed Automata
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
IWPT
2001
13 years 9 months ago
Probabilistic Modelling of Island-Driven Parsing
Two methods for stochastically modelling bidirectionality in chart parsing are presented. A probabilistic islanddriven parser which uses such models (either isolated or in combina...
Alicia Ageno, Horacio Rodríguez
EUROGP
2006
Springer
140views Optimization» more  EUROGP 2006»
13 years 11 months ago
Evolving Noisy Oscillatory Dynamics in Genetic Regulatory Networks
We introduce a genetic programming (GP) approach for evolving genetic networks that demonstrate desired dynamics when simulated as a discrete stochastic process. Our representation...
André Leier, P. Dwight Kuo, Wolfgang Banzha...
ICPP
2006
IEEE
14 years 1 months ago
A Stochastic Approach to Measuring the Robustness of Resource Allocations in Distributed Systems
Often, parallel and distributed computing systems must operate in an environment replete with uncertainty. Determining a resource allocation that accounts for this uncertainty in ...
Vladimir Shestak, Jay Smith, Howard Jay Siegel, An...
SIGMOD
2009
ACM
140views Database» more  SIGMOD 2009»
14 years 2 months ago
Robust web extraction: an approach based on a probabilistic tree-edit model
On script-generated web sites, many documents share common HTML tree structure, allowing wrappers to effectively extract information of interest. Of course, the scripts and thus ...
Nilesh N. Dalvi, Philip Bohannon, Fei Sha