844 search results - page 113 / 169 » Reachability in Linear Dynamical Systems |
114
click to vote
ENTCS
2008
15 years 4 months ago
2008
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems. Its most significant feature is the first-class representation of concu...
140
click to vote
RTAS
2003
IEEE
15 years 9 months ago
2003
IEEE
Managing energy consumption has become vitally important to battery operated portable and embedded systems. A dynamic voltage scaling (DVS) technique reduces the processor’s dyn...
144
click to vote
IJCNN
2000
IEEE
15 years 8 months ago
2000
IEEE
—A predictive, multiple model control strategy is developed by extension of self-organizing map (SOM) local dynamic modeling of nonlinear autonomous systems to a control framewor...
137
click to vote
TVCG
1998
15 years 3 months ago
1998
We describe the design and implementation of a videobasedaugmentedreality system capableof overlayingthreedimensional graphical objects on live video of dynamic environments. The ...
134
click to vote
TOG
2008
15 years 3 months ago
2008
Recent advances have brought real-time physically based simulation within reach, but simulations are still difficult to control in real time. We present interactive simulations of...