1195 search results - page 95 / 239 » Modeling an Algebraic Stepper |
141
click to vote
EUSFLAT
2003
15 years 7 months ago
2003
This paper regards the recurrent linguistic rule bases. These systems are considered as relational models with several relations. Such representation allows to use relation algebr...
140
click to vote
ECHT
1992
15 years 10 months ago
1992
We present a model for data organized as graphs. Regular expressions over the types of the node and edge labels are used to qualify connected subgraphs. An algebraic language base...
124
click to vote
DAGSTUHL
2007
15 years 7 months ago
2007
The problem of deciding the probability model equivalence of two PRISM programs is addressed. In the finite case this problem can be solved (albeit slowly) using techniques from a...
153
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper, we discuss a structural approach to automatic performance modelling of skeleton based applications. This uses a synthesis of performance evaluation process algebra ...
169
click to vote
CIE
2005
Springer
15 years 12 months ago
2005
Springer
We define a variant of the standard Kripke semantics for intuitionistic logic, motivated by the connection between constructive logic and the Medvedev lattice. We show that while...