1863 search results - page 317 / 373 » Automatic Collection of Related Terms from the Web |
183
Voted
SIGIR
2011
ACM
14 years 8 months ago
2011
ACM
Search engine switching is the voluntary transition between Web search engines. Engine switching can occur for a number of reasons, including user dissatisfaction with search resu...
264
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
We present DaNaLIX, a prototype domain-adaptive natural language interface for querying XML. Our system is an extension of NaLIX, a generic natural language interface for querying...
157
click to vote
CAV
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
200
click to vote
AMKM
2003
Springer
15 years 11 months ago
2003
Springer
Every time a user engaged in work reads or writes, the user spontaneously generates new information needs: to understand the text he or she is reading or to supply more substance ...
209
click to vote
PODS
2007
ACM
16 years 6 months ago
2007
ACM
IP packet streams consist of multiple interleaving IP flows. Statistical summaries of these streams, collected for different measurement periods, are used for characterization of ...