Sciweavers

893 search results - page 146 / 179
» Relational link-based ranking
Sort
View
TREC
1998
13 years 9 months ago
BBN at TREC7: Using Hidden Markov Models for Information Retrieval
We present a new method for information retrieval using hidden Markov models HMMs and relate our experience with this system on the TREC-7 ad hoc task. We develop a general framew...
David R. H. Miller, Tim Leek, Richard M. Schwartz
AVI
2008
13 years 9 months ago
Visualizing program similarity in the Ac plagiarism detection system
Programming assignments are easy to plagiarize in such a way as to foil casual reading by graders. Graders can resort to automatic plagiarism detection systems, which can generate...
Manuel Freire
ATVA
2010
Springer
284views Hardware» more  ATVA 2010»
13 years 9 months ago
YAGA: Automated Analysis of Quantitative Safety Specifications in Probabilistic B
Probabilistic B (pB) [2, 8] extends classical B [7] to incorporate probabilistic updates together with the specification of quantitative safety properties. As for classical B, prob...
Ukachukwu Ndukwu, A. K. McIver
ECAI
2010
Springer
13 years 9 months ago
Fair Division under Ordinal Preferences: Computing Envy-Free Allocations of Indivisible Goods
We study the problem of fairly dividing a set of goods amongst a group of agents, when those agents have preferences that are ordinal relations over alternative bundles of goods (r...
Sylvain Bouveret, Ulle Endriss, Jérôm...
CORR
2008
Springer
103views Education» more  CORR 2008»
13 years 8 months ago
Executable Set Theory and Arithmetic Encodings in Prolog
The paper is organized as a self-contained literate Prolog program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmetic...
Paul Tarau