1357 search results - page 171 / 272 » Compositional analysis for linear systems |
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
Abstract— We propose formal models for analyzing robustness of multi-hop control networks, where data from sensors to controllers and from controllers to actuators is sent throug...
RIAO
2000
14 years 11 months ago
2000
With the globalization of the world markets, the need for multilingual information processing increases, because the users are increasingly forced to deal with information availab...
RTSS
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...
120
click to vote
EGPGV
2004
Springer
15 years 3 months ago
2004
Springer
We describe a system for the texture-based direct volume visualization of large data sets on a PC cluster equipped with GPUs. The data is partitioned into volume bricks in object ...
CVPR
2004
IEEE
16 years 13 days ago
2004
IEEE
Human gait and activity analysis from video is presently attracting a lot of attention in the computer vision community. In this paper, we analyze the role of two of the most impo...