2701 search results - page 50 / 541 » On the form of witness terms |
125
click to vote
IMC
2010
ACM
14 years 9 months ago
2010
ACM
3G cellular data networks have recently witnessed explosive growth. In this work, we focus on UMTS, one of the most popular 3G mobile communication technologies. Our work is the f...
104
click to vote
SIGIR
2011
ACM
14 years 2 months ago
2011
ACM
Web search behaviour studies, including eye-tracking studies of search result examination, have resulted in numerous insights to improve search result quality and presentation. Ye...
CIKM
2011
Springer
13 years 11 months ago
2011
Springer
The field of information retrieval has witnessed over 50 years of research on retrieval methods for metadata descriptions and controlled indexing languages, the prototypical exam...
123
click to vote
CODASPY
2012
13 years 7 months ago
2012
Recent years have witnessed the trend of leveraging cloudbased services for large scale content storage, processing, and distribution. Security and privacy are among top concerns ...
CADE
2003
Springer
16 years 4 days ago
2003
Springer
If there exist efficient procedures (canonizers) for reducing terms of two first-order theories to canonical form, can one use them to construct such a procedure for terms of the d...