Sciweavers

1363 search results - page 97 / 273
» The road coloring problem
Sort
View
ICIP
1998
IEEE
15 years 4 months ago
Reduction of Blocking Artifacts in Block Transformed Compressed Color Images
In this paper we use the information in the chrominance bands to reconstruct color block transformed compressed images. For the luminance and the two chrominance channels, we de n...
Javier Mateos, Carlos Ilia Herráiz Montalvo...
FORTE
2007
15 years 1 months ago
A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets
Positive flows provide very useful informations that can be used to perform efficient analysis of a model. Although algorithms computing (a generative family of) positive flows i...
Sami Evangelista, Christophe Pajault, Jean-Fran&cc...
ANOR
2002
110views more  ANOR 2002»
14 years 11 months ago
Tabu Search with Simple Ejection Chains for Coloring Graphs
We present a Tabu Search (TS) method that employs a simple version of ejection chains for coloring graphs. The procedure is tested on a set of benchmark problems. Empirical result...
José Luis González Velarde, Manuel L...
FSTTCS
2010
Springer
14 years 9 months ago
Colored Hypergraph Isomorphism is Fixed Parameter Tractable
We describe a fixed parameter tractable (fpt) algorithm for Colored Hypergraph Isomorphism which has running time 2O(b) NO(1) , where the parameter b is the maximum size of the col...
Vikraman Arvind, Bireswar Das, Johannes Köble...
AI
2005
Springer
14 years 11 months ago
: Compiling problem specifications into SAT
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...
Marco Cadoli, Andrea Schaerf