Sciweavers

FORMATS
2006
Springer
13 years 8 months ago
Extended Directed Search for Probabilistic Timed Reachability
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...
Husain Aljazzar, Stefan Leue
ECML
2006
Springer
13 years 8 months ago
Deconvolutive Clustering of Markov States
In this paper we formulate the problem of grouping the states of a discrete Markov chain of arbitrary order simultaneously with deconvolving its transition probabilities. As the na...
Ata Kabán, Xin Wang
CIKM
2006
Springer
13 years 8 months ago
Topic evolution and social interactions: how authors effect research
We propose a method for discovering the dependency relationships between the topics of documents shared in social networks using the latent social interactions, attempting to answ...
Ding Zhou, Xiang Ji, Hongyuan Zha, C. Lee Giles
NICSO
2010
Springer
13 years 8 months ago
Accelerated Genetic Algorithms with Markov Chains
t] Based on the mutation matrix formalism and past statistics of genetic algorithm, a Markov Chain transition probability matrix is introduced to provide a guided search for comple...
Guan Wang, Chen Chen, Kwok Yip Szeto
CAAP
1990
13 years 8 months ago
A Markovian Concurrency Measure
act We show how to modelize concurrency between several processors in terms of automata and Markov chains; then, we define a concurrency measure which reflects more faithfully the ...
Dominique Geniet, René Schott, Loÿs Th...
STOC
1997
ACM
125views Algorithms» more  STOC 1997»
13 years 8 months ago
An Interruptible Algorithm for Perfect Sampling via Markov Chains
For a large class of examples arising in statistical physics known as attractive spin systems (e.g., the Ising model), one seeks to sample from a probability distribution π on an...
James Allen Fill
UM
2001
Springer
13 years 9 months ago
Using Markov Chains for Structural Link Prediction in Adaptive Web Sites
My research investigates into using Markov chains to make link prediction and the transition matrix derived from Markov chains to acquire structural knowledge about Web sites. The ...
Jianhan Zhu
EVOW
2010
Springer
13 years 9 months ago
Markov Chain Models for Genetic Algorithm Based Topology Control in MANETs
Abstract. We analyze the convergence properties of our force based genetic algorithm(fga) as a decentralized topology control mechanism distributed among software agents. fga guide...
Cem Safak Sahin, Stephen Gundry, Elkin Urrea, M. &...
ISAAC
2003
Springer
101views Algorithms» more  ISAAC 2003»
13 years 9 months ago
Rapid Mixing of Several Markov Chains for a Hard-Core Model
The mixing properties of several Markov chains to sample from configurations of a hard-core model have been examined. The model is familiar in the statistical physics of the liqui...
Ravi Kannan, Michael W. Mahoney, Ravi Montenegro
COMPSAC
2003
IEEE
13 years 9 months ago
Testing the Suitability of Markov Chains as Web Usage Models
Markov chains have been used to model web usages and served as the basis for statistical testing, performance evaluation, and reliability analysis. However, most of such applicati...
Zhao Li, Jeff Tian