707 search results - page 121 / 142 » Solving path problems on the GPU |
109
click to vote
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a novel global pose estimation method to detect body parts of articulated objects in images based on non-tree graph models. There are two kinds of edges defined in the ...
WWW
2001
ACM
16 years 13 days ago
2001
ACM
This paper presents a guided tour system for the WWW. It is a module for the Webvise open hypermedia system that implements the ideas of trails and guided tours, originating from ...
188
click to vote
ICFP
2009
ACM
16 years 13 days ago
2009
ACM
Functional programming languages ought to play a central role in mathematics education for middle schools (age range: 10?14). After all, functional programming is a form of algebr...
107
click to vote
CADE
2002
Springer
16 years 2 days ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
DCC
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper proposes a framework for joint source-channel decoding of Markov sequences that are coded by a fixed-rate multiple description quantizer (MDQ), and transmitted via a lo...