5164 search results - page 284 / 1033 » Consistency of the EKF-SLAM Algorithm |
143
click to vote
PVLDB
2010
15 years 3 months ago
2010
The identification of clusters, well-connected components in a graph, is useful in many applications from biological function prediction to social community detection. However, ...
143
Voted
PVLDB
2010
15 years 3 months ago
2010
Violations of functional dependencies (FDs) are common in practice, often arising in the context of data integration or Web data extraction. Resolving these violations is known to...
114
click to vote
SSS
2010
Springer
15 years 3 months ago
2010
Springer
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...
137
click to vote
VL
2010
IEEE
15 years 3 months ago
2010
IEEE
The principle of causation is fundamental to science and society and has remained an active topic of discourse in philosophy for over two millennia. Modern philosophers often rely...
131
click to vote
WDAG
2010
Springer
15 years 3 months ago
2010
Springer
Software transactional memory (STM) guarantees that a transaction, consisting of a sequence of operations on the memory, appears to be executed atomically. In practice, it is impor...