8874 search results - page 253 / 1775 » A New Implementation of Automath |
133
click to vote
ICNC
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we propose a new machine learning approach based on AFS (Axiomatic Fuzzy Sets) fuzzy logic, in attempt to provide a better model with interpretability. First, we wil...
158
click to vote
GD
2003
Springer
15 years 10 months ago
2003
Springer
We address the new problem of puzzle layout as a new application of awing. We present two abstract models of puzzles, permutation puzzles and cyclic puzzles, which can be modeled a...
117
click to vote
VLDB
2001
ACM
15 years 9 months ago
2001
ACM
This paper describes the new architecture for supporting the Teradata commercial VLDB on several new operating environments. We start with an overview of the Teradata database sof...
129
click to vote
ISCAS
1994
IEEE
15 years 8 months ago
1994
IEEE
In this paper a new type of maximally decimated FIR cosine modulated filter banks is proposed. Each analysis and synthesis filter in this filter bank has linear phase. We can desig...
115
click to vote
ECIS
2004
15 years 6 months ago
2004
E-learning is a new strategic arena for higher education, and higher education institutions (HEIs) need to acquire the necessary competencies and capabilities to participate. Thes...