1369 search results - page 173 / 274 » On the Semantics of Petri Nets |
96
Voted
AAAI
2004
15 years 2 months ago
2004
WordNet::Similarity is a freely available software package that makes it possible to measure the semantic similarity or relatedness between a pair of concepts (or word senses). It...
ENTCS
2007
15 years 19 days ago
2007
We pursue the program of exposing the intrinsic mathematical structure of the “space of proofs” of a logical system [AJ94b]. We study the case of Multiplicative-Additive Linea...
104
click to vote
RE
2008
Springer
15 years 5 days ago
2008
Springer
In order to make requirements comprehensible to humans and as unambiguous as possible, a glossary and/or domain model is needed for defining the terminology used. Unless these are...
89
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
I present a formalism that combines two methodologies: objective Bayesianism and Bayesian nets. According to objective Bayesianism, an agent’s degrees of belief (i) ought to sat...
228
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Memory models define an interface between programs written in some language and their implementation, determining which behaviour the memory (and thus a program) is allowed to hav...