1948 search results - page 5 / 390 » Formalizing Mirror Theory |
IDA
2010
Springer
13 years 6 months ago
2010
Springer
In this paper we introduce three alternative combinatorial formulations of the theory of evidence (ToE), by proving that both plausibility and commonality functions share the stru...
DATESO
2008
13 years 9 months ago
2008
Abstract. This paper gives an overview of XML formal models, summarizes database engineering practices, problems and their evolution. We focus on categorical aspects of XML formal ...
ACL
1998
13 years 8 months ago
1998
The paper investigates the problem of providing a formal device for the dependency approach to syntax, and to link it with a parsing model. After reviewing the basic tenets of the...
TYPES
2000
Springer
13 years 11 months ago
2000
Springer
We present a formalization of the halting problem in Agda, a language based on Martin-L
FOIS
2010
13 years 9 months ago
2010
In the context of developing formal theories of commonsense psychology, or how peole think they think, we have developed a formal theory of goals. In it we explicate and axiomatiz...