Sciweavers

2061 search results - page 314 / 413
» Modeling search engine effectiveness for federated search
Sort
View
ITCC
2002
IEEE
15 years 11 months ago
A Methodology for Collection Selection in Heterogeneous Contexts
In this paper we demonstrate that in an ideal Distributed Information Retrieval environment, taking the ability of each collection server to return relevant documents into account...
Faiza Abbaci, Michel Beigbeder, Jacques Savoy
PPDP
2007
Springer
16 years 12 days ago
Mechanized metatheory model-checking
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
James Cheney, Alberto Momigliano
IEAAIE
1994
Springer
15 years 10 months ago
Using the Genetic Algorithm to Find Snake-in-the-Box Codes
Genetic Algorithms are heuristic search schemes based on a model of Darwinian evolution. Although not guaranteed to find the optimal solution, genetic algorithms have been shown t...
Walter D. Potter, Robert W. Robinson, John A. Mill...
WWW
2008
ACM
16 years 7 months ago
Substructure similarity measurement in chinese recipes
Improving the precision of information retrieval has been a challenging issue on Chinese Web. As exemplified by Chinese recipes on the Web, it is not easy/natural for people to us...
Liping Wang, Qing Li, Na Li, Guozhu Dong, Yu Yang
KDD
2002
ACM
286views Data Mining» more  KDD 2002»
16 years 6 months ago
Object Boundary Detection For Ontology-Based Image Classification
Technology in the field of digital media generates huge amounts of non-textual information, audio, video, and images, along with more familiar textual information. The potential f...
Lei Wang, Latifur Khan, Casey Breen