Sciweavers

7311 search results - page 184 / 1463
» Time in State Machines
Sort
View
VMV
2004
80views Visualization» more  VMV 2004»
15 years 6 months ago
Reducing State Changes with a Pipeline Buffer
A limiting factor in the performance of a rendering system is the number of state changes, i.e., changes of the attributes material, texture, shader program, etc., in the stream o...
Jens Krokowski, Harald Räcke, Christian Sohle...
120
Voted
ICASSP
2011
IEEE
14 years 8 months ago
Tracking changes in continuous emotion states using body language and prosodic cues
Human expressive interactions are characterized by an ongoing unfolding of verbal and nonverbal cues. Such cues convey the interlocutor’s emotional state which is continuous and...
Angeliki Metallinou, Athanassios Katsamanis, Yun W...
147
Voted
DDECS
2006
IEEE
88views Hardware» more  DDECS 2006»
15 years 10 months ago
Minimization of Large State Spaces using Symbolic Branching Bisimulation
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
Ralf Wimmer, Marc Herbstritt, Bernd Becker
CAV
2005
Springer
86views Hardware» more  CAV 2005»
15 years 10 months ago
Syntax-Driven Reachable State Space Construction of Synchronous Reactive Programs
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
Eric Vecchié, Robert de Simone
CDC
2009
IEEE
142views Control Systems» more  CDC 2009»
15 years 9 months ago
Optimized rate allocation for state feedback control over noisy channels
Abstract— Optimal rate allocation in a networked control system with highly limited communication resources is instrumental to achieve satisfactory overall performance. In this p...
Lei Bao, Mikael Skoglund, Carlo Fischione, Karl He...