2440 search results - page 223 / 488 » Explanation-Based Feature Construction |
145
click to vote
ICFP
2004
ACM
16 years 5 months ago
2004
ACM
It is possible to extend the basic notion of "function call" to allow functions to have multiple return points. This turns out to be a surprisingly useful mechanism. Thi...
124
click to vote
ICFP
2003
ACM
16 years 5 months ago
2003
ACM
We propose a type system MLFthat generalizes ML with first-class polymorphism as in System F. Expressions may contain secondorder type annotations. Every typable expression admits...
120
click to vote
ICFP
2002
ACM
16 years 5 months ago
2002
ACM
We present a direct implementation of the shift and reset control operators in the Scheme 48 system. The new implementation improves upon the traditional technique of simulating s...
CHI
2010
ACM
16 years 16 days ago
2010
ACM
We created a simple-to-use framework to construct gazeresponsive applications using web technology focussing on text. A plugin enables any compatible browser to interpret a new se...
154
click to vote
SAC
2010
ACM
16 years 16 days ago
2010
ACM
We introduce an extension of linear constraints, called linearrange constraints, which allows for (meta-)reasoning about the approximation width of variables. Semantics for linear...