2143 search results - page 128 / 429 » corr 2010 |
CORR
2010
Springer
15 years 27 days ago
2010
Springer
We report (to our knowledge) the first evaluation of Constraint Satisfaction as a computational framework for solving closest string problems. We show that careful consideration o...
82
Voted
CORR
2010
Springer
15 years 27 days ago
2010
Springer
Given an undirected graph G and an error parameter > 0, the graph sparsification problem requires sampling edges in G and giving the sampled edges appropriate weights to obtai...
74
Voted
CORR
2010
Springer
15 years 27 days ago
2010
Springer
The dichotic method of hearing sound adapts in the region of musical harmony. The algorithm of the separation of the being dissonant voices into several separate groups is propose...
107
Voted
CORR
2010
Springer
15 years 27 days ago
2010
Springer
We refine HO/N game semantics with an additional notion of pointer (mu-pointers) and extend it to first-order classical logic with completeness results. We use a Church style exte...
CORR
2010
Springer
15 years 27 days ago
2010
Springer
With scaling of Vt sub-threshold leakage power is increasing and expected to become significant part of total power consumption.In present work three new configurations of level s...