8874 search results - page 198 / 1775 » A New Implementation of Automath |
161
click to vote
SDM
2011
SIAM
14 years 7 months ago
2011
SIAM
Identifying the extremal (minimal and maximal) sets from a collection of sets is an important subproblem in the areas of data-mining and satisfiability checking. For example, ext...
155
click to vote
IACR
2011
14 years 4 months ago
2011
We describe Charm, an extensible framework designed for rapid prototyping of cryptographic systems that utilize the latest advances in cryptography, such as identity and attribute...
151
click to vote
BIRTHDAY
2012
Springer
14 years 3 days ago
2012
Springer
We propose a new countermeasure to protect block ciphers implemented in leaking devices, at the intersection between One-Time Programs and Boolean masking schemes. First, we show t...
151
click to vote
SIGCSE
2012
ACM
13 years 12 months ago
2012
ACM
We present CSTutor, a sketch-based interface designed to help students understand data structures. It currently supports Linked Lists, Binary Search Trees, AVL Trees, and Heaps, a...
174
click to vote
FROCOS
2000
Springer
15 years 8 months ago
2000
Springer
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...