881 search results - page 31 / 177 » Extracting Appraisal Expressions |
CSL
2007
Springer
14 years 4 months ago
2007
Springer
We show how to extract classical programs expressed in Krivine λc-calculus from proof-terms built in a proof-irrelevant and classical version of the calculus of constructions with...
DATE
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper presents a new technique for automatically creating analog circuit models. The method extracts - from trained neural networks - piecewise linear models expressing the l...
COLING
2008
13 years 11 months ago
2008
We report on the large-scale acquisition of class attributes with and without the use of lists of representative instances, as well as the discovery of unary attributes, such as t...
ICIP
2006
IEEE
14 years 11 months ago
2006
IEEE
In this paper, facial expression is coded by steerable filters which are rotated very efficiently by taking a suitable linear combination of basis filters. Local features extracte...
ICFP
2004
ACM
14 years 10 months ago
2004
ACM
We extend Haskell with regular expression patterns. Regular expression patterns provide means for matching and extracting data which goes well beyond ordinary pattern matching as ...