Sciweavers

225 search results - page 23 / 45
» Folksonomy Enrichment and Search
Sort
View
BMCBI
2006
135views more  BMCBI 2006»
13 years 9 months ago
TF Target Mapper: A BLAST search tool for the identification of Transcription Factor target genes
Background: In the current era of high throughput genomics a major challenge is the genome-wide identification of target genes for specific transcription factors. Chromatin immuno...
Sebastiaan Horsman, Michael J. Moorhouse, Victor C...
CORR
2010
Springer
194views Education» more  CORR 2010»
13 years 7 months ago
A Focused Sequent Calculus Framework for Proof Search in Pure Type Systems
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
Stéphane Lengrand, Roy Dyckhoff, James McKi...
WWW
2010
ACM
14 years 4 months ago
Using landing pages for sponsored search ad selection
We explore the use of the landing page content in sponsored search ad selection. Specifically, we compare the use of the ad’s intrinsic content to augmenting the ad with the wh...
Yejin Choi, Marcus Fontoura, Evgeniy Gabrilovich, ...
ESWS
2007
Springer
14 years 4 months ago
Intelligent Search in a Collection of Video Lectures
ct In recent years, the use of streamed digital video as a teaching and learning resource has become an increasingly attractive option for many educators as an innovation which exp...
Angela Fogarolli
EKAW
2010
Springer
13 years 8 months ago
Mobile Cultural Heritage Guide: Location-Aware Semantic Search
In this paper we explore the use of location aware mobile devices for searching and browsing a large number of general and cultural heritage information repositories. Based on GPS ...
Chris J. van Aart, Bob J. Wielinga, Willem Robert ...