Sciweavers

195 search results - page 28 / 39
» Bispectrum on finite groups
Sort
View
ORDER
2008
60views more  ORDER 2008»
14 years 11 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»
15 years 5 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
15 years 3 months 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
15 years 3 months 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»
14 years 12 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...