Sciweavers

1700 search results - page 211 / 340
» Evaluating user experiences in games
Sort
View
USS
2010
15 years 4 months ago
AdJail: Practical Enforcement of Confidentiality and Integrity Policies on Web Advertisements
Web publishers frequently integrate third-party advertisements into web pages that also contain sensitive publisher data and end-user personal data. This practice exposes sensitiv...
Mike Ter Louw, Karthik Thotta Ganesh, V. N. Venkat...
IFIP12
2009
15 years 4 months ago
A Hybrid Approach for Improving Prediction Coverage of Collaborative Filtering
In this paper we present a hybrid filtering algorithm that attempts to deal with low prediction Coverage, a problem especially present in sparse datasets. We focus on Item HyCoV, a...
Manolis G. Vozalis, Angelos I. Markos, Konstantino...
IRFC
2011
Springer
14 years 9 months ago
Combining Interaction and Content for Feedback-Based Ranking
The paper is concerned with the design and the evaluation of the combination of user interaction and informative content features for implicit and pseudo feedback-based document re...
Emanuele Di Buccio, Massimo Melucci, Dawei Song
FROCOS
2011
Springer
14 years 6 months ago
Automatic Proof and Disproof in Isabelle/HOL
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
Jasmin Christian Blanchette, Lukas Bulwahn, Tobias...
CIVR
2004
Springer
161views Image Analysis» more  CIVR 2004»
15 years 11 months ago
The CLEF Cross Language Image Retrieval Track (ImageCLEF) 2004
Abstract. In this paper we describe ImageCLEF1, the cross language image retrieval track of the Cross Language Evaluation Forum (CLEF3). We instigated and ran a pilot experiment in...
Paul Clough, Mark Sanderson, Henning Müller