2790 search results - page 381 / 558 » A generative theory of relevance |
166
click to vote
ICCSA
2007
Springer
16 years 20 days ago
2007
Springer
The crawler engines of today cannot reach most of the information contained in the Web. A great amount of valuable information is “hidden” behind the query forms of online data...
158
click to vote
IEAAIE
2007
Springer
16 years 20 days ago
2007
Springer
Recently, mobile devices are regarded as a content storage with their functions such as camera, camcorder, and music player. It creates massive new data and downloads contents from...
162
click to vote
RSFDGRC
2007
Springer
16 years 19 days ago
2007
Springer
Reading and literature exploration are important tasks of scientific research. However, conventional retrieval systems provide limited support for these tasks by concentrating on ...
184
click to vote
UIC
2007
Springer
16 years 19 days ago
2007
Springer
Nowadays, e-learning systems are widely used for education and training in universities and companies because of their electronic course content access and virtual classroom partic...
180
click to vote
ICCAD
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...