1948 search results - page 80 / 390 » Formalizing Mirror Theory |
FMCAD
2006
Springer
14 years 1 months ago
2006
Springer
We formally define--at the stream transformer level--a class of synchronous circuits that tolerate any variability in the latency of their environment. We study behavioral properti...
CSL
2008
Springer
14 years 1 days ago
2008
Springer
We study the problem of proving in weak theories of Bounded Arithmetic the theorem that there are arbitrarily large prime numbers. We show that the theorem can be proved by some &...
ENTCS
2002
13 years 10 months ago
2002
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
POPL
2010
ACM
14 years 7 months ago
2010
ACM
Building semantic models that account for various kinds of indirect reference has traditionally been a difficult problem. Indirect reference can appear in many guises, such as hea...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
We introduce in this paper an agent model based on coherence theory. We give a formalization of Thagard’s theory on coherence and use it to explain the reasoning process of an in...