Sciweavers

2398 search results - page 68 / 480
» Constraint Programming and Graph Algorithms
Sort
View
MICRO
2012
IEEE
285views Hardware» more  MICRO 2012»
13 years 7 months ago
Automatic Extraction of Coarse-Grained Data-Flow Threads from Imperative Programs
This article presents a general algorithm for transforming sequential imperative programs into parallel data-flow programs. Our algorithm operates on a program dependence graph i...
Feng Li, Antoniu Pop, Albert Cohen
CORR
2006
Springer
149views Education» more  CORR 2006»
15 years 4 months ago
Synonym search in Wikipedia: Synarcher
The program Synarcher for synonym (and related terms) search in the text corpus of special structure (Wikipedia) was developed. The results of the search are presented in the form...
Andrew Krizhanovsky
149
Voted
ICMCS
2005
IEEE
136views Multimedia» more  ICMCS 2005»
15 years 10 months ago
Soft Region Correspondence Estimation for Graph-Theoretic Image Retrieval Using Quadratic Programming Approach
This paper proposes employing a graph-theoretic approach to estimate the region correspondence between two images. We represent each image as an attributed undirected graph and tr...
Chuech-Yu Li, Chiou-Ting Hsu
AAAI
2010
15 years 6 months ago
Propagating Conjunctions of AllDifferent Constraints
We study propagation algorithms for the conjunction of two ALLDIFFERENT constraints. Solutions of an ALLDIFFERENT constraint can be seen as perfect matchings on the variable/value...
Christian Bessiere, George Katsirelos, Nina Narody...
ICALP
1995
Springer
15 years 8 months ago
Intervalizing k-Colored Graphs
The problem to determine whether a given k-colored graph is a subgraph of a properly colored interval graph has an application in DNA physical mapping. In this paper, we study the...
Hans L. Bodlaender, Babette de Fluiter