688 search results - page 106 / 138 » Computational Methods for Verification of Stochastic Hybrid ... |
ISQED
2003
IEEE
14 years 1 months ago
2003
IEEE
—As the operating frequency of digital systems increases and voltage swing decreases, it becomes very important to characterize and analyze power distribution networks (PDNs) acc...
NIPS
2001
13 years 9 months ago
2001
Policy gradient methods for reinforcement learning avoid some of the undesirable properties of the value function approaches, such as policy degradation (Baxter and Bartlett, 2001...
JDCTA
2010
13 years 2 months ago
2010
Multiview image registration is to compute the globally consistent transformations of a sequence of images. Due to various uncertainties, multiview image registration is considere...
SPAA
2004
ACM
14 years 1 months ago
2004
ACM
Page migration is one of the fundamental subproblems in the framework of data management in networks. It occurs in a distributed network of processors sharing one indivisible memo...
ATAL
2003
Springer
14 years 28 days ago
2003
Springer
Decentralized control of a cooperative multi-agent system is the problem faced by multiple decision-makers that share a common set of objectives. The decision-makers may be robots...