1127 search results - page 208 / 226 » Theory Extension in ACL2(r) |
124
Voted
PR
2008
15 years 16 days ago
2008
Clustering algorithms are a useful tool to explore data structures and have been employed in many disciplines. The focus of this paper is the partitioning clustering problem with ...
113
Voted
PC
2006
15 years 15 days ago
2006
Trees are important datatypes that are often used in representing structured data such as XML. Though trees are widely used in sequential programming, it is hard to write efficien...
97
Voted
SLOGICA
2008
15 years 15 days ago
2008
In the paper we explore the idea of describing Pawlak's rough sets using three-valued logic, whereby the value t corresponds to the positive region of a set, the value f -- to...
TCS
2008
15 years 15 days ago
2008
Studying the learnability of classes of recursive functions has attracted considerable interest for at least four decades. Starting with Gold's (1967) model of learning in th...
124
Voted
TNN
2008
15 years 14 days ago
2008
Abstract--High-dimensional data are common in many domains, and dimensionality reduction is the key to cope with the curse-of-dimensionality. Linear discriminant analysis (LDA) is ...