1024 search results - page 204 / 205 » The Generalized PatchMatch Correspondence Algorithm |
POPL
2000
ACM
13 years 10 months ago
2000
ACM
Adopting a programming-language perspective, we study the problem of implementing authentication in a distributed system. We define a process calculus with constructs for authent...
AINA
2009
IEEE
13 years 3 months ago
2009
IEEE
Searching very large collections can be costly in both computation and storage. To reduce this cost, recent research has focused on reducing the size (pruning) of the inverted ind...
AND
2009
13 years 3 months ago
2009
In this paper, we propose an alternative method for accessing the content of Greek historical documents printed during the 17th and 18th centuries by searching words directly in d...
AI
2011
Springer
13 years 25 days ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
BMCBI
2011
13 years 24 days ago
2011
Background: It has been suggested previously that genome and proteome sequences show characteristics typical of natural-language texts such as “signature-style” word usage ind...