1309 search results - page 132 / 262 » Approaching Optimality for Solving SDD Linear Systems |
122
click to vote
ASPDAC
2000
ACM
15 years 8 months ago
2000
ACM
Symbolic debuggers are system development tools that can accelerate the validation speed of behavioral specifications by allowing a user to interact with an executing code at the ...
132
click to vote
AUTOMATICA
2006
15 years 4 months ago
2006
This paper is concerned with the optimal control of linear discrete-time systems, which are subject to unknown but bounded state disturbances and mixed constraints on the state an...
127
click to vote
CCE
2007
15 years 4 months ago
2007
This work describes a stochastic approach for the optimal placement of sensors in municipal water networks to detect maliciously injected contaminants. The model minimizes the exp...
138
click to vote
NIPS
2004
15 years 5 months ago
2004
We present a generative model and stochastic filtering algorithm for simultaneous tracking of 3D position and orientation, non-rigid motion, object texture, and background texture...
147
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
We obtain analytically, the energy optimal speed profile of a generic multi-speed device with a discrete set of speeds, to execute a given task within a given time. Current implem...