1880 search results - page 217 / 376 » A Static Analysis for Beta-Binders |
137
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
In this paper, we propose a video-based full-body gesture recognition system independent of the view angle of the cameras. We performed multilinear analysis on the silhouette imag...
161
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
We present a methodology for generating black-box timing models for full-custom transistor-level CMOS circuits. Our approach utilizes transistor-level ternary symbolic timing simu...
177
click to vote
ICDE
2010
IEEE
16 years 1 months ago
2010
IEEE
— We present a tool for the static analysis of XPath queries and XML Schemas. The tool introduces techniques used in the field of verification (such as binary decision diagrams...
158
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper studies the problem of securing information release in dynamic languages. We propose (i) an intuitive framework for information-release policies expressing both what ca...
159
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
The proposed research defines data fusion approaches to support software maintenance tasks at the feature level. Static, dynamic, and textual sources of information are combined t...