6438 search results - page 178 / 1288 » A Parameterised Search System |
142
click to vote
ISMIS
1993
Springer
15 years 8 months ago
1993
Springer
An approach to implementing deduction systems based on semantic tableaux is described; it works by compiling a graphical representation of a fully expanded tableaux into a program...
155
click to vote
BIOCOMP
2006
15 years 6 months ago
2006
We report on the development of a relational genomic search engine that integrates search of structured biological data and biomedical literature. After identifying an optimal prep...
150
Voted
COLING
2002
15 years 4 months ago
2002
Spoken queries are a natural medium for searching the Web in settings where typing on a keyboard is not practical. This paper describes a speech interface to the Google search eng...
149
click to vote
HT
2009
ACM
15 years 2 months ago
2009
ACM
In this paper we describe a model of social and collaborative search based on the use of tags. First we will introduce the issues that drove us to the definition of this model, an...
152
Voted
WWW
2009
ACM
16 years 5 months ago
2009
ACM
The majority of people in rural developing regions do not have access to the World Wide Web. Traditional network connectivity technologies have proven to be prohibitively expensiv...