10820 search results - page 143 / 2164 » Understanding |
183
Voted
SIGIR
2004
ACM
16 years 11 days ago
2004
ACM
Recent research has had some success using the length of time a user displays a document in their web browser as implicit feedback for document preference. However, most studies h...
180
click to vote
WMPI
2004
ACM
16 years 11 days ago
2004
ACM
High-performance out-of-order processors spend a significant portion of their execution time on the incorrect program path even though they employ aggressive branch prediction al...
195
Voted
AIMSA
2004
Springer
16 years 11 days ago
2004
Springer
Internet content today is about 80% text-based. No matter static or dynamic, the information is encoded and presented as multilingual, unstructured natural language text pages. As ...
168
Voted
ATAL
2004
Springer
16 years 10 days ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...