834 search results - page 17 / 167 » A Decomposition Technique for Max-CSP |
FCSC
2008
14 years 9 months ago
2008
Abstract. We discuss the verification of mathematical software solving polynomial systems symbolically by way of triangular decomposition. Standard verification techniques are high...
TSP
2008
14 years 9 months ago
2008
In this paper, we present a powerful technique for the blind extraction of direct-sequence code-division multiple access (DS-CDMA) signals from convolutive mixtures received by an ...
102
click to vote
AAAI
2007
14 years 12 months ago
2007
We present in this paper a hybrid planning system which combines constraint satisfaction techniques and planning heuristics to produce optimal sequential plans. It integrates its ...
78
Voted
TSP
2008
14 years 9 months ago
2008
A new blind subspace-based channel estimation technique is proposed for direct-sequence code-division multiple access (DS-CDMA) systems operating in the presence of unknown wide-se...
79
Voted
MCS
2007
Springer
14 years 9 months ago
2007
Springer
We model ferromagnetic effects by using reduced scalar potential. An overlapping domain-decomposition technique is proposed to solve the underlying problem in unbounded domain. I...