3342 search results - page 242 / 669 » Automating Abstract Interpretation |
98
Voted
TVCG
2010
15 years 2 months ago
2010
—The non-data components of a visualization, such as axes and legends, can often be just as important as the data itself. They provide contextual information essential to interpr...
134
Voted
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
146
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
142
Voted
W4A
2010
ACM
15 years 1 months ago
2010
ACM
The Web accessibility discipline strives for the study and improvement of front-end Web design towards people with disabilities. Best practices such as WCAG dictate how Web pages ...
148
Voted
GIS
2010
ACM
15 years 29 days ago
2010
ACM
Mobile intention recognition is the problem of inferring a mobile user's intentions from her behavior in geographic space. Such behavior is constrained in space and time. Cur...