4870 search results - page 970 / 974 » Challenges of component-based development |
111
click to vote
PLDI
2011
ACM
14 years 28 days ago
2011
ACM
Program analysis and verification tools crucially depend on the ability to symbolically describe and reason about sets of program behaviors. Separation logic provides a promising...
105
click to vote
PODC
2011
ACM
14 years 28 days ago
2011
ACM
Internet supercomputing is becoming an increasingly popular means for harnessing the power of a vast number of interconnected computers. This comes at a cost substantially lower t...
SIGIR
2011
ACM
14 years 27 days ago
2011
ACM
Search engine switching is the voluntary transition between Web search engines. Engine switching can occur for a number of reasons, including user dissatisfaction with search resu...
102
Voted
SIGIR
2011
ACM
14 years 27 days ago
2011
ACM
A key challenge in recommender system research is how to effectively profile new users, a problem generally known as cold-start recommendation. Recently the idea of progressivel...
SIGMOD
2011
ACM
14 years 27 days ago
2011
ACM
Multimedia similarity search has been playing a critical role in many novel applications. Typically, multimedia objects are described by high-dimensional feature vectors (or point...