Sciweavers

1051 search results - page 49 / 211
» Nonuniform in time state estimation of dynamic systems
Sort
View
IPPS
1999
IEEE
15 years 10 months ago
Run-Time Selection of Block Size in Pipelined Parallel Programs
Parallelizing compiler technology has improved in recent years. One area in which compilers have made progress is in handling DOACROSS loops, where crossprocessor data dependencie...
David K. Lowenthal, Michael James
FMSB
2008
130views Formal Methods» more  FMSB 2008»
15 years 7 months ago
Approximating Continuous Systems by Timed Automata
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
Oded Maler, Grégory Batt
IPTPS
2005
Springer
15 years 11 months ago
A Self-repairing Peer-to-Peer System Resilient to Dynamic Adversarial Churn
We present a dynamic distributed hash table where peers may join and leave at any time. Our system tolerates a powerful adversary which has complete visibility of the entire state ...
Fabian Kuhn, Stefan Schmid, Roger Wattenhofer
CVPR
2007
IEEE
16 years 8 months ago
Epitomic Representation of Human Activities
We introduce an epitomic representation for modeling human activities in video sequences. A video sequence is divided into segments within which the dynamics of objects is assumed...
Naresh P. Cuntoor, Rama Chellappa
CDC
2008
IEEE
140views Control Systems» more  CDC 2008»
16 years 23 days ago
Information state for Markov decision processes with network delays
We consider a networked control system, where each subsystem evolves as a Markov decision process (MDP). Each subsystem is coupled to its neighbors via communication links over wh...
Sachin Adlakha, Sanjay Lall, Andrea J. Goldsmith