7064 search results - page 137 / 1413 » From States to Histories |
157
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper presents a control for state-constrained nonlinear systems in strict feedback form to achieve output tracking. To prevent states from violating the constraints, we e...
173
click to vote
ICCBR
2001
Springer
15 years 11 months ago
2001
Springer
We describe a case-based approach to the keyhole plan-recognition task where the observed agent is a state-space planner whose world states can be monitored. Case-based approach pr...
188
click to vote
ASM
2000
ASM
15 years 10 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
164
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
175
click to vote
ESCIENCE
2007
IEEE
15 years 10 months ago
2007
IEEE
Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed scientific computations and data analysis, and have enabled and acce...