Sciweavers

2902 search results - page 385 / 581
» Simple Local Models for Complex Dynamical Systems
Sort
View
AAAI
1997
15 years 4 months ago
Incremental Methods for Computing Bounds in Partially Observable Markov Decision Processes
Partially observable Markov decision processes (POMDPs) allow one to model complex dynamic decision or control problems that include both action outcome uncertainty and imperfect ...
Milos Hauskrecht
FCT
2009
Springer
15 years 9 months ago
Directed Graphs of Entanglement Two
Entanglement is a complexity measure for directed graphs that was used to show that the variable hierarchy of the propositional modal µ-calculus is strict. While graphs of entangl...
Erich Grädel, Lukasz Kaiser, Roman Rabinovich
ICRA
2007
IEEE
168views Robotics» more  ICRA 2007»
15 years 9 months ago
A Multi-State Constraint Kalman Filter for Vision-aided Inertial Navigation
— In this paper, we present an Extended Kalman Filter (EKF)-based algorithm for real-time vision-aided inertial navigation. The primary contribution of this work is the derivatio...
Anastasios I. Mourikis, Stergios I. Roumeliotis
INFOCOM
2005
IEEE
15 years 8 months ago
Differentiated bandwidth sharing with disparate flow sizes
Abstract— We consider a multi-class queueing system operating under the Discriminatory Processor-Sharing (DPS) discipline. The DPS discipline provides a natural approach for mode...
Gijs van Kessel, R. Núñez Queija, Se...
ENTCS
2007
158views more  ENTCS 2007»
15 years 3 months ago
Abstraction and Completeness for Real-Time Maude
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
Peter Csaba Ölveczky, José Meseguer