Abstract—Wireless sensor networks(WSNs) have been regarded as an incarnation of Ad Hoc Networks for a specific application. Since a WSN consists of potentially hundreds of low c...
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
Contextual advertising supports much of the Web's ecosystem today. User experience and revenue (shared by the site publisher ad the ad network) depend on the relevance of the...
Nowadays we enter the Web 2.0 era where people’s participation is a key principle. In this context, collective annotations enable to share and discuss readers’ feedback with r...
Guillaume Cabanac, Max Chevalier, Claude Chrisment...
The participation of the University of Hildesheim focused on the monolingual German and English and the bilingual German English tasks of GeoCLEF 2006. Based on the results of Geo...
Kerstin Bischoff, Thomas Mandl, Christa Womser-Hac...