271 search results - page 39 / 55 » Observational Completeness on Abstract Interpretation |
TMI
2010
13 years 6 months ago
2010
Abstract—The use of quantitative imaging for the characterization of hepatic tumors in MRI can improve the diagnosis and therefore the treatment of these life-threatening tumors....
TVCG
2010
13 years 6 months ago
2010
—It remains challenging for information visualization novices to rapidly construct visualizations during exploratory data analysis. We conducted an exploratory laboratory study i...
SADM
2011
13 years 3 months ago
2011
Abstract: Visualizing data by graphing a response against certain factors, and conditioning on other factors, has arisen independently in many contexts. One is the interaction plot...
CASES
2007
ACM
14 years 15 days ago
2007
ACM
ABSTRACT This paper presents the first scratch-pad memory allocation scheme that requires no compiler support for interpreted-language based applications. A scratch-pad memory (SPM...
DSN
2009
IEEE
14 years 3 months ago
2009
IEEE
We consider a set of clients collaborating through an online service provider that is subject to attacks, and hence y trusted by the clients. We introduce the abstraction of a fai...