741 search results - page 84 / 149 » A Local System for Classical Logic |
ACRI
2006
Springer
14 years 1 months ago
2006
Springer
Cellular automata are discrete dynamical systems that are widely used to model natural systems. Classically they are run with perfect synchrony ; i.e., the local rule is applied to...
CDC
2009
IEEE
14 years 13 days ago
2009
IEEE
— For the optimal approximation of multivariate Gaussian densities by means of Dirac mixtures, i.e., by means of a sum of weighted Dirac distributions on a continuous domain, a n...
CORR
2002
Springer
13 years 7 months ago
2002
Springer
Anaphora resolution is envisaged in this paper as part of the reference resolution process. A general open architecture is proposed, which can be particularized and configured in ...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
Multiagent environments are often not cooperative nor collaborative; in many cases, agents have conflicting interests, leading to adversarial interactions. This paper presents a ...
DAGSTUHL
2006
13 years 9 months ago
2006
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...