Sciweavers

1489 search results - page 120 / 298
» The First Bug Report
Sort
View
APSCC
2006
IEEE
15 years 8 months ago
A Grid-Enabled Architecture for Geospatial Data Sharing
This paper explores combining OGC and Grid technologies for geospatial data sharing. OGC and Grid technologies have different focuses: OGC technologies focus more on interface spe...
Yanfeng Shu, Jack Fan Zhang, Xiaofang Zhou
128
Voted
CLEF
2006
Springer
15 years 8 months ago
Overview of the Answer Validation Exercise 2006
The first Answer Validation Exercise (AVE) has been launched at the Cross Language Evaluation Forum 2006. This task is aimed at developing systems able to decide whether the answer...
Anselmo Peñas, Álvaro Rodrigo, Valen...
CLEF
2006
Springer
15 years 8 months ago
SINAI at CLEF 2006 Ad Hoc Robust Multilingual Track: Query Expansion Using the Google Search Engine
This year, we have participated on Ad-Hoc Robust Multilingual track with the aim to evaluate two issues of CLIR systems. Firstly, this paper describes the method followed for quer...
Fernando Martínez Santiago, Arturo Montejo ...
131
Voted
CSR
2006
Springer
15 years 7 months ago
Extended Resolution Proofs for Conjoining BDDs
We present a method to convert the construction of binary decision diagrams (BDDs) into extended resolution proofs. Besides in proof checking, proofs are fundamental to many applic...
Carsten Sinz, Armin Biere
DAS
2006
Springer
15 years 7 months ago
A System for Converting PDF Documents into Structured XML Format
We present in this paper a system for converting PDF legacy documents into structured XML format. This conversion system first extracts the different streams contained in PDF files...
Hervé Déjean, Jean-Luc Meunier