Sciweavers

2263 search results - page 35 / 453
» The Use of Functional and Logic Languages in Machine Learnin...
Sort
View
ANNS
2007
15 years 2 months ago
Direct and indirect classification of high-frequency LNA performance using machine learning techniques
The task of determining low noise amplifier (LNA) high-frequency performance in functional testing is as challenging as designing the circuit itself due to the difficulties associa...
Peter C. Hung, Seán F. McLoone, Magdalena S...
ICFP
2005
ACM
16 years 1 months ago
A logical analysis of aliasing in imperative higher-order functions
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...
Martin Berger, Kohei Honda, Nobuko Yoshida
NJC
2000
169views more  NJC 2000»
15 years 1 months ago
A Type System for Bounded Space and Functional In-Place Update
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
Martin Hofmann
LREC
2010
157views Education» more  LREC 2010»
15 years 2 months ago
Is Sentiment a Property of Synsets? Evaluating Resources for Sentiment Classification using Machine Learning
Existing approaches to classifying documents by sentiment include machine learning with features created from n-grams and part of speech. This paper explores a different approach ...
Aleksander Wawer
FOCI
2007
IEEE
15 years 7 months ago
Almost All Learning Machines are Singular
— A learning machine is called singular if its Fisher information matrix is singular. Almost all learning machines used in information processing are singular, for example, layer...
Sumio Watanabe