1768 search results - page 56 / 354 » A Logic for Algebraic Effects |
108
Voted
CSL
2005
Springer
15 years 6 months ago
2005
Springer
We show that Csanky’s fast parallel algorithm for computing the characteristic polynomial of a matrix can be formalized in the logical theory LAP, and can be proved correct in LA...
SOCO
2002
Springer
15 years 9 days ago
2002
Springer
The study introduces a new class of fuzzy neurons and fuzzy neural networks exploiting a model of a generalized multivalued exclusive-OR (XOR) operation. The proposed neural archit...
114
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
A plausible definition of "reasoning" could be "algebraically manipulating previously acquired knowledge in order to answer a new question". This definition co...
173
Voted
SIGMOD
2006
ACM
16 years 24 days ago
2006
ACM
Consider an XML view defined over a relational database, and a user query specified over this view. This user XML query is typically processed using the following steps: (a) our t...
ICCAD
1999
IEEE
15 years 5 months ago
1999
IEEE
Algorithmic logic synthesis is usually carried out in two stages, the independent stage where logic minimization is performed on the Boolean equations with no regard to physical p...