Sciweavers

7311 search results - page 311 / 1463
» Time in State Machines
Sort
View
ECAI
2010
Springer
15 years 8 months ago
The Complexity of Epistemic Model Checking: Clock Semantics and Branching Time
In the clock semantics for epistemic logic, two situations are indistinguishable for an agent when it makes the same observation and the time in the situations is the same. The pa...
Xiaowei Huang, Ron van der Meyden
161
Voted
CDC
2008
IEEE
182views Control Systems» more  CDC 2008»
16 years 1 months ago
Practical stability of time delay systems: LMI's approach
— In this paper we discuss the practical stability of a class of time delay systems with an unstable equilibrium. We obtain sufficient conditions based on Lyapunov-Krasovskii fu...
Raul Villafuerte, Sabine Mondie, Alexander S. Pozn...
ESANN
2000
15 years 8 months ago
Nonlinear prediction of spatio-temporal time series
Abstract. A prediction scheme for spatio-temporal time series is presented that is based on reconstructed local states. As a numerical example the ev olution of a Kuramoto-Sivashin...
Ulrich Parlitz, Christian Merkwirth
189
Voted
ADC
2004
Springer
106views Database» more  ADC 2004»
16 years 25 days ago
Customizing Internal Activity Behaviour for Flexible Process Enforcement
Workflow technology has met with success in a variety of industries, although several limitations have emerged. One such drawback is the inflexibility of specification languages, ...
Belinda M. Carter, Joe Y.-C. Lin, Maria E. Orlowsk...
GECCO
2007
Springer
217views Optimization» more  GECCO 2007»
15 years 9 months ago
A quantitative analysis of memory requirement and generalization performance for robotic tasks
In autonomous agent systems, memory is an important element to handle agent behaviors appropriately. We present the analysis of memory requirements for robotic tasks including wal...
DaeEun Kim