452 search results - page 15 / 91 » Predicative semantics of loops |
ISMVL
2010
IEEE
13 years 9 months ago
2010
IEEE
—In this paper we examine different possibilities of defining reduced products and ultraproducts in fuzzy predicate logics. We present analogues to the Łos Theorem for these no...
SG
2005
Springer
14 years 1 months ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...
LREC
2008
13 years 9 months ago
2008
In this paper we present a novel approach to the incremental incorporation of semantic information in natural language processing which does not fall victim to the notorious probl...
LCPC
2004
Springer
14 years 1 months ago
2004
Springer
POPL
2007
ACM
14 years 8 months ago
2007
ACM
There is a clear intuitive connection between the notion of leakage of information in a program and concepts from information theory. This intuition has not been satisfactorily pi...