Sciweavers

3819 search results - page 256 / 764
» Simple Easy Terms
Sort
View
SIGIR
2008
ACM
15 years 7 months ago
Combining document- and paragraph-based entity ranking
We study entity ranking on the INEX entity track and propose a simple graph-based ranking approach that enables to combine scores on document and paragraph level. The combined app...
Henning Rode, Pavel Serdyukov, Djoerd Hiemstra
COR
2004
146views more  COR 2004»
15 years 7 months ago
An exact algorithm for the robust shortest path problem with interval data
The robust deviation shortest path problem with interval data is studied in this paper. After the formulation of the problem in mathematical terms, an exact algorithm, based on a ...
Roberto Montemanni, Luca Maria Gambardella
CORR
2004
Springer
98views Education» more  CORR 2004»
15 years 7 months ago
A feasible algorithm for typing in Elementary Affine Logic
We give a new type inference algorithm for typing lambda-terms in Elementary Affine Logic (EAL), which is motivated by applications to complexity and optimal reduction. Following p...
Patrick Baillot, Kazushige Terui
ENTCS
2002
95views more  ENTCS 2002»
15 years 7 months ago
Deriving Bisimulation Congruences: A 2-categorical Approach
We introduce G-relative-pushouts (GRPO) which are a 2-categorical generalisation of relative-pushouts (RPO). They are suitable for deriving labelled transition systems (LTS) for p...
Vladimiro Sassone, Pawel Sobocinski
GC
2002
Springer
15 years 7 months ago
The Hilbert Series of the Face Ring of a Flag Complex
It is shown that the Hilbert series of the face ring of a clique complex (equivalently, flag complex) of a graph G is, up to a factor, just a specialization of SG (x, y), the subg...
Paul Renteln