2642 search results - page 520 / 529 » Improving the quality of software quality determination proc... |
178
click to vote
GIS
2009
ACM
16 years 23 days ago
2009
ACM
Geographic information retrieval encompasses important tasks including finding the location of a user, and locations relevant to their search queries. Web-based search engines rec...
DAC
2005
ACM
16 years 20 days ago
2005
ACM
While performance specifications are verified before sign-off for a modern nanometer scale design, extensive application of optical proximity correction substantially alters the l...
WWW
2006
ACM
16 years 11 days ago
2006
ACM
We introduce the notion of query substitution, that is, generating a new query to replace a user's original search query. Our technique uses modifications based on typical su...
109
click to vote
WWW
2005
ACM
16 years 11 days ago
2005
ACM
The semantic web is expected to have an impact at least as big as that of the existing HTML based web, if not greater. However, the challenge lays in creating this semantic web an...
174
click to vote
POPL
2002
ACM
16 years 52 min 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...