Sciweavers

5456 search results - page 314 / 1092
» General Equilibrium Theory
Sort
View
ICTAI
2002
IEEE
15 years 11 months ago
Function Approximation Using Robust Wavelet Neural Networks
Wavelet neural networks (WNN) have recently attracted great interest, because of their advantages over radial basis function networks (RBFN) as they are universal approximators bu...
Sheng-Tun Li, Shu-Ching Chen
ADBIS
1997
Springer
109views Database» more  ADBIS 1997»
15 years 11 months ago
A Graphical Yet Formalized Framework for Specifying View Systems
A graphical formalized language is proposed for specifying systems of views over database schemas. The language is based on the notion of arrow (mapping) between data schemas and ...
Zinovy Diskin, Boris Cadish
ACL2
2006
ACM
15 years 10 months ago
Quantification in tail-recursive function definitions
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
Sandip Ray
NIPS
2007
15 years 8 months ago
A learning framework for nearest neighbor search
Can we leverage learning techniques to build a fast nearest-neighbor (ANN) retrieval data structure? We present a general learning framework for the NN problem in which sample que...
Lawrence Cayton, Sanjoy Dasgupta
CORR
2007
Springer
98views Education» more  CORR 2007»
15 years 6 months ago
Normalisation Control in Deep Inference Via Atomic Flows
We introduce ‘atomic flows’: they are graphs obtained from derivations by tracing atom occurrences and forgetting the logical structure. We study simple manipulations of atomi...
Alessio Guglielmi, Tom Gundersen