3468 search results - page 367 / 694 » An open logical framework |
132
click to vote
CAP
2010
14 years 11 months ago
2010
How much of existing computer algebra libraries is amenable to automatic parallelization? This is a difficult topic, yet of practical importance in the era of commodity multicore ...
143
click to vote
ICIP
2000
IEEE
16 years 6 months ago
2000
IEEE
Classical morphology is built up in such a way that all operators occur in pairs, e.g., dilation and erosion, opening and closing, etc. This phenomenon, which is a straightforward...
131
click to vote
Source Code
Blocks is an open source modular MATLAB framework which allows the user to avoid needlessly repeating computation.
Blocks may be easily used for your own experiments, and comes ...
157
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
114
click to vote
CEAS
2005
Springer
15 years 10 months ago
2005
Springer
Spam filter developers are confronted with the task of integrating their ideas in user-friendly products. In this paper, we introduce Spamato as an open, extendable, and multi-fa...