1788 search results - page 137 / 358 » Model Theory for Process Algebra |
103
click to vote
PODS
2007
ACM
16 years 1 months ago
2007
ACM
We show that relational algebra calculations for incomplete databases, probabilistic databases, bag semantics and whyprovenance are particular cases of the same general algorithms...
FLAIRS
2000
15 years 2 months ago
2000
This paper describes a novel semantic framework for an agent architecture. Drawing on Shoham's work on AGENT0 (Shoham 1993), we replace Shoham's modal logic semantics wi...
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
AAAI
1994
15 years 2 months ago
1994
We analyze the amount of information needed to carry out model-based recognition tasks, in the context of a probabilistic data collection model, and independently of the recogniti...
123
click to vote
ICPR
2002
IEEE
16 years 2 months ago
2002
IEEE
A new model for the multiscale characterization of turbulence and chaotic information in digital images is presented. The model is applied to infrared satellite images for the det...