2673 search results - page 218 / 535 » Guided Static Analysis |
147
Voted
CVPR
2011
IEEE
15 years 26 days ago
2011
IEEE
Human saccade is a dynamic process of information pursuit. Based on the principle of information maximization, we propose a computational model to simulate human saccadic scanpath...
218
click to vote
SIGMOD
2006
ACM
16 years 4 months ago
2006
ACM
There exist emerging applications of data streams that require association rule mining, such as network traffic monitoring and web click streams analysis. Different from data in t...
132
click to vote
WCRE
2002
IEEE
15 years 9 months ago
2002
IEEE
At MITRE we are developing tools to aid analysts in assessing the operational usability and quality of object-oriented code. Our tools statically examine source code, automaticall...
133
click to vote
CONPAR
1992
15 years 8 months ago
1992
A major feature of Computer Algebra, and more generally of non-numerical computations, is the dynamical and non-predictable behaviour of the executions. We then understand that st...
122
Voted
PARMA
2004
15 years 6 months ago
2004
The concept of pattern, meant as an interesting knowledge artifact extracted from data, is considered to be a an effective answer to the advanced analysis requirements emerging in ...