Sciweavers

3348 search results - page 68 / 670
» Around and Around
Sort
View
PLILP
1993
Springer
15 years 1 months ago
An OR Parallel Prolog Model for Distributed Memory Systems
This paper shows a multisequential model to exploit OR parallelism on distributed memory systems. It presents an implementation of the incremental copy mechanism oriented to distr...
Vicente Benjumea, José M. Troya
PLILP
1994
Springer
15 years 1 months ago
clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving
We present the design and the implementation of clp(B): a boolean constraint solver inside the Constraint Logic Programming paradigm. This solver is based on local propagation meth...
Philippe Codognet, Daniel Diaz
CAIP
2007
Springer
140views Image Analysis» more  CAIP 2007»
15 years 1 months ago
Connection Geometry, Color, and Stereo
Abstract. The visual systems in primates are organized around orienith a rich set of long-range horizontal connections. We abstract this from a differential-geometric perspective, ...
Ohad Ben-Shahar, Gang Li, Steven W. Zucker
CP
2004
Springer
15 years 1 months ago
Set Variables and Local Search
Many combinatorial (optimisation) problems have natural models based on, or including, set variables and set constraints. This was already known to the constraint programming commu...
Magnus Ågren
DSD
2004
IEEE
122views Hardware» more  DSD 2004»
15 years 1 months ago
On the Packet-Switched Implementation of a Discrete-Time CNN
Cellular Neural Networks are widely used with real-time image processing's applications. Such systems can be efficiently realized using macro enriched fieldprogrammable gate-...
Suleyman Malki, Lambert Spaanenburg