2398 search results - page 95 / 480 » Constraint Programming and Graph Algorithms |
136
click to vote
CSLP
2004
Springer
15 years 8 months ago
2004
Springer
Many tasks in computational linguistics can be regarded as configuration problems. In this paper, we introduce the notion of lexicalised multi-dimensional configuration problems (l...
161
click to vote
OOPSLA
1999
Springer
15 years 9 months ago
1999
Springer
This paper presents a combined pointer and escape analysis algorithm for Java programs. The algorithm is based on the abstraction of points-to escape graphs, which characterize ho...
199
click to vote
PTS
2010
15 years 2 months ago
2010
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
131
click to vote
ADHOCNOW
2008
Springer
15 years 6 months ago
2008
Springer
We study the problem of gathering information from the nodes of a multi-hop radio network into a pre-defined destination node under the interference constraints. In such a network...
125
click to vote
AHSWN
2010
15 years 5 months ago
2010
We study the problem of gathering information from the nodes of a multi-hop radio network into a pre-defined destination node under the interference constraints. In such a network,...