Sciweavers

1249 search results - page 153 / 250
» State Machine Modeling: From Synch States to Synchronized St...
Sort
View
ICML
2005
IEEE
16 years 7 months ago
Finite time bounds for sampling based fitted value iteration
In this paper we consider sampling based fitted value iteration for discounted, large (possibly infinite) state space, finite action Markovian Decision Problems where only a gener...
Csaba Szepesvári, Rémi Munos
ICALT
2005
IEEE
15 years 12 months ago
Concept Maps and Learning Objects
Concept Maps constitute one of the tools mostly used in learning management due to the possibility that they offer to contextualize learning, share knowledge and for learning to le...
Leonel Iriarte Navarro, Manuel Marco Such, Daniel ...
CASES
2008
ACM
15 years 8 months ago
A light-weight cache-based fault detection and checkpointing scheme for MPSoCs enabling relaxed execution synchronization
While technology advances have made MPSoCs a standard architecture for embedded systems, their applicability is increasingly being challenged by dramatic increases in the amount o...
Chengmo Yang, Alex Orailoglu
BIRTHDAY
2008
Springer
15 years 8 months ago
Church's Problem and a Tour through Automata Theory
Abstract. Church's Problem, stated fifty years ago, asks for a finitestate machine that realizes the transformation of an infinite sequence into an infinite sequence such tha...
Wolfgang Thomas
EMNLP
2007
15 years 7 months ago
Experimental Evaluation of LTAG-Based Features for Semantic Role Labeling
In this technical report, we propose the use of Lexicalized Tree-Adjoining Grammar (LTAG) formalism as an important additional source of features for the Semantic Role Labeling (S...
Yudong Liu, Anoop Sarkar