1458 search results - page 42 / 292 » Monads for incremental computing |
WWW
2005
ACM
14 years 11 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...
AI
2005
Springer
14 years 4 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...
SPIN
2005
Springer
14 years 4 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...
WSTST
2005
Springer
14 years 4 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...
ICTAC
2005
Springer
14 years 4 months ago
2005
Springer