3688 search results - page 100 / 738 » Static analysis of aspects |
PAAPP
2002
14 years 11 months ago
2002
We demonstrate that the run time of implicitly parallel programs can be statically predicted with considerable accuracy when expressed within the constraints of a skeletal, shapel...
ECOOP
2005
Springer
15 years 5 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 ...
ICDAR
2003
IEEE
15 years 5 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...
116
click to vote
ICIAR
2009
Springer
14 years 9 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...
112
click to vote
ESORICS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...