Sciweavers

60 search results - page 7 / 12
» An axiomatic approach for result diversification
Sort
View
IANDC
2011
119views more  IANDC 2011»
13 years 2 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»
14 years 2 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
14 years 1 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
13 years 9 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»
13 years 7 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