Sciweavers

7311 search results - page 154 / 1463
» Time in State Machines
Sort
View
IEEEVAST
2010
14 years 11 months ago
ALIDA: Using machine learning for intent discernment in visual analytics interfaces
In this paper, we introduce ALIDA, an Active Learning Intent Discerning Agent for visual analytics interfaces. As users interact with and explore data in a visual analytics enviro...
Tera Marie Green, Ross Maciejewski, Steve DiPaola
ICML
2005
IEEE
16 years 5 months ago
Learning predictive representations from a history
Predictive State Representations (PSRs) have shown a great deal of promise as an alternative to Markov models. However, learning a PSR from a single stream of data generated from ...
Eric Wiewiora
ICML
2002
IEEE
16 years 5 months ago
Discovering Hierarchy in Reinforcement Learning with HEXQ
An open problem in reinforcement learning is discovering hierarchical structure. HEXQ, an algorithm which automatically attempts to decompose and solve a model-free factored MDP h...
Bernhard Hengst
ASM
2005
ASM
15 years 10 months ago
Verifying Security Protocols: An ASM Approach
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
Dominik Haneberg, Holger Grandy, Wolfgang Reif, Ge...
ASM
2005
ASM
15 years 10 months ago
Scenario based Analysis of Linear Computations
Abstract. In this paper we consider the following task: given an abstract state machine, characterize the subsets of initial values corresponding to different typical scenarios of...
Vladimir Filatov, Rostislav Yavorskiy