Sciweavers

60 search results - page 7 / 12
» An axiomatic approach for result diversification
Sort
View
IANDC
2011
119views more  IANDC 2011»
14 years 6 months ago
Quantitative Kleene coalgebras
We present a systematic way to generate (1) languages of (generalised) regular expressions, and (2) sound and complete axiomatizations thereof, for a wide variety of quantitative ...
Alexandra Silva, Filippo Bonchi, Marcello M. Bonsa...
MM
2009
ACM
137views Multimedia» more  MM 2009»
15 years 6 months ago
Lightweight web image reranking
Web image search is inspired by text search techniques; it mainly relies on indexing textual data that surround the image file. But retrieval results are often noisy and image pro...
Adrian Popescu, Pierre-Alain Moëllic, Ioannis...
FROCOS
2007
Springer
15 years 5 months ago
Combining Algorithms for Deciding Knowledge in Security Protocols
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
Mathilde Arnaud, Véronique Cortier, St&eacu...
FLAIRS
2004
15 years 1 months ago
Cautious Cooperative Learning with Distributed Case-Based Reasoning
In this paper, we propose a cautious cooperative learning approach using distributed case-based reasoning. Our approach consists of two learning mechanisms: individual and coopera...
Leen-Kiat Soh
BMCBI
2004
97views more  BMCBI 2004»
14 years 11 months ago
Global features of sequences of bacterial chromosomes, plasmids and phages revealed by analysis of oligonucleotide usage pattern
Background: Oligonucleotide frequencies were shown to be conserved signatures for bacterial genomes, however, the underlying constraints have yet not been resolved in detail. In t...
Oleg N. Reva, Burkhard Tümmler