4866 search results - page 557 / 974 » UML for Global Computing |
213
click to vote
ICRA
2000
IEEE
15 years 10 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....
214
click to vote
PAKDD
2000
ACM
15 years 10 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...
172
click to vote
HICSS
1997
IEEE
15 years 10 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...
189
click to vote
VR
2000
IEEE
15 years 10 months ago
2000
IEEE
Virtual environments have shown great promise as a research tool in science and engineering. In this paper we study a classical problem in mathematics: that of approximating globa...
170
Voted
TABLEAUX
1995
Springer
15 years 10 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...