Sciweavers

4131 search results - page 328 / 827
» Compactness in Topology and Computation
Sort
View
LICS
1997
IEEE
15 years 11 months ago
Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras
The partial real line is the continuous domain of compact real intervals ordered by reverse inclusion. The idea is that singleton intervals represent total real numbers, and that ...
Martín Hötzel Escardó, Thomas S...
ECP
1997
Springer
130views Robotics» more  ECP 1997»
15 years 11 months ago
Encoding Planning Problems in Nonmonotonic Logic Programs
We present a framework for encoding planning problems in logic programs with negation as failure, having computational e ciency as our major consideration. In order to accomplish o...
Yannis Dimopoulos, Bernhard Nebel, Jana Koehler
ICIAR
2010
Springer
15 years 10 months ago
A Geometric Data Structure Applicable to Image Mining and Retrieval
Abstract. Due to improvements in image acquisition and storage technology, terabyte-sized databases of images are nowadays common. This abundance of data leads us to two basic prob...
T. Iwaszko, Mahmoud Melkemi, Lhassane Idoumghar
ICASSP
2009
IEEE
15 years 10 months ago
Cepstral modulation ratio regression (CMRARE) parameters for audio signal analysis and classification
In this paper we propose a new set of parameters for audio signal analysis and classification. These parameters are regressions computed on the normalized modulation spectrum of h...
Rainer Martin, Anil Nagathil
KDD
1995
ACM
106views Data Mining» more  KDD 1995»
15 years 10 months ago
Structured and Unstructured Induction with EDAGs
One objective of knowledge acquisition using inductive modeling has been the development of correct and effectively computable descriptions that can also be assimilated and used b...
Brian R. Gaines