3468 search results - page 367 / 694 » An open logical framework |
165
Voted
CAP
2010
15 years 1 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 ...
181
click to vote
ICIP
2000
IEEE
16 years 8 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...
181
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 ...
205
click to vote
LICS
2006
IEEE
16 years 24 days 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...
141
click to vote
CEAS
2005
Springer
16 years 10 days 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...