Sciweavers

195 search results - page 28 / 39
» Bispectrum on finite groups
Sort
View
ORDER
2008
60views more  ORDER 2008»
13 years 9 months ago
Fixed Points of Zircon Automorphisms
A zircon is a poset in which every principal order ideal is finite and equipped with a so-called special matching. We prove that the subposet induced by the fixed points of any aut...
Axel Hultman
ICRA
2003
IEEE
116views Robotics» more  ICRA 2003»
14 years 2 months ago
Learning to role-switch in multi-robot systems
We present an approach that uses Q-learning on individual robotic agents, for coordinating a missiontasked team of robots in a complex scenario. To reduce the size of the state sp...
Eric Martinson, Ronald C. Arkin
ATAL
2006
Springer
14 years 22 days ago
Exact solutions of interactive POMDPs using behavioral equivalence
We present a method for transforming the infinite interactive state space of interactive POMDPs (I-POMDPs) into a finite one, thereby enabling the computation of exact solutions. ...
Bharaneedharan Rathnasabapathy, Prashant Doshi, Pi...
ICALP
2000
Springer
14 years 18 days ago
The Many Faces of a Translation
First-order translations have recently been characterized as the maps computed by aperiodic single-valued nondeterministic finite transducers (NFTs). It is shown here that this ch...
Pierre McKenzie, Thomas Schwentick, Denis Th&eacut...
CORR
2008
Springer
91views Education» more  CORR 2008»
13 years 9 months ago
Significant Diagnostic Counterexamples in Probabilistic Model Checking
Abstract. This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov chains and Markov Decision Processes. (Finite) paths in coun...
Miguel E. Andrés, Pedro R. D'Argenio, Peter...