8025 search results - page 1054 / 1605 » Combinators Introduction: An Algorithm |
185
click to vote
INFORMATICALT
2006
15 years 7 months ago
2006
The paper describes the development and performance of parallel algorithms for the discrete element method (DEM) software. Spatial domain decomposition strategy and message passing...
184
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
We propose a new graph representation for ISI channels that can be used for combined equalization and decoding by linear programming (LP) or iterative message-passing (IMP) decodi...
216
Voted
JFP
2008
15 years 7 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
184
Voted
JMM2
2008
15 years 7 months ago
2008
In this paper we introduce a novel and simple image segmentation schemes that are based on combinations of morphological and statistical operations. Mathematical morphology is very...
192
click to vote
CVIU
2007
15 years 7 months ago
2007
This article proposes a generative image model, which is called ‘‘primal sketch,’’ following Marr’s insight and terminology. This model combines two prominent classes of...