5377 search results - page 608 / 1076 » Programming Languages For Interactive Computing |
176
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
In programming language semantics, it has proved to be fruitful to analyze context-dependent notions of computation, e.g., dataflow computation and attribute grammars, using comona...
189
Voted
JMLR
2012
13 years 9 months ago
2012
We present SpeedBoost, a natural extension of functional gradient descent, for learning anytime predictors, which automatically trade computation time for predictive accuracy by s...
214
click to vote
JMLR
2012
13 years 9 months ago
2012
We develop a high dimensional nonparametric classification method named sparse additive machine (SAM), which can be viewed as a functional version of support vector machine (SVM)...
139
click to vote
CCS
2004
ACM
16 years 1 days ago
2004
ACM
WS-SecurityPolicy is a declarative configuration language for driving web services security mechanisms. We describe a formal sefor WS-SecurityPolicy, and propose a more abstract ...
163
click to vote
ICFP
2000
ACM
15 years 10 months ago
2000
ACM
Compilers for polymorphic languages can use runtime type inspection to support advanced implementation techniques such as tagless garbage collection, polymorphic marshalling, and ...