352 search results - page 11 / 71 » Evaluating the imprecision of static analysis |
116
click to vote
ECOOP
2005
Springer
15 years 7 months ago
2005
Springer
Library writers wish to provide a guarantee not only that each procedure in the library performs correctly in isolation, but also that the procedures perform correctly when run in ...
115
Voted
ICDAR
2003
IEEE
15 years 7 months ago
2003
IEEE
It is generally agreed that an on-line recognition system is always reliable than an off-line one. It is due to the availability of the dynamic information, especially the writing...
138
click to vote
ICIAR
2009
Springer
14 years 11 months ago
2009
Springer
In this paper an approach to recover the 3D human body pose from static images is proposed. We adopt a discriminative learning technique to directly infer the 3D pose from appearan...
192
click to vote
POPL
2003
ACM
16 years 2 months ago
2003
ACM
We show how to efficiently obtain linear a priori bounds on the heap space consumption of first-order functional programs. The analysis takes space reuse by explicit deallocation ...
141
click to vote
EDBT
2010
ACM
15 years 8 months ago
2010
ACM
Information networks are ubiquitous in many applications and analysis on such networks has attracted significant attention in the academic communities. One of the most important ...