7311 search results - page 77 / 1463 » Time in State Machines |
136
click to vote
ICDE
2010
IEEE
16 years 3 months ago
2010
IEEE
Monitoring global states of an application deployed over distributed nodes becomes prevalent in today's datacenters. State monitoring requires not only correct monitoring resu...
141
click to vote
FORMATS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. In this paper, we propose a new framework for the parametric verification of time Petri nets with stopwatches controlled by inhibitor arcs. We first introduce an extensio...
139
Voted
INFORMATICALT
1998
15 years 3 months ago
1998
Abstract. In the previous papers (Masreliez and Martin, 1977; Novoviˇcova, 1987; Schick and Mitter, 1994) the problem of recursive estimation of linear dynamic systems parameters ...
154
click to vote
AAAI
2008
15 years 6 months ago
2008
In order to interact successfully in social situations, a robot must be able to observe others' actions and base its own behavior on its beliefs about their intentions. Many ...
134
click to vote
SIAMCO
2010
14 years 10 months ago
2010
We consider a target problem for a nonlinear system under state constraints. We give a new continuous level-set approach for characterizing the optimal times and the backward-reach...