3044 search results - page 128 / 609 » Linear logical approximations |
ICASSP
2011
IEEE
13 years 22 days ago
2011
IEEE
This paper presents a method for mitigating the impact of reverberation upon speaker identification. In particular, two reverberation mitigation techniques were studied: one that ...
IWANN
2009
Springer
14 years 3 months ago
2009
Springer
We survey on the theoretical and practical developments of the theory of fuzzy logic and soft computing. Specifically, we briefly review the history and main milestones of fuzzy ...
RSCTC
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Many learning methods ignore domain knowledge in synthesis of concept approximation. We propose to use hierarchical schemes for learning approximations of complex concept...
CADE
2001
Springer
14 years 1 months ago
2001
Springer
The dependency pair method of Arts and Giesl is the most powerful technique for proving termination of term rewrite systems automatically. We show that the method can be improved b...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
Recently there has been a growing interest of research in tabling in the logic programming community because of its usefulness in a variety of application domains including progra...