Sciweavers

406 search results - page 52 / 82
» Goal-Driven Answer Extraction
Sort
View
CAV
2005
Springer
99views Hardware» more  CAV 2005»
14 years 3 months ago
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++
This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a...
Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd,...
CLEF
2005
Springer
14 years 3 months ago
A Logic Programming Based Approach to QA@CLEF05 Track
Abstract. In this paper the methodology followed to build a questionanswering system for the Portuguese language is described. The system modules are built using computational ling...
Paulo Quaresma, Irene Pimenta Rodrigues
IJCNLP
2005
Springer
14 years 3 months ago
Heuristic Methods for Reducing Errors of Geographic Named Entities Learned by Bootstrapping
Abstract. One of issues in the bootstrapping for named entity recognition is how to control annotation errors introduced at every iteration. In this paper, we present several heuri...
Seungwoo Lee, Gary Geunbae Lee
ISMIS
2005
Springer
14 years 3 months ago
Estimation of the Density of Datasets with Decision Diagrams
We address the problem of loading transactional datasets into main memory and estimating the density of such datasets. We propose BoolLoader, an algorithm dedicated to these tasks;...
Ansaf Salleb, Christel Vrain
AIRS
2004
Springer
14 years 3 months ago
A Bootstrapping Approach for Geographic Named Entity Annotation
Abstract. Geographic named entities can be classified into many subtypes that are useful for applications such as information extraction and question answering. In this paper, we ...
Seungwoo Lee, Gary Geunbae Lee