Sciweavers

1222 search results - page 25 / 245
» Some Results on Directable Automata
Sort
View
ICML
2010
IEEE
13 years 6 months ago
Constructing States for Reinforcement Learning
POMDPs are the models of choice for reinforcement learning (RL) tasks where the environment cannot be observed directly. In many applications we need to learn the POMDP structure ...
M. M. Hassan Mahmud
ICTAC
2005
Springer
14 years 2 months ago
Symbolic Model Checking of Finite Precision Timed Automata
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...
Rongjie Yan, Guangyuan Li, Zhisong Tang
WIA
2001
Springer
14 years 27 days ago
Compilation Methods of Minimal Acyclic Finite-State Automata for Large Dictionaries
Abstract. We present a reflection on the evolution of the different methods for constructing minimal deterministic acyclic finite-state automata from a finite set of words. We ...
Jorge Graña, Francisco-Mario Barcala, Migue...
DLOG
2007
13 years 10 months ago
Blocking Automata for PSPACE DLs
In Description Logics (DLs), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problems such as c...
Franz Baader, Jan Hladik, Rafael Peñaloza
ACRI
2004
Springer
14 years 1 months ago
Mining Ecological Data with Cellular Automata
This paper introduces a Cellular Automata (CA) approach to spatiotemporal data mining (STDM). The recently increasing interest in using Genetic Algorithms and other evolutionary te...
Alexander Campbell, Binh Pham, Yu-Chu Tian