3238 search results - page 188 / 648 » On the Computational Interpretation of Negation |
254
click to vote
Publication
The user’s behavior and his interpretation of interactions with others is influenced by his cultural background, which provides a number of heuristics or patterns of behavior and...
188
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, seve...
167
click to vote
MM
1995
ACM
15 years 10 months ago
1995
ACM
As common as video processing is, programmers still implement video programs as manipulations of arrays of pixels. This paper presents a language extension called Rivl (pronounced...
177
click to vote
WSC
2007
15 years 9 months ago
2007
In this paper we describe a technique for efficient parallelization of digital wave guide network (DWN) models based on an interpretation of the finite difference time domain (F...
147
click to vote
APLAS
2005
ACM
15 years 8 months ago
2005
ACM
This paper describes a sound technique that combines the precision em proving with the loop-invariant inference of abstract interpretation. The loop-invariant computations are invo...