10493 search results - page 370 / 2099 » Dynamic Word Problems |
184
click to vote
IJCAI
2003
15 years 8 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
163
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
The problem of integrator forwarding is revisited using the notion of dynamically scaled (control) Lyapunov function. A new class of dynamic stabilizing control laws is presented, ...
171
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. This paper explores the problem of tracking information flow in dynamic tree structures. Motivated by the problem of manipulating the Document Object Model (DOM) trees by...
144
click to vote
ISCC
2009
IEEE
16 years 1 months ago
2009
IEEE
A problem in large and dynamic networks consists in making available at each node global information about the state of the network. Gossip-based aggregation schemes are a simple ...
210
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Particle Swarm Optimization (PSO) is a population-based stochastic optimization technique, which can be used to find an optimal, or near optimal, solution to a numerical and quali...