11182 search results - page 1886 / 2237 » Shape Analysis of Sets |
208
click to vote
CLEF
2010
Springer
15 years 8 months ago
2010
Springer
In this paper we describe our participation in the 2010 CLEF-IP Prior Art Retrieval task where we examined the impact of information in different sections of patent documents, nam...
238
click to vote
CIIA
2009
15 years 8 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
212
click to vote
DEXAW
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract--Statistical approaches to document content modeling typically focus either on broad topics or on discourselevel subtopics of a text. We present an analysis of the perform...
200
click to vote
ERCIMDL
2010
Springer
15 years 8 months ago
2010
Springer
Invenio is the web-based integrated digital library system developed at CERN. Within this framework, we present four types of ranking models based on the citation graph that comple...
236
click to vote
ETRA
2010
ACM
15 years 8 months ago
2010
ACM
This paper presents a set of qualitative and quantitative scores designed to assess performance of any eye movement classification algorithm. The scores are designed to provide a ...