11374 search results - page 194 / 2275 » Demonstration of the CROSSMARC System |
192
click to vote
ECBS
2010
IEEE
16 years 1 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
151
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This article addresses the invertibility problem for switched nonlinear systems affine in controls. The problem is concerned with finding the input and switching signal uniqu...
163
click to vote
SMC
2007
IEEE
16 years 28 days ago
2007
IEEE
: This paper investigates a new modelling and control issue: the tracking control problem of underactuated dynamic systems by using a special example – a pendulum-driven cart-pol...
165
click to vote
DIS
2007
Springer
16 years 25 days ago
2007
Springer
We present an interactive discovery support system, which for a given starting concept of interest, discovers new, potentially meaningful relations with other concepts that have no...
144
click to vote
HYBRID
2007
Springer
16 years 25 days ago
2007
Springer
This paper addresses the problem of estimating human body dynamics from 3-D visual data. That is, our goal is to estimate the state of the system, joint angle trajectories and velo...