1940 search results - page 172 / 388 » Optimizing search engines using clickthrough data |
149
click to vote
PASTE
1998
ACM
15 years 10 months ago
1998
ACM
The task of mappingbetween source programs and machine code, once the code has been optimizedand transformed by a compiler is often di cult. Yet there are many instances, such as ...
165
click to vote
ISMIS
2003
Springer
15 years 11 months ago
2003
Springer
Owing to the development of DNA microarray technologies, it is possible to get thousands of expression levels of genes at once. If we make the effective classification system with ...
181
click to vote
VMCAI
2005
Springer
15 years 11 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
177
click to vote
EUROSYS
2010
ACM
16 years 3 months ago
2010
ACM
Data centers avoid IP Multicast because of a series of problems with the technology. We propose Dr. Multicast (MCMD), a system that maps IPMC operations to a combination of point-...
178
click to vote
SDM
2004
SIAM
15 years 7 months ago
2004
SIAM
Similarity search in database systems is becoming an increasingly important task in modern application domains such as multimedia, molecular biology, medical imaging, computer aid...