Sciweavers

1224 search results - page 41 / 245
» Concept Search
Sort
View
KDD
2008
ACM
176views Data Mining» more  KDD 2008»
14 years 10 months ago
Context-aware query suggestion by mining click-through and session data
Query suggestion plays an important role in improving the usability of search engines. Although some recently proposed methods can make meaningful query suggestions by mining quer...
Huanhuan Cao, Daxin Jiang, Jian Pei, Qi He, Zhen L...
SIGIR
2012
ACM
12 years 20 days ago
Explanatory semantic relatedness and explicit spatialization for exploratory search
Exploratory search, in which a user investigates complex concepts, is cumbersome with today’s search engines. We present a new exploratory search approach that generates interac...
Brent Hecht, Samuel Carton, Mahmood Quaderi, Johan...
CIRA
2007
IEEE
128views Robotics» more  CIRA 2007»
14 years 4 months ago
Using Heuristic Search To Find Stable High-Order Single-Bit Delta Sigma Modulators
— A heuristic search for stable high-order delta sigma modulators is presented. Searches guided by the Linear Model found stable modulators with higher SNR performance compared t...
Ståle Andreas Skogstad, Mats Erling Hø...
ESWS
2010
Springer
14 years 2 months ago
GoNTogle: A Tool for Semantic Annotation and Search
This paper presents GoNTogle, a tool which provides advanced document annotation and search facilities. GoNTogle allows users to annotate several document formats, using ontology c...
Giorgos Giannopoulos, Nikos Bikakis, Theodore Dala...
CADE
2003
Springer
14 years 10 months ago
Proof Search and Proof Check for Equational and Inductive Theorems
This paper presents on-going researches on theoretical and practical issues of combining rewriting based automated theorem proving and user-guided proof development, with the stron...
Eric Deplagne, Claude Kirchner, Hélè...