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 4 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 ...
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 1 months 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