5084 search results - page 69 / 1017 » Proving Possibility Properties |
EPIA
2009
Springer
14 years 4 months ago
2009
Springer
In this paper, we will analyze the behavior of several parameters, namely type of contexts, similarity measures, and word space models, in the task of word similarity extraction fr...
ICNP
2005
IEEE
14 years 3 months ago
2005
IEEE
Border Gateway Protocol (BGP) is the de facto standard used for interdomain routing. Since packet forwarding may not be possible until stable routes are learned, it is not only cr...
CMSB
2006
Springer
14 years 1 months ago
2006
Springer
Having in mind the large-scale analysis of gene regulatory networks, we review a graph decimation algorithm, called "leaf-removal", which can be used to evaluate the feed...
PEPM
1991
ACM
14 years 1 months ago
1991
ACM
It is well known that the performance of a program can often be improved by means of program transformation. Several program transformation techniques, eg. partial evaluation, wor...
IJAC
2008
13 years 10 months ago
2008
We study what kinds of limits are preserved by the greatest semilattice image functor from the category of all semigroups to its subcategory of all semilattices. The second autho...