2620 search results - page 480 / 524 » Qualities in Possible Worlds |
WWW
2004
ACM
16 years 15 days ago
2004
ACM
When searching large hypertext document collections, it is often possible that there are too many results available for ambiguous queries. Query refinement is an interactive proce...
109
click to vote
KDD
2007
ACM
16 years 7 days ago
2007
ACM
Given a water distribution network, where should we place sensors to quickly detect contaminants? Or, which blogs should we read to avoid missing important stories? These seemingl...
VLSID
2001
IEEE
16 years 6 days ago
2001
IEEE
Networking hardware manufacturers face the dual demands of supporting ever increasing bandwidth requirements, while also delivering new features, such as the ability to implement ...
113
click to vote
HPCA
2008
IEEE
16 years 5 days ago
2008
IEEE
Cache partitioning and sharing is critical to the effective utilization of multicore processors. However, almost all existing studies have been evaluated by simulation that often ...
176
click to vote
POPL
2002
ACM
16 years 4 days ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...