9405 search results - page 1371 / 1881 » Computing a Model of Set Theory |
169
click to vote
ISPA
2005
Springer
16 years 14 days ago
2005
Springer
Identity-based (ID-based) public key cryptosystem can be a good alternative for certificate-based public key setting, especially when efficient key management and moderate securit...
193
click to vote
MLDM
2005
Springer
16 years 14 days ago
2005
Springer
In this paper we describe a new cluster model which is based on the concept of linear manifolds. The method identifies subsets of the data which are embedded in arbitrary oriented...
177
click to vote
SG
2005
Springer
16 years 13 days ago
2005
Springer
Modelling, animation and rendering has dominated research computer graphics yielding increasingly rich and realistic virtual worlds. The complexity, richness and quality of the vir...
210
click to vote
ICML
2004
IEEE
16 years 12 days ago
2004
IEEE
LASSO (Least Absolute Shrinkage and Selection Operator) is a useful tool to achieve the shrinkage and variable selection simultaneously. Since LASSO uses the L1 penalty, the optim...
144
click to vote
SAC
2004
ACM
16 years 12 days ago
2004
ACM
This work presents an object-oriented calculus based on higher-order mixin construction via mixin composition, where some software engineering requirements are modeled in a formal ...