2137 search results - page 302 / 428 » Experiments on Graph Clustering Algorithms |
104
click to vote
AAAI
1994
15 years 3 months ago
1994
We present the results of an empirical study of several constraint satisfaction search algorithms and heuristics. Using a random problem generator that allows us to create instanc...
100
click to vote
ACL
1994
15 years 3 months ago
1994
This article outlines a new method of locating discourse boundaries based on lexical cohesion and a graphical technique called dotplotting. The application of dotplotting to disco...
139
click to vote
CAV
2012
Springer
13 years 4 months ago
2012
Springer
Abstract. In earlier work, we developed a technique to prove termination of Java programs automatically: first, Java programs are automatically transformed to term rewrite systems...
142
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Nowadays modern biology aims at unravelling the strands of complex biological structures such as the protein-protein interaction (PPI) networks. A key concept in the o...
112
click to vote
IEAAIE
2009
Springer
15 years 2 days ago
2009
Springer
In conflict-free routing a set of agents have to traverse a common infrastructure without interfering with each other. Maza and Castagna [1] showed how route plans can be repaired ...