4743 search results - page 123 / 949 » The PlusCal Algorithm Language |
191
Voted
ICALP
1995
Springer
15 years 6 months ago
1995
Springer
The problem to determine whether a given k-colored graph is a subgraph of a properly colored interval graph has an application in DNA physical mapping. In this paper, we study the...
112
click to vote
CICLING
2008
Springer
15 years 4 months ago
2008
Springer
This paper investigates the problem of automatic chemical Term Recognition (TR) and proposes to tackle the problem by fusing Symbolic and statistical techniques. Unlike other solut...
102
click to vote
ICNC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. A novel text watermarking algorithm is presented. It combines natural language watermarking and Chinese syntax based on BP neural networks. Since the watermarking signals...
TACAS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Checking for language containment between nondeterministic ω-automata is a central task in automata-based hierarchical verification. We present a symbolic procedure for...
106
click to vote
ICALP
1994
Springer
15 years 6 months ago
1994
Springer
We describe efficient algorithms for finding even cycles in undirected graphs. Our main results are the following: (i) For every k 2, there is an O(V 2) time algorithm that decide...