140 search results - page 13 / 28 » Some Varieties of Equational Logic |
PPCP
1993
13 years 11 months ago
1993
Use of constraint-based techniques in interactive graphics applications poses a variety of unique challenges to system implementors. This paper begins by describing how interface ...
LISP
2008
13 years 7 months ago
2008
Automatic differentiation is a semantic transformation that applies the rules of differential calculus to source code. It thus transforms a computer program that computes a mathema...
JCNS
2000
13 years 7 months ago
2000
We have developed a novel and simple mathematical model of a slow excitatory postsynaptic potential ased on an abstraction of the processes of activation, inactivation, and summati...
ATAL
2011
Springer
12 years 7 months ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
OTM
2007
Springer
14 years 1 months ago
2007
Springer
Component-based middleware frameworks that support distributed agent societies have proven to be very useful in a variety of domains. Such frameworks must include support for both ...