1369 search results - page 173 / 274 » On the Semantics of Petri Nets |
AAAI
2004
14 years 5 days 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
13 years 10 months 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...
RE
2008
Springer
13 years 10 months 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...
BIRTHDAY
2005
Springer
14 years 4 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...
101
click to vote
POPL
2009
ACM
14 years 11 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...