Sciweavers

4047 search results - page 201 / 810
» Some Properties and Some Problems on Set Functors
Sort
View
FOMI
2008
15 years 7 months ago
Roles: A Four-Dimensional Analysis
In ontology the underlying nature of things is sought. Thus it is that the roles things play can sometimes be neglected. Some different sorts of things that get called roles: place...
Matthew West
ICDM
2007
IEEE
148views Data Mining» more  ICDM 2007»
16 years 21 days ago
Binary Matrix Factorization with Applications
An interesting problem in Nonnegative Matrix Factorization (NMF) is to factorize the matrix X which is of some specific class, for example, binary matrix. In this paper, we exten...
Zhongyuan Zhang, Tao Li, Chris H. Q. Ding, Xiangsu...
SRDS
1996
IEEE
15 years 10 months ago
Minimizing Timestamp Size for Completely Asynchronous Optimistic Recovery with Minimal Rollback
Basing rollback recovery on optimistic message logging and replay avoids the need for synchronization between processes during failure-free execution. Some previous research has a...
Sean W. Smith, David B. Johnson
CSDA
2007
76views more  CSDA 2007»
15 years 6 months ago
Independent component analysis based on symmetrised scatter matrices
A new method for separating the mixtures of independent sources has been proposed recently in [8]. This method is based on two scatter matrices with the so called independence pro...
Sara Taskinen, S. Sirkiä, Hannu Oja
CORR
2004
Springer
107views Education» more  CORR 2004»
15 years 6 months ago
Encapsulation for Practical Simplification Procedures
ACL2 was used to prove properties of two simplification procedures. The procedures differ in complexity but solve the same programming problem that arises in the context of a reso...
Olga Shumsky Matlin, William McCune