1403 search results - page 129 / 281 » Quantitative Interprocedural Analysis |
HCI
2009
13 years 8 months ago
2009
This work outlines the design process of a user centered learning object repository. A repository should foster the development and acquisition of both generic and specific informa...
BIOINFORMATICS
2011
13 years 2 months ago
2011
Summary: We developed a Python package, ProDy, for structurebased analysis of protein dynamics. ProDy allows for quantitative characterization of structural variations in heteroge...
ICCV
2011
IEEE
12 years 10 months ago
2011
IEEE
Many image retargeting algorithms, despite aesthetically carving images smaller, pay limited attention to image browsing tasks where tiny thumbnails are presented. When applying t...
SIMUTOOLS
2008
13 years 11 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
MICCAI
2005
Springer
14 years 11 months ago
2005
Springer
We propose a novel method for quantitative interpretation of uncalibrated optical images which is derived explicitly from an analysis of the image formation model. Parameters chara...