Sciweavers

2632 search results - page 74 / 527
» Predictive Representations of State
Sort
View
SIGMETRICS
2000
ACM
105views Hardware» more  SIGMETRICS 2000»
14 years 2 months ago
Using the exact state space of a Markov model to compute approximate stationary measures
We present a new approximation algorithm based on an exact representation of the state space S, using decision diagrams, and of the transition rate matrix R, using Kronecker algeb...
Andrew S. Miner, Gianfranco Ciardo, Susanna Donate...
TCIAIG
2010
13 years 4 months ago
The Parametrized Probabilistic Finite-State Transducer Probe Game Player Fingerprint Model
Abstract--Fingerprinting operators generate functional signatures of game players and are useful for their automated analysis independent of representation or encoding. The theory ...
Jeffrey Tsang
IEAAIE
2010
Springer
13 years 8 months ago
S.cerevisiae Complex Function Prediction with Modular Multi-Relational Framework
Gene functions is an essential knowledge for understanding how metabolism works and designing treatments for solving malfunctions. The Modular Multi-Relational Framework (MMRF) is ...
Beatriz García Jiménez, Agapito Lede...
ESORICS
2002
Springer
14 years 9 months ago
Formal Security Analysis with Interacting State Machines
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
David von Oheimb, Volkmar Lotz
ICRA
2009
IEEE
121views Robotics» more  ICRA 2009»
14 years 4 months ago
Learning sequential visual attention control through dynamic state space discretization
² Similar to humans and primates, artificial creatures like robots are limited in terms of allocation of their resources to huge sensory and perceptual information. Serial process...
Ali Borji, Majid Nili Ahmadabadi, Babak Nadjar Ara...