2136 search results - page 244 / 428 » A Game-Theoretic Operational Semantics |
210
click to vote
CRIWG
2001
15 years 8 months ago
2001
This paper presents an approach for the integration of domain related elements and operational semantics into collaborative environments based on visual languages. This integratio...
127
click to vote
FLAIRS
2000
15 years 8 months ago
2000
The existence of large datasets requires methods for producing simpler or summarized views of data. Typical approaches to summarization based on statistics do not capture complete...
171
click to vote
IJCAI
1989
15 years 7 months ago
1989
Recent results in the foundations of probability theory indicate that a conditional probability can be viewed as a probability attached to a mathematical entity called a measure-f...
167
click to vote
CONCUR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
167
click to vote
GG
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we present meta-rules to express an infinite class of semantically related graph transformation rules in the context of pure topological modelling with G-maps. Our p...