6279 search results - page 1112 / 1256 » Objects as session-typed processes |
182
click to vote
ECIR
2010
Springer
15 years 6 months ago
2010
Springer
In this work we compare different techniques to automatically find candidate web pages to substitute broken links. We extract information from the anchor text, the content of the p...
161
click to vote
ACS
2008
15 years 6 months ago
2008
A frame homomorphism h : A - B is skeletal if x = 1 in A implies that h(x) = 1 in B. It is shown that, in KRegS, the category of compact regular frames with skeletal maps, the subc...
155
click to vote
AUTOMATICA
2008
15 years 6 months ago
2008
This paper studies a general dynamic buffer management problem with one buffer inserted between two interacting components. The component to be controlled is assumed to have multi...
157
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Repeat-rich regions such as centromeres receive less attention than their gene-rich euchromatic counterparts because the former are difficult to assemble and analyze. ...
183
click to vote
CGF
2010
15 years 6 months ago
2010
In this paper we present a novel method to compute Boolean operations on polygonal meshes. Given a Boolean expression over an arbitrary number of input meshes we reliably and effi...