9316 search results - page 1690 / 1864 » Analysis of traceback techniques |
201
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
285
click to vote
PODS
2009
ACM
16 years 6 months ago
2009
ACM
Database technology is playing an increasingly important role in understanding and solving large-scale and complex scientific and societal problems and phenomena, for instance, un...
168
click to vote
KDD
2008
ACM
16 years 6 months ago
2008
ACM
In some applications such as filling in a customer information form on the web, some missing values may not be explicitly represented as such, but instead appear as potentially va...
166
click to vote
KDD
2006
ACM
16 years 6 months ago
2006
ACM
Outlier detection can uncover malicious behavior in fields like intrusion detection and fraud analysis. Although there has been a significant amount of work in outlier detection, ...
175
click to vote
KDD
2004
ACM
16 years 6 months ago
2004
ACM
Merchants selling products on the Web often ask their customers to review the products that they have purchased and the associated services. As e-commerce is becoming more and mor...