4074 search results - page 632 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
182
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in designing self-stabilizing ...
206
click to vote
SG
2009
Springer
16 years 29 days ago
2009
Springer
Abstract. Utilizing context information—e.g. location, user aspects, or hardware capabilities—enables the presented generic framework to automatically control the selection and...
204
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
We consider the problem of synthesizing controllers for timed systems modeled using timed automata. The point of departure from earlier work is that we consider controllers that ha...
156
Voted
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— Commonly, controllers for Linear ParameterVarying (LPV) systems are designed in continuous-time using a Linear Fractional Representation (LFR) of the plant. However, th...
198
click to vote
VMV
2003
15 years 7 months ago
2003
This paper presents a method to capture human motion from silhouettes of a person in multi-view video streams. Applying a hierarchical kinematic body model motion parameters are e...