7512 search results - page 83 / 1503 » Robust Computations with Dynamical Systems |
141
click to vote
TIME
2007
IEEE
15 years 10 months ago
2007
IEEE
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...
156
click to vote
IADIS
2003
15 years 5 months ago
2003
A mobile agent is a software agent that has the ability to transfer its program code, data and execution state across a network to a remote computer for execution. In this paper, ...
230
click to vote
CLUSTER
2006
IEEE
15 years 7 months ago
2006
IEEE
The complexity of the cluster-based web service challenges the traditional approaches, which fail to guarantee the reliability and real-time performance required. In this paper, w...
145
click to vote
MP
2006
15 years 4 months ago
2006
We present a series of related robust optimization models for placing sensors in municipal water networks to detect contaminants that are maliciously or accidentally injected. We f...
115
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper describes realtime and robust tracking of a planar motion target by matched filter implemented on the CMOS+FPGA vision system. It is required to obtain positional a...