Sciweavers

42738 search results - page 309 / 8548
» Search Computing Systems
Sort
View
MAGS
2007
117views more  MAGS 2007»
15 years 4 months ago
Organization detection for dynamic load balancing in individual-based simulations
Large-scale individual-based simulations can benefit a lot from high performance computing environments. The benefit that can be hopped depends greatly on a good load distributi...
Cyrille Bertelle, Antoine Dutot, Fréd&eacut...
112
Voted
ACL
2009
15 years 2 months ago
Minimized Models for Unsupervised Part-of-Speech Tagging
We describe a novel method for the task of unsupervised POS tagging with a dictionary, one that uses integer programming to explicitly search for the smallest model that explains ...
Sujith Ravi, Kevin Knight
146
Voted
ACL
2012
13 years 6 months ago
Learning to Find Translations and Transliterations on the Web
In this paper, we present a new method for learning to finding translations and transliterations on the Web for a given term. The approach involves using a small set of terms and ...
Joseph Z. Chang, Jason S. Chang, Jyh-Shing Roger J...
ICMI
2009
Springer
164views Biometrics» more  ICMI 2009»
15 years 10 months ago
GaZIR: gaze-based zooming interface for image retrieval
We introduce GaZIR, a gaze-based interface for browsing and searching for images. The system computes on-line predictions of relevance of images based on implicit feedback, and wh...
László Kozma, Arto Klami, Samuel Kas...
CORR
2008
Springer
179views Education» more  CORR 2008»
15 years 4 months ago
Induction and Co-induction in Sequent Calculus
Abstract. Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent...
Alwen Tiu, Alberto Momigliano