18209 search results - page 239 / 3642 » Some Remarks on the Paper |
155
Voted
IPL
2006
15 years 6 months ago
2006
In the past 5 years, a series of verification algorithms has been proposed for infinite Markov chains that have a finite attractor, i.e., a set that will be visited infinitely oft...
169
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper, we survey algorithms for shortest paths in dynamic networks. Although research on this problem spans over more than three decades, in the last couple of years many ...
153
Voted
ENTCS
2007
15 years 6 months ago
2007
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
174
click to vote
GPEM
2007
15 years 6 months ago
2007
Studying an evolving complex system and drawing some conclusions from it is an integral part of nature-inspired computing; being a part of that complex system, some insight can als...
149
Voted
JOT
2007
15 years 6 months ago
2007
Today information management technology faces two major related challenges. One is to tame the information and options explosion that are upon us. Another is to support the inform...