Sciweavers

4560 search results - page 695 / 912
» Finding Data in the Neighborhood
Sort
View
PLDI
2010
ACM
16 years 4 months ago
The Reachability-Bound Problem
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...
Sumit Gulwani, Florian Zuleger
ALT
2006
Springer
16 years 3 months ago
e-Science and the Semantic Web: A Symbiotic Relationship
e-Science is scientific investigation performed through distributed global collaborations between scientists and their resources, and the computing infrastructure that enables this...
Carole A. Goble, Óscar Corcho, Pinar Alper,...
CVPR
2010
IEEE
16 years 3 months ago
Connecting Modalities: Semi-supervised Segmentation and Annotation of Images Using Unaligned Text Corpora
We propose a semi-supervised model which segments and annotates images using very few labeled images and a large unaligned text corpus to relate image regions to text labels. Give...
Richard Socher, Li Fei-Fei
HICSS
2010
IEEE
235views Biometrics» more  HICSS 2010»
16 years 1 months ago
Knowledge Sourcing from Repositories: The Role of System Characteristics and Autonomy
Organizations invest in the development of knowledge repositories (KR) to foster knowledge reuse and integration. Yet many KR initiatives fail to meet expectations, in part becaus...
Alexandra Durcikova, Kelly J. Fadel
CHI
2010
ACM
16 years 1 months ago
Gender demographic targeting in sponsored search
In this research, we evaluate the effect of gender in analyzing the performance of sponsored search advertising. We examine a log file with data comprised of nearly 7,000,000 reco...
Bernard J. Jansen, Lauren Solomon