4401 search results - page 199 / 881 » Computing with Default Logic |
161
click to vote
AISC
2004
Springer
15 years 9 months ago
2004
Springer
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...
143
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we consider addressable procedures with DNA strands for logic and arithmetic operations. Using a theoretical model for DNA computing, we first show a DNA represent...
128
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
While Boolean logic minimization is typically used in logic synthesis, logic minimization can be useful in numerous other applications. However, many of those applications, such a...
100
click to vote
NN
2008
Springer
15 years 4 months ago
2008
Springer
I address whether neural networks perform computations in the sense of computability theory and computer science. I explicate and defend the following theses. (1) Many neural netw...
116
click to vote
CATA
2003
15 years 5 months ago
2003
The imprecise computation model provides the ability to cope with unpredictable workloads. However, there is no consistent way on how to terminate the computation in its early sta...