Sciweavers

21430 search results - page 3934 / 4286
» Abstract Effective Models
Sort
View
CLEF
2010
Springer
15 years 6 months ago
CLEF-IP 2010: Prior Art Retrieval Using the Different Sections in Patent Documents
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...
Eva D'hondt, Suzan Verberne
CLEF
2010
Springer
15 years 6 months ago
Web Person Name Disambiguation by Relevance Weighting of Extended Feature Sets
Abstract. This paper describes our approach to the Person Name Disambiguation clustering task in the Third Web People Search Evaluation Campaign(WePS3). The method focuses on two a...
Chong Long, Lei Shi
CLEF
2010
Springer
15 years 6 months ago
HITS and Misses: Combining BM25 with HITS for Expert Search
Abstract. This paper describes the participation of Dublin City University in the CriES (Cross-Lingual Expert Search) pilot challenge. To realize expert search, we combine traditio...
Johannes Leveling, Gareth J. F. Jones
CSL
2010
Springer
15 years 6 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
CSL
2010
Springer
15 years 6 months ago
Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
David A. Basin, Cas J. F. Cremers
« Prev « First page 3934 / 4286 Last » Next »