12272 search results - page 1929 / 2455 » Experimental program analysis |
174
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We study the problem of authenticating the content and creation time of documents generated by an organization and retained in archival storage. Recent regulations (e.g.,...
202
click to vote
CICLING
2009
Springer
16 years 7 months ago
2009
Springer
This paper presents a system that uses the domain name of a German business website to locate its information pages (e.g. company profile, contact page, imprint) and then identifi...
205
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
180
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
The problem of ethnicity identification from names has a variety of important applications, including biomedical research, demographic studies, and marketing. Here we report on th...
174
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
This paper explores an important and relatively unstudied quality measure of a sponsored search advertisement: bounce rate. The bounce rate of an ad can be informally defined as t...