3616 search results - page 419 / 724 » Conditional Memory Ordering |
145
click to vote
TIP
2008
15 years 3 months ago
2008
In this paper, we exploit a recently introduced coding algorithm called multidimensional multiscale parser (MMP) as an alternative to the traditional transform quantization-based m...
141
click to vote
VSTTE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
155
click to vote
BMVC
2010
15 years 1 months ago
2010
We investigate the task of 2D articulated human pose estimation in unconstrained still images. This is extremely challenging because of variation in pose, anatomy, clothing, and i...
137
click to vote
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
This paper describes a project that aims at showing that propositional proofs of certain tautologies in weak proof system give upper bounds on the computational complexity of func...
142
click to vote
GLOBECOM
2010
IEEE
15 years 1 months ago
2010
IEEE
In network tomography, we seek to infer link status parameters (such as delay) inside a network through end-toend probe sending between (external) boundary nodes. The main challeng...