1880 search results - page 68 / 376 » A Static Analysis for Beta-Binders |
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
This paper presents a novel study and analysis on two important problems in gait recognition: one is how to perform gait recognition with only segment of a complete gait cycle for...
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
Chimera1 uses a new hybrid program analysis to provide deterministic replay for commodity multiprocessor systems. Chimera leverages the insight that it is easy to provide determin...
106
click to vote
ESSOS
2010
Springer
15 years 8 months ago
2010
Springer
Static security analysis of software has made great progress over the last years. In particular, this applies to the detection of lowlevel security bugs such as buffer overflows,...
119
click to vote
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
— In this paper we present a new system for a mobile robot to generate an articulated scene model by analyzing complex dynamic 3D scenes. The system extracts essential knowledge ...
135
click to vote
ECOOP
2012
Springer
13 years 2 months ago
2012
Springer
R is a dynamic language for statistical computing that combines lazy functional features and object-oriented programming. This rather unlikely linguistic cocktail would probably ne...