3238 search results - page 517 / 648 » Not Enough Points Is Enough |
WSDM
2009
ACM
14 years 5 months ago
2009
ACM
Personalized Web search takes advantage of information about an individual to identify the most relevant results for that person. A challenge for personalization lies in collectin...
CADE
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. The problem of computing Craig interpolants in SMT has recently received a lot of interest, mainly for its applications in formal verification. Efficient algorithms for ...
CCS
2009
ACM
14 years 5 months ago
2009
ACM
Open source software is often considered to be secure. One factor in this confidence in the security of open source software lies in leveraging large developer communities to find...
FPGA
2009
ACM
14 years 5 months ago
2009
ACM
Modern Field Programmable Gate Arrays (FPGAs) are capable of performing complex discrete signal processing algorithms with clock rates above 100MHz. This combined with FPGA’s lo...
CLUSTER
2009
IEEE
14 years 5 months ago
2009
IEEE
—Server consolidation based on virtualization technology will simplify system administration, reduce the cost of power and physical infrastructure, and improve utilization in tod...