1768 search results - page 83 / 354 » A Logic for Algebraic Effects |
124
click to vote
ENTCS
2006
15 years 22 days ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
105
Voted
JSYML
2010
14 years 11 months ago
2010
Continuous first-order logic has found interest among model theorists who wish to extend the classical analysis of “algebraic” structures (such as fields, group, and graphs) ...
111
click to vote
CRYPTO
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. One of the most basic requirements concerning Boolean functions used in cryptosystems is that they must have high algebraic degrees. This simple criterion is not always w...
115
click to vote
CISC
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. In 2002, algebraic attacks using overdefined systems of equations have been proposed as a potentially very powerful cryptanalysis technique against block ciphers. However...
106
Voted
ICML
2000
IEEE
16 years 1 months ago
2000
IEEE
Machine learning research has been very successful at producing powerful, broadlyapplicable classification learners. However, many practical learning problems do not fit the class...