Sciweavers

1424 search results - page 150 / 285
» Modeling A Control System For Organizational Processes
Sort
View
144
Voted
EUROPAR
2005
Springer
15 years 9 months ago
The Periodic-Linear Model of Program Behavior Capture
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
Philippe Clauss, Bénédicte Kenmei, J...
121
Voted
CDC
2009
IEEE
176views Control Systems» more  CDC 2009»
15 years 8 months ago
Controllability of the rotation of a quantum planar molecule
Abstract— We consider the simplest model for controlling the rotation of a molecule by the action of an electric field, namely a quantum planar pendulum. This problem consists i...
Ugo V. Boscain, Thomas Chambrion, Paolo Mason, Mar...
111
Voted
ICRA
2006
IEEE
86views Robotics» more  ICRA 2006»
15 years 9 months ago
The Statistical Dynamics of Programmed Self-assembly
Abstract— We describe how a graph grammar program for robotic self-assembly, together with measurements of kinetic rate data yield a Markov Process model of the dynamics of progr...
Nils Napp, Samuel Burden, Eric Klavins
ICASSP
2010
IEEE
15 years 3 months ago
A parallel point-process filter for estimation of goal-directed movements from neural signals
Brain machine interfaces work by mapping the relevant neural activity to the intended movement known as ‘decoding’. Here, we develop a recursive Bayesian decoder for goaldirec...
Maryam Modir Shanechi, Gregory W. Wornell, Ziv Wil...
142
Voted
ENTCS
2008
135views more  ENTCS 2008»
15 years 3 months ago
Formal Specification Generation from Requirement Documents
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
Gustavo Cabral, Augusto Sampaio