1422 search results - page 64 / 285 » Complementation in Abstract Interpretation |
152
click to vote
ICS
1993
Tsinghua U.
15 years 8 months ago
1993
Tsinghua U.
Shared-memory provides a uniform and attractive mechanism for communication. For efficiency, it is often implemented with a layer of interpretive hardware on top of a message-pas...
133
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
JCNS
2006
15 years 4 months ago
2006
We use a mean-field macrocolumn model of the cerebral cortex to offer an interpretation of the K-complex of the electroencephalogram to complement those of more detailed neuron-by-...
DALT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. MALLET is a team-oriented agent specification and programming language. In this paper, we define an operational semantics for MALLET in terms of a transition system. Th...
102
click to vote
ECAI
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We provide a model-theoretic framework for investigating and comparing a variety of mereotopological theories with respect to (i) the intended interpretation of their con...