633 search results - page 11 / 127 » Casting an Object with a Core |
145
click to vote
HPDC
2012
IEEE
13 years 2 months ago
2012
IEEE
Consider a multithreaded parallel application running inside a multicore virtual machine context that is itself hosted on a multi-socket multicore physical machine. How should the...
128
click to vote
ACL2
2006
ACM
15 years 5 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...
106
click to vote
ICMCS
2007
IEEE
15 years 6 months ago
2007
IEEE
A robust video object segmentation algorithm for complex conditions in surveillance systems is proposed in this paper. This algorithm contains an unsupervised K-Means background c...
100
click to vote
ICCS
2005
Springer
15 years 5 months ago
2005
Springer
We reconstruct pipe-shaped objects from a set of contours, each of which is extracted from an image representing a slice sampled from 3D volume data. The contours are formed by con...
CLEAR
2006
Springer
15 years 3 months ago
2006
Springer
We present an object detection and tracking algorithm that addresses the problem of multiple simultaneous targets tracking in realworld surveillance scenarios. The algorithm is bas...