Sciweavers

3765 search results - page 523 / 753
» Qualitative Action Systems
Sort
View
ECML
2007
Springer
15 years 10 months ago
Efficient Continuous-Time Reinforcement Learning with Adaptive State Graphs
Abstract. We present a new reinforcement learning approach for deterministic continuous control problems in environments with unknown, arbitrary reward functions. The difficulty of...
Gerhard Neumann, Michael Pfeiffer, Wolfgang Maass
ANTS
2006
Springer
105views Algorithms» more  ANTS 2006»
15 years 10 months ago
A Modular Method for Computing the Splitting Field of a Polynomial
We provide a modular method for computing the splitting field Kf of an integral polynomial f by suitable use of the byproduct of computation of its Galois group Gf by p-adic Staudu...
Guénaël Renault, Kazuhiro Yokoyama
ASIAN
2006
Springer
153views Algorithms» more  ASIAN 2006»
15 years 10 months ago
Automata-Based Confidentiality Monitoring
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jen...
ATAL
2006
Springer
15 years 10 months ago
An Agent-Based Approach for Range Image Segmentation
Abstract. In this paper an agent-based segmentation approach is presented and discussed. The approach consists in the utilization of autonomous agents for the segmentation of a ran...
Smaine Mazouzi, Zahia Guessoum, Fabien Michel, Moh...
CDVE
2006
Springer
160views Visualization» more  CDVE 2006»
15 years 10 months ago
Automated Social Network Analysis for Collaborative Work
Inter-networked computers enable virtual collaborative work. In the course of interacting with one another, individuals send and receive messages and files of various sorts. This m...
Larry Korba, Ronggong Song, George Yee, Andrew S. ...