212 search results - page 13 / 43 » Working with Mathematical Structures in Type Theory |
143
click to vote
SIAMCOMP
2008
15 years 3 months ago
2008
Leslie Valiant recently proposed a theory of holographic algorithms. These novel algorithms achieve exponential speed-ups for certain computational problems compared to naive algo...
144
Voted
CCS
2011
ACM
14 years 3 months ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...
132
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
The search for an expressive calculus of datatypes in which canonical algorithms can be easily written and proven correct has proved to be an enduring challenge to the theoretical ...
134
click to vote
SIBGRAPI
1999
IEEE
15 years 7 months ago
1999
IEEE
Abstract. Mathematical morphology has become a widely used technique for image processing and computer vision. Initially designed as a set theory, it was generalized to the set of ...
110
click to vote
ITP
2010
15 years 7 months ago
2010
Pitts et al introduced a beautiful theory about names and binding based on the notions of permutation and support. The engineering challenge is to smoothly adapt this theory to a t...