Sciweavers

9284 search results - page 390 / 1857
» Knowledge State Algorithms
Sort
View
AAAI
2006
15 years 8 months ago
Belief Change in the Context of Fallible Actions and Observations
We consider the iterated belief change that occurs following an alternating sequence of actions and observations. At each instant, an agent has some beliefs about the action that ...
Aaron Hunter, James P. Delgrande
AUTOMATICA
2007
107views more  AUTOMATICA 2007»
15 years 7 months ago
Quadratic stabilization of linear networked control systems via simultaneous protocol and controller design
We develop necessary and sufficient conditions for quadratic stabilizability of linear networked control systems by dynamic output feedback and communication protocols. These cond...
Dragan B. Dacic, Dragan Nesic
CORR
2006
Springer
124views Education» more  CORR 2006»
15 years 7 months ago
A Feedback Reduction Technique for MIMO Broadcast Channels
A multiple antenna broadcast channel with perfect channel state information at the receivers is considered. If each receiver quantizes its channel knowledge to a finite number of b...
Nihar Jindal
DEDS
2007
109views more  DEDS 2007»
15 years 7 months ago
Concurrent Secrets
— Given a finite state system with partial observers and for each observer, a regular set of trajectories which we call a secret, we consider the question whether the observers ...
Eric Badouel, Marek A. Bednarczyk, Andrzej M. Borz...
CL
2000
Springer
15 years 7 months ago
A New Equational Foundation for the Fluent Calculus
Abstract. A new equational foundation is presented for the Fluent Calculus, an established predicate calculus formalism for reasoning about actions. We discuss limitations of the e...
Hans-Peter Störr, Michael Thielscher