Sciweavers

15614 search results - page 33 / 3123
» The State of State
Sort
View
MODELS
2009
Springer
14 years 3 months ago
HiLA: High-Level Aspects for UML State Machines
UML state machines are widely used for modeling software behavior. However state-crosscutting behaviors, such as synchronization or execution history dependence, are hard to model...
Gefei Zhang, Matthias M. Hölzl
BIOADIT
2004
Springer
14 years 2 months ago
Autonomous Acquisition of the Meaning of Sensory States Through Sensory-Invariance Driven Action
Abstract. How can artificial or natural agents autonomously gain understanding of its own internal (sensory) state? This is an important question not just for physically embodied ...
Yoonsuck Choe, S. Kumar Bhamidipati
ICANNGA
2009
Springer
133views Algorithms» more  ICANNGA 2009»
14 years 3 months ago
Visualizing Time Series State Changes with Prototype Based Clustering
Modern process and condition monitoring systems produce a huge amount of data which is hard to analyze manually. Previous analyzing techniques disregard time information and concen...
Markus Pylvänen, Sami Äyrämö, ...
FMCAD
2008
Springer
13 years 10 months ago
Invariant-Strengthened Elimination of Dependent State Elements
Abstract-- This work presents a technology-independent synthesis optimization that is effective in reducing the total number of state elements of a design. It works by identifying ...
Michael L. Case, Alan Mishchenko, Robert K. Brayto...
ATVA
2004
Springer
87views Hardware» more  ATVA 2004»
14 years 2 months ago
Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems
— This paper considers the state feedback control of parameterized discrete event systems consisting of N similar processes for the problem of maintaining a predicate on the stat...
Hans Bherer, Jules Desharnais, Marc Frappier, Rich...