1403 search results - page 202 / 281 » Quantitative Interprocedural Analysis |
ISBI
2008
IEEE
14 years 9 months ago
2008
IEEE
Accurate system modeling in tomographic image reconstruction has been shown to reduce the spatial variance of resolution and improve quantitative accuracy. System modeling can be ...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
Researchers of commercial search engines often collect data using the application programming interface (API) or by "scraping" results from the web user interface (WUI),...
ESORICS
2009
Springer
14 years 9 months ago
2009
Springer
Current techniques for the formal modeling analysis of DoS attacks do not adequately deal with amplification attacks that may target a complex distributed system as a whole rather ...
CHI
2009
ACM
14 years 9 months ago
2009
ACM
This paper presents a case study of the NASA Ames Research Center HCI Group's design and development of a problem reporting system for NASA's next generation vehicle (to...
KDD
2009
ACM
14 years 9 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...