15614 search results - page 408 / 3123 » The State of State |
142
click to vote
COLCOM
2005
IEEE
16 years 14 days ago
2005
IEEE
We do a case study of two different analysis techniques for studying the stochastic behavior of a randomized system/algorithms: (i) The first approach can be broadly termed as a ...
154
click to vote
QSIC
2003
IEEE
16 years 3 days ago
2003
IEEE
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
161
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
State estimation problems for linear time-invariant systems with noisy inputs and outputs are considered. An efficient recursive algorithm for the smoothing problem is presented. ...
168
click to vote
ICML
2010
IEEE
15 years 8 months ago
2010
IEEE
We introduce new, efficient algorithms for value iteration with multiple reward functions and continuous state. We also give an algorithm for finding the set of all nondominated a...
165
Voted
CORR
2010
Springer
15 years 5 months ago
2010
Springer
– This paper addresses the problem of forbidden states of non safe Petri Net (PN) modelling discrete events systems. To prevent the forbidden states, it is possible to use condit...