3557 search results - page 210 / 712 » Reviews |
203
click to vote
SOFSEM
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. Treewidth is a graph parameter with several interesting theoretical and practical applications. This survey reviews algorithmic results on determining the treewidth of a ...
209
click to vote
EUSAI
2004
Springer
16 years 16 days ago
2004
Springer
In this paper, we review different context classification systems that have been used to define elements of context. Although existing classification systems cover various types of...
198
click to vote
LOPSTR
2004
Springer
16 years 16 days ago
2004
Springer
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...
177
click to vote
VOSS
2004
Springer
16 years 15 days ago
2004
Springer
Abstract. The paper presents a survey of out-of-core methods available for the analysis of large Markov chains on single workstations. First, we discuss the main sparse matrix stor...
159
click to vote
SAC
2010
ACM
16 years 14 days ago
2010
ACM
The canonical algorithm to enforce box consistency over a constraint relies on a dichotomic process to isolate the leftmost and rightmost solutions. We identify some weaknesses of...