845 search results - page 115 / 169 » Connecting Many-Sorted Theories |
184
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. In combinatorics, the probabilistic method is a very powerful tool to prove the existence of combinatorial objects with interesting and useful properties. Explicit constr...
178
click to vote
IJON
2008
15 years 6 months ago
2008
In this work we address the problem of boundary detection by combining ideas and approaches from biological and computational vision. Initially, we propose a simple and efficient ...
184
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
The general aim of this talk is to advocate a combinatorial perspective, together with its methods, in the investigation and study of models of computation structures. This, of cou...
177
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
173
click to vote
SPAA
2009
ACM
16 years 6 months ago
2009
ACM
Designing an overlay network for publish/subscribe communication in a system where nodes may subscribe to many different topics of interest is of fundamental importance. For scala...