5090 search results - page 341 / 1018 » Constructing Strategies for Programming |
102
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
This paper introduces a novel regularization strategy to address the generalization issues for large-margin classifiers from the Empirical Risk Minimization (ERM) perspective. Fi...
153
click to vote
COORDINATION
2009
Springer
16 years 5 months ago
2009
Springer
A future is a well-known programming construct used to introduce concurrency to sequential programs. Computations annotated as futures are executed asynchronously and run concurren...
165
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
163
Voted
ICFP
2004
ACM
16 years 5 months ago
2004
ACM
A generic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of generic functions are the functions that can b...
151
click to vote
ICFP
2002
ACM
16 years 5 months ago
2002
ACM
We propose an extension of Haskell's type class system with bstractions in the type language. Type inference for our extension relies on a novel constrained unification proce...