Sciweavers

4435 search results - page 262 / 887
» Networking named content
Sort
View
CLEF
2007
Springer
16 years 23 days ago
TALP at GeoQuery 2007: Linguistic and Geographical Analysis for Query Parsing
This paper describes our experiments on the Geographical Query Parsing pilot-task for English at GeoCLEF 2007. Our system uses some modules of a Geographical Information Retrieval...
Daniel Ferrés, Horacio Rodríguez
CLEF
2007
Springer
16 years 23 days ago
Robust Retrieval Experiments at the University of Hildesheim
This paper reports on experiments submitted for the robust task at CLEF 2007. We applied a system previously tested for ad-hoc retrieval. Experiments were focused on the effect of...
Ben Heuwing, Thomas Mandl
ICDAR
2005
IEEE
16 years 6 days ago
Motion Deblurring for Optical Character Recognition
This paper investigates the problem of blurring caused by motion during image capture of text documents. Motion blurring prevents proper optical character recognition of the docum...
Xing Yu Qi, Li Zhang, Chew Lim Tan
CONTEXT
2005
Springer
16 years 4 days ago
Understanding Context Before Using It
This paper presents an attempt to point out some problematic issues about the understanding of context. Although frequently used in cognitive sciences or other disciplines, context...
Mary Bazire, Patrick Brézillon
FMCO
2005
Springer
153views Formal Methods» more  FMCO 2005»
16 years 4 days ago
Smallfoot: Modular Automatic Assertion Checking with Separation Logic
Abstract. Separation logic is a program logic for reasoning about programs that manipulate pointer data structures. We describe Smallfoot, a tool for checking certain lightweight s...
Josh Berdine, Cristiano Calcagno, Peter W. O'Hearn