Sciweavers

12741 search results - page 186 / 2549
» Editorial and call for papers
Sort
View
JAIR
2010
108views more  JAIR 2010»
15 years 5 months ago
Kalman Temporal Differences
This paper deals with value (and Q-) function approximation in deterministic Markovian decision processes (MDPs). A general statistical framework based on the Kalman filtering pa...
Matthieu Geist, Olivier Pietquin
TSMC
2008
148views more  TSMC 2008»
15 years 5 months ago
Compact Modeling Technique for Outdoor Navigation
In this paper, a new methodology to build compact local maps in real time for outdoor robot navigation is presented. The environment information is obtained from a 3-D scanner lase...
Cristina Castejón, Dolores Blanco, Luis Mor...
SLOGICA
2010
97views more  SLOGICA 2010»
15 years 5 months ago
An Internal Version of Epistemic Logic
Abstract. Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling poin...
Guillaume Aucher
WAIM
2010
Springer
15 years 4 months ago
Trustworthy Information: Concepts and Mechanisms
We used to treating information received (from recognized sources) as trustworthy, which is unfortunately not true because of attacks. The situation can get worse with the emerging...
Shouhuai Xu, Haifeng Qian, Fengying Wang, Zhenxin ...
CORR
2010
Springer
84views Education» more  CORR 2010»
15 years 4 months ago
Termination Casts: A Flexible Approach to Termination with General Recursion
This paper proposes a type-and-effect system called Teq, which distinguishes terminating terms and total functions from possibly diverging terms and partial functions, for a lambd...
Aaron Stump, Vilhelm Sjöberg, Stephanie Weiri...