13841 search results - page 2331 / 2769 » Algorithms and Constraint Programming |
154
click to vote
IISWC
2009
IEEE
16 years 24 days ago
2009
IEEE
Abstract—Dynamic runtimes can simplify parallel programming by automatically managing concurrency and locality without further burdening the programmer. Nevertheless, implementin...
208
click to vote
INTENSIVE
2009
IEEE
16 years 24 days ago
2009
IEEE
In this paper an optimized k-means implementation on the graphics processing unit (GPU) is presented. NVIDIA’s Compute Unified Device Architecture (CUDA), available from the G8...
213
click to vote
ISPAN
2009
IEEE
16 years 23 days ago
2009
IEEE
—This paper presents a novel application of the GPU processing power to a very computationally demanding articulated human body tracking problem in a view-based approach. This wo...
168
Voted
WIA
2009
Springer
16 years 22 days ago
2009
Springer
FAdo is an ongoing project which aims to provide a set of tools for symbolic manipulation of formal languages. To allow highlevel programming with complex data structures, easy pro...
160
click to vote
CIE
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. We prove a uniformly computable version of de Finetti’s theorem on exchangeable sequences of real random variables. In the process, we develop machinery for computably ...