5100 search results - page 668 / 1020 » The Linear Complexity of a Graph |
217
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper presents a novel human detection method based on a Bayesian fusion approach using laser range data and camera images. Laser range data analysis groups data points wi...
155
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...
177
click to vote
CC
2007
Springer
16 years 26 days ago
2007
Springer
This paper presents a compiler technique that reduces the energy consumption of the memory subsystem, for an off-chip partitioned memory architecture having multiple memory banks ...
154
Voted
CPAIOR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. AND/OR search spaces are a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is its sensitivity to the struc...
178
click to vote
CRYPTO
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Secure multiparty computation allows a group of distrusting parties to jointly compute a (possibly randomized) function of their inputs. However, it is often the case tha...