9532 search results - page 419 / 1907 » Logic, Graphs, and Algorithms |
158
click to vote
WADS
2001
Springer
15 years 11 months ago
2001
Springer
We show that there exists a linear time algorithm for deciding whether a graph of bounded tree-width has clique-width k for some fixed integer k. Communicated by Giuseppe Liotta ...
160
click to vote
DAM
2010
15 years 7 months ago
2010
We present an algorithm which given a source node and a set of n - 1 target nodes in the (n, k)-star graph Sn,k, where all nodes are distinct, builds a collection of n - 1 node-di...
160
click to vote
AAECC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The paper deals with the question of recognizing the mutual positions of the connected components of a non-singular real projective surface S in the real projective 3-spa...
186
click to vote
WAIM
2010
Springer
15 years 4 months ago
2010
Springer
SimRank has been considered as one of the promising link-based ranking algorithms to evaluate similarities of web documents in many modern search engines. In this paper, we investi...
167
Voted
FASE
2010
Springer
16 years 1 months ago
2010
Springer
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...