Sciweavers

2440 search results - page 330 / 488
» Explanation-Based Feature Construction
Sort
View
153
Voted
ICFP
2005
ACM
16 years 4 months ago
Simple, partial type-inference for System F based on type-containment
We explore partial type-inference for System F based on type-containment. We consider both cases of a purely functional semantics and a call-by-value stateful semantics. To enable...
Didier Rémy
ICFP
2004
ACM
16 years 4 months ago
Regular expression patterns
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 ...
Niklas Broberg, Andreas Farre, Josef Svenningsson
ICFP
2002
ACM
16 years 4 months ago
Typing dynamic typing
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...
Arthur I. Baars, S. Doaitse Swierstra
141
Voted
ICFP
2001
ACM
16 years 4 months ago
Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...
Steven E. Ganz, Amr Sabry, Walid Taha
CVPR
2005
IEEE
16 years 4 months ago
A Framework of 2D Fisher Discriminant Analysis: Application to Face Recognition with Small Number of Training Samples
A novel framework called 2D Fisher Discriminant Analysis (2D-FDA) is proposed to deal with the Small Sample Size (SSS) problem in conventional One-Dimensional Linear Discriminan...
Hui Kong, Lei Wang, Eam Khwang Teoh, Jian-Gang Wan...