1631 search results - page 8 / 327 » Observing Functional Logic Computations |
UC
2009
Springer
14 years 4 months ago
2009
Springer
We present a logical approach to the separability analysis issue for a functional quantum computation language. This logic is inspired by previous works on logical analysis of alia...
DAC
2008
ACM
13 years 11 months ago
2008
ACM
DCC
2011
IEEE
13 years 4 months ago
2011
IEEE
In this paper, we use linear approximations of the addition modulo 2n of three n-bit integers to identify linear approximations of g1, g2, the feedback functions of HC-128. This, i...
DAC
2003
ACM
14 years 10 months ago
2003
ACM
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
Learning general truths from the observation of simple domains and, further, learning how to use this knowledge are essential capabilities for any intelligent agent to understand ...