23 search results - page 1 / 5 » Toward a Generic Mathematical Model of Abstract Game Theorie... |
TCOS
2008
13 years 4 months ago
2008
ICCV
2003
IEEE
14 years 6 months ago
2003
IEEE
In this paper, we present a mathematical theory for Marr's primal sketch. We first conduct a theoretical study of the descriptive Markov random field model and the generative...
LICS
1997
IEEE
13 years 9 months ago
1997
IEEE
We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a cohe...
DOCENG
2010
ACM
13 years 2 months ago
2010
ACM
This work addresses what we believe to be a central issue in the field of XML diff and merge computation: the mathematical modeling o-called editing deltas and the study of their ...
FM
2001
Springer
13 years 9 months ago
2001
Springer
The Irish School of Constructive Mathematics (M♣ c ), which extends the VDM, exploits an algebraic notation based upon monoids and their morphisms for the purposes of abstract mo...