4962 search results - page 342 / 993 » Stochastic Model Checking |
115
click to vote
TSP
2008
15 years 3 months ago
2008
We derive an easy-to-compute approximate bound for the range of step-sizes for which the constant-modulus algorithm (CMA) will remain stable if initialized close to a minimum of t...
116
Voted
ISMAR
2007
IEEE
15 years 9 months ago
2007
IEEE
Construction companies employ CAD software during the planning phase, but what is finally built often does not match the original plan. The procedure of validating the model is c...
137
click to vote
DAC
1998
ACM
16 years 4 months ago
1998
ACM
Dynamic power management schemes (also called policies) can be used to control the power consumption levels of electronic systems, by setting their components in different states,...
141
Voted
ICDAR
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper investigates the application of a probabilistic parser for natural language on the list of the Nbest sentences produced by an off-line recognition system for cursive h...
171
Voted
EUROGP
2006
Springer
15 years 7 months ago
2006
Springer
We introduce a genetic programming (GP) approach for evolving genetic networks that demonstrate desired dynamics when simulated as a discrete stochastic process. Our representation...