6438 search results - page 287 / 1288 » A Parameterised Search System |
251
click to vote
CF
2007
ACM
15 years 11 months ago
2007
ACM
In the life sciences, genomic databases for sequence search have been growing exponentially in size. As a result, faster sequencesearch algorithms to search these databases contin...
206
click to vote
INFOCOM
2009
IEEE
16 years 2 months ago
2009
IEEE
—In order to protect privacy, Radio Frequency Identification (RFID) systems employ Privacy-Preserving Authentication (PPA) to allow valid readers to explicitly authenticate their...
197
Voted
CADE
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...
167
Voted
JASIS
2006
15 years 7 months ago
2006
Advances in search technology have meant that search systems can now offer assistance to users beyond simply retrieving a set of documents. For example, search systems are now cap...
209
Voted
ESWS
2010
Springer
16 years 7 days ago
2010
Springer
Now motivated also by the partial support of major search engines, hundreds of millions of documents are being published on the web embedding semi-structured data in RDF, RDFa and ...