17 search results - page 3 / 4 » Domain Theory and Differential Calculus (Functions of one Va... |
TACS
1994
Springer
13 years 9 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
ESOP
2001
Springer
13 years 10 months ago
2001
Springer
Abstract. We propose a new representation for the domain of Deļ¬nite Boolean functions. The key idea is to view the set of models of a Boolean function as an incidence relation be...
CPHYSICS
2006
13 years 5 months ago
2006
A new stochastic clustering algorithm is introduced that aims to locate all the local minima of a multidimensional continuous and differentiable function inside a bounded domain. ...
PPDP
2009
Springer
14 years 9 days ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
CP
2006
Springer
13 years 9 months ago
2006
Springer
We study a family of problems, called Maximum Solution, where the objective is to maximise a linear goal function over the feasible integer assignments to a set of variables subjec...