1598 search results - page 227 / 320 » A Unified Computation Model for Functional and Logic Program... |
133
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...
158
click to vote
IWAN
2000
Springer
15 years 10 months ago
2000
Springer
Policy-based networks can be customized by users by injecting programs called policies into the network nodes. So if general-purpose functions can be specified in a policy-based ne...
175
click to vote
EUROPAR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Algorithmic Skeletons offer high-level abstractions for parallel programming based on recurrent parallelism patterns. Patterns can be combined and nested into more comple...
163
click to vote
CORR
2010
Springer
15 years 3 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...
202
click to vote
JMLR
2012
13 years 8 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)...