1458 search results - page 42 / 292 » Monads for incremental computing |
169
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
In this note we consider a simple reformulation of the traditional power iteration algorithm for computing the stationary distribution of a Markov chain. Rather than communicate t...
166
click to vote
AI
2005
Springer
15 years 11 months ago
2005
Springer
This paper deals with the incremental off-line computation of diagnosis of discrete-event systems. Traditionally, the diagnosis is computed from the global automaton describing th...
121
click to vote
SPIN
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The most expensive operation in explicit state model checking is the hash computation required to store the explored states in a hash table. One way to reduce this comput...
267
click to vote
WSTST
2005
Springer
15 years 11 months ago
2005
Springer
Synonymy – different words with the same meaning – is a major problem for text mining systems. We have proposed asymmetric word similarities as a possible solution to this prob...