615 search results - page 42 / 123 » High-Level Nondeterministic Abstractions in |
100
click to vote
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We study a process algebra which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s simple probabilistic automata. We consider...
123
click to vote
EUROGP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Genetic Programming has been slow at realizing other programming paradigms than conventional, deterministic, sequential vonNeumann type algorithms. In this contribution w...
100
click to vote
STACS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In this paper we determine some limit distributions of pattern statistics in rational stochastic models, defined by means of nondeterministic weighted finite automata. ...
109
Voted
IFL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
107
click to vote
ASIAN
1998
Springer
15 years 5 months ago
1998
Springer
call it, provides abstraction through the rewriting arrow and explicit rule application. It also embeds the notion of sets of results to deal with non-deterministic computations. F...