Sciweavers

4629 search results - page 350 / 926
» Space Kernel Analysis
Sort
View
DEDS
2002
106views more  DEDS 2002»
15 years 6 months ago
Efficient Computation and Representation of Large Reachability Sets for Composed Automata
We propose an approach that integrates and extends known techniques from different areas to handle and analyze a complex and large system described as a network of synchronized com...
Peter Buchholz, Peter Kemper
CASES
2011
ACM
14 years 6 months ago
Enabling parametric feasibility analysis in real-time calculus driven performance evaluation
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
Alena Simalatsar, Yusi Ramadian, Kai Lampka, Simon...
ICPR
2004
IEEE
16 years 7 months ago
Maximizing Validity in 2D Motion Analysis
Classifying and analyzing human motion from a video is relatively common in many areas. Since the motion is carried out in 3D space, the 2D projection provided by a video is somew...
Martin Eriksson, Stefan Carlsson
CHI
2003
ACM
16 years 7 months ago
When one isn't enough: an analysis of virtual desktop usage strategies and their implications for design
Screen space is a limited resource for computer users-multiple monitors are one means of workspace expansion, and "virtual desktops" are yet another way to increase scre...
Meredith Ringel
CDC
2008
IEEE
123views Control Systems» more  CDC 2008»
16 years 1 months ago
Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization
— Given an initial set of a nonlinear system with uncertain parameters and inputs, the set of states that can possibly be reached is computed. The approach is based on local line...
Matthias Althoff, Olaf Stursberg, Martin Buss