1598 search results - page 167 / 320 » A Unified Computation Model for Functional and Logic Program... |
153
click to vote
AAAI
1997
15 years 7 months ago
1997
In this paper, we propose a stochastic version of a general purpose functional programming language as a method of modeling stochastic processes. The language contains random choi...
184
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We study restricted computation models related to the tree evaluation problem. The TEP was introduced in earlier work as a simple candidate for the (very) long term goal of separa...
180
click to vote
ENTCS
2010
15 years 6 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
164
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. BSML is a library for parallel programming with the functional language Objective Caml. It is based on an extension of the λcalculus by parallel operations on a parallel...
179
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Machine learning techniques are increasingly being applied to problems in the domain of information retrieval and text mining. In this paper we present an application of ...