11160 search results - page 1839 / 2232 » Incompleteness in a General Setting |
189
click to vote
HT
2003
ACM
16 years 3 days ago
2003
ACM
Web sites today serve many different functions, such as corporate sites, search engines, e-stores, and so forth. As sites are created for different purposes, their structure and...
194
click to vote
PLDI
2003
ACM
16 years 3 days ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
207
click to vote
SIGIR
2003
ACM
16 years 3 days ago
2003
ACM
Libraries have traditionally used manual image annotation for indexing and then later retrieving their image collections. However, manual image annotation is an expensive and labo...
181
click to vote
SIGMETRICS
2003
ACM
16 years 3 days ago
2003
ACM
Network intrusions have been a fact of life in the Internet for many years. However, as is the case with many other types of Internet-wide phenomena, gaining insight into the glob...
183
click to vote
SOFTVIS
2003
ACM
16 years 3 days ago
2003
ACM
Analysis and design of programs by using tools has emerged to a standard technique in object-oriented software engineering. Many of these tools claim to implement methods accordin...