1948 search results - page 131 / 390 » Formalizing Mirror Theory |
149
Voted
GEOINFORMATICA
1998
15 years 5 months ago
1998
An important component of spatial data quality is the imprecision resulting from the resolution at which data are represented. Current research on topics such as spatial data inte...
157
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Together with the concept of reversibility, another relevant physical notion is time-symmetry, which expresses that there is no way of distinguishing between backward and forward t...
174
click to vote
LATA
2009
Springer
16 years 11 days ago
2009
Springer
This tutorial will present an overview of the use of Monadic Second-Order Logic to describe sets of finite graphs and graph transformations, in relation with the notions of tree-w...
183
click to vote
TPHOL
2008
IEEE
15 years 12 months ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
177
click to vote
JOLLI
2010
15 years 4 months ago
2010
After a quick overview of the field of study known as “Lexical Semantics”, where we advocate the need of accessing additional information besides syntax and Montaguestyle sema...