9210 search results - page 1691 / 1842 » Analyzing Real-Time Systems |
SIGSOFT
2003
ACM
14 years 11 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
WWW
2008
ACM
14 years 11 months ago
2008
ACM
Geography is becoming increasingly important in web search. Search engines can often return better results to users by analyzing features such as user location or geographic terms...
WWW
2008
ACM
14 years 11 months ago
2008
ACM
In this paper, we cast the image-ranking problem into the task of identifying "authority" nodes on an inferred visual similarity graph and propose an algorithm to analyz...
WWW
2008
ACM
14 years 11 months ago
2008
ACM
Several types of queries are widely used on the World Wide Web and the expected retrieval method can vary depending on the query type. We propose a method for classifying queries ...
WWW
2008
ACM
14 years 11 months ago
2008
ACM
The term "Web 2.0" is used to describe applications that distinguish themselves from previous generations of software by a number of principles. Existing work shows that...