4541 search results - page 473 / 909 » Cache-Oblivious Algorithms and Data Structures |
140
click to vote
INFOCOM
2003
IEEE
15 years 10 months ago
2003
IEEE
— We propose a novel approach to reducing energy consumption in sensor networks using a distributed adaptive signal processing framework and efficient algorithm 1 . While the to...
145
click to vote
TSP
2011
15 years 1 days ago
2011
Abstract—Mapping stationary objects is essential for autonomous vehicles and many autonomous functions in vehicles. In this contribution the probability hypothesis density (PHD) ...
140
click to vote
ICML
2003
IEEE
16 years 6 months ago
2003
IEEE
Many techniques in the social sciences and graph theory deal with the problem of examining and analyzing patterns found in the underlying structure and associations of a group of ...
147
click to vote
FMCAD
2009
Springer
15 years 11 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
141
click to vote
B
2007
Springer
15 years 11 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...