12257 search results - page 272 / 2452 » Analysis of Algorithms |
129
Voted
SIGSOFT
2004
ACM
16 years 4 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...
115
Voted
ICIP
2009
IEEE
16 years 4 months ago
2009
IEEE
In this paper, we present new results in performance analysis of super-resolution (SR) image reconstruction. We investigate bounds on the improvement in resolution that can be ach...
131
Voted
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Many algorithms on data structures such as terms (finitely branching trees) are naturally implemented by second-order recursion: A first-order procedure f passes itself as an arg...
138
Voted
IJCNN
2007
IEEE
15 years 10 months ago
2007
IEEE
— Optimal component analysis (OCA) uses a stochastic gradient optimization process to find optimal representations for general criteria and shows good performance in object reco...
122
Voted
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Semantic analysis of sport sequences requires camera calibration to obtain player and ball positions in real-world coordinates. For court sports like tennis, the marker lines on t...