5170 search results - page 998 / 1034 » Consistency of the FastSLAM Algorithm |
71
Voted
GRID
2007
Springer
15 years 1 months ago
2007
Springer
We propose strategies to efficiently execute a query workload, which consists of multiple related queries submitted against a scientific dataset, on a distributed-memory system in...
GLOBECOM
2009
IEEE
15 years 1 months ago
2009
IEEE
A common and practical paradigm in cooperative communications is the use of a dynamically selected 'best' relay to decode and forward information from a source to a dest...
76
Voted
CAV
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...
86
Voted
ESWS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The current state of the art regarding scalable reasoning consists of programs that run on a single machine. When the amount of data is too large, or the logic is too com...
113
click to vote
CSB
2004
IEEE
15 years 1 months ago
2004
IEEE
Gene expression profiles with clinical outcome data enable monitoring of disease progression and prediction of patient survival at the molecular level. We present a new computatio...