Sciweavers

4298 search results - page 265 / 860
» Computing at the top of the world
Sort
View
PERCOM
2006
ACM
16 years 6 months ago
A Reusable, Extensible Infrastructure for Augmented Field Trips
This paper describes a reusable pervasive information infrastructure developed as part of the Equator IRC, designed to allow the construction of literacy based eLearning activitie...
Mark J. Weal, Don Cruickshank, Danius T. Michaelid...
ECIR
2009
Springer
16 years 3 months ago
Using Multiple Query Aspects to Build Test Collections without Human Relevance Judgments
Abstract. Collecting relevance judgments (qrels) is an especially challenging part of building an information retrieval test collection. This paper presents a novel method for crea...
Miles Efron
TEI
2009
ACM
120views Hardware» more  TEI 2009»
16 years 1 months ago
W41K: digitally augmenting traditional game environments
Augmented game environments use unobtrusively embedded technology to augment traditional games with virtual information and novel interaction capabilities. This article establishe...
Steve Hinske, Marc Langheinrich
MCS
2009
Springer
16 years 1 months ago
Multi-class Boosting with Class Hierarchies
Abstract. We propose AdaBoost.BHC, a novel multi-class boosting algorithm. AdaBoost.BHC solves a C class problem by using C − 1 binary classifiers defined by a hierarchy that i...
Goo Jun, Joydeep Ghosh
SP
2009
IEEE
114views Security Privacy» more  SP 2009»
16 years 1 months ago
Formally Certifying the Security of Digital Signature Schemes
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
Santiago Zanella Béguelin, Gilles Barthe, B...