Sciweavers

3646 search results - page 248 / 730
» Voice search for development
Sort
View
CADE
2007
Springer
16 years 7 months ago
Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4
We present a multi-context focused sequent calculus whose derivations are in bijective correspondence with normal natural deductions in the propositional fragment of the intuitioni...
Samuli Heilala, Brigitte Pientka
ECIR
2009
Springer
16 years 3 months ago
Classifying and Characterizing Query Intent
Understanding the intent underlying user queries may help personalize search results and improve user satisfaction. In this paper, we develop a methodology for using ad clickthroug...
Azin Ashkan, Charles L. A. Clarke, Eugene Agichtei...
ICMCS
2008
IEEE
186views Multimedia» more  ICMCS 2008»
16 years 1 months ago
Dissimilarity measures for content-based image retrieval
Dissimilarity measurement plays a crucial role in contentbased image retrieval. In this paper, sixteen core dissimilarity measures are introduced and evaluated. We carry out a sys...
Rui Hu, Stefan M. Rüger, Dawei Song, Haiming ...
163
Voted
ICALT
2007
IEEE
16 years 1 months ago
SWAPS: Semantic Web Approach for Personalisation of Study
The vision of a common international education space includes a scenario for the composition of personalised study curricula consisting of modules offered by different universitie...
German Nemirovskij, Michael Thomas Egner, Eberhard...
ECTEL
2007
Springer
16 years 26 days ago
Relevance Ranking Metrics for Learning Objects
— The main objetive of this paper is to improve the current status of learning object search. First, the current situation is analyzed and a theretical solution, based on relevan...
Xavier Ochoa, Erik Duval