Sciweavers

5404 search results - page 667 / 1081
» Global Computing for Bioinformatics
Sort
View
PAKDD
2000
ACM
124views Data Mining» more  PAKDD 2000»
15 years 10 months ago
Feature Selection for Clustering
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...
Manoranjan Dash, Huan Liu
HICSS
1997
IEEE
98views Biometrics» more  HICSS 1997»
15 years 10 months ago
Recovery and Page Coherency for a Scalable Multicomputer Object Store
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...
Stephen M. Blackburn, Robin B. Stanton, Stephan J....
VR
2000
IEEE
114views Virtual Reality» more  VR 2000»
15 years 10 months ago
Virtual Fekete Point Configurations: A Case Study in Perturbing Complex Systems
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...
Robert van Liere, Jurriaan D. Mulder, Jason Frank,...
TABLEAUX
1995
Springer
15 years 10 months ago
A Connection Based Proof Method for Intuitionistic Logic
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...
Jens Otten
ACIIDS
2010
IEEE
171views Database» more  ACIIDS 2010»
15 years 9 months ago
Evolving Concurrent Petri Net Models of Epistasis
Abstract. A genetic algorithm is used to learn a non-deterministic Petri netbased model of non-linear gene interactions, or statistical epistasis. Petri nets are computational mode...
Michael Mayo, Lorenzo Beretta