4591 search results - page 510 / 919 » The Global Computer |
240
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
Much attention has been given to CONDENSATION methods for mobile robot localization. This has resulted in somewhat of a breakthrough in representing uncertainty for mobile robots....
236
click to vote
PAKDD
2000
ACM
15 years 11 months ago
2000
ACM
In clustering, global feature selection algorithms attempt to select a common feature subset that is relevant to all clusters. Consequently, they are not able to identify individu...
193
click to vote
HICSS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents scalable algorithms for recovery and page coherency in multicomputer object stores. Recovery and coherency are central to object store engineering and distribu...
184
click to vote
TABLEAUX
1995
Springer
15 years 11 months ago
1995
Springer
We present a proof method for intuitionistic logic based on Wallen’s matrix characterization. Our approach combines the connection calculus and the sequent calculus. The search t...
177
click to vote
VISSYM
2007
15 years 10 months ago
2007
This paper presents an algorithm for drawing a sequence of graphs online. The algorithm strives to maintain the global structure of the graph and thus the user's mental map, ...