Sciweavers

2673 search results - page 114 / 535
» Guided Static Analysis
Sort
View
ICWSM
2009
15 years 1 months ago
Analysis of Social Influence in Online Book Reviews
It has been widely recognized that online opinions constitute important informational sources for consumers and producers. The open nature of communication supported by social med...
Patty Sakunkoo, Nathan Sakunkoo
SMI
1999
IEEE
15 years 8 months ago
Skeletal Methods of Shape Manipulation
The geometric skeleton is derived from a static object using an implicit `directions' method; an IK skeleton is derived from and used to manipulate the geometric skeleton. Th...
Jules Bloomenthal, Chek T. Lim
ALP
1994
Springer
15 years 8 months ago
A Logic for Variable Aliasing in Logic Programs
This paper introduces a logic for a class of properties - in particular variable aliasing - used in static analysis of logic programs. The logic is shown to be sound, complete and ...
Elena Marchiori
SODA
2010
ACM
171views Algorithms» more  SODA 2010»
15 years 1 months ago
Differential Privacy in New Settings
Differential privacy is a recent notion of privacy tailored to the problem of statistical disclosure control: how to release statistical information about a set of people without ...
Cynthia Dwork
ECLIPSE
2006
ACM
15 years 10 months ago
Generating run-time progress reports for a points-to analysis in Eclipse
Eclipse plug-ins have access to a rich collection of GUI components. One such component is the progress bar, which allows a long-running task to provide Eclipse users with feedbac...
Jason Sawin, Mariana Sharp, Atanas Rountev