Sciweavers

14704 search results - page 2590 / 2941
» computing 2007
Sort
View
COST
2007
Springer
118views Multimedia» more  COST 2007»
15 years 11 months ago
The Organization of a Neurocomputational Control Model for Articulatory Speech Synthesis
The organization of a computational control model of articulatory speech synthesis is outlined in this paper. The model is based on general principles of neurophysiology and cognit...
Bernd J. Kröger, Anja Lowit, Ralph Schnitker
CP
2007
Springer
15 years 11 months ago
Breaking Value Symmetry
Symmetry is an important factor in solving many constraint satisfaction problems. One common type of symmetry is when we have symmetric values. We can eliminate such value symmetr...
Toby Walsh
CP
2007
Springer
15 years 11 months ago
Constructive Interval Disjunction
Shaving and constructive disjunction are two main refutation principles used in constraint programming. The shaving principle allows us to compute the singleton arc-consistency (SA...
Gilles Trombettoni, Gilles Chabert
CP
2007
Springer
15 years 11 months ago
Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance
It has recently been shown, for the Constraint Satisfaction Problem (CSP), that the state associated with a node of the search tree built by a backtracking algorithm can be exploit...
Christophe Lecoutre, Lakhdar Sais, Sébastie...
CPAIOR
2007
Springer
15 years 11 months ago
On Boolean Functions Encodable as a Single Linear Pseudo-Boolean Constraint
A linear pseudo-Boolean constraint (LPB) is an expression of the form a1 · 1 + . . . + am · m ≥ d, where each i is a literal (it assumes the value 1 or 0 depending on whether a...
Jan-Georg Smaus
« Prev « First page 2590 / 2941 Last » Next »