10820 search results - page 143 / 2164 » Understanding |
99
Voted
SIGCSE
2004
ACM
15 years 9 months ago
2004
ACM
129
Voted
SIGIR
2004
ACM
15 years 9 months 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...
123
Voted
WMPI
2004
ACM
15 years 9 months 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...
150
Voted
AIMSA
2004
Springer
15 years 9 months 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 ...
121
click to vote
ATAL
2004
Springer
15 years 9 months 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...