12015 search results - page 347 / 2403 » Interactive Algorithms 2005 |
137
click to vote
SAT
2005
Springer
15 years 9 months ago
2005
Springer
We tackle the problem of finding a smallest-cardinality MUS (SMUS) of a given formula. The SMUS provides a succinct explanation of infeasibility and is valuable for applications th...
102
Voted
WG
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We consider a generalization of the classical max-cut problem where two objective functions are simultaneously considered. We derive some theorems on the existence and th...
160
click to vote
WIRN
2005
Springer
15 years 9 months ago
2005
Springer
We present an algorithmic scheme for unsupervised cluster ensembles, based on randomized projections between metric spaces, by which a substantial dimensionality reduction is obtai...
226
click to vote
WSTST
2005
Springer
15 years 9 months ago
2005
Springer
Synonymy – different words with the same meaning – is a major problem for text mining systems. We have proposed asymmetric word similarities as a possible solution to this prob...
138
click to vote
IPL
2006
15 years 3 months ago
2006
This paper addresses the problem of bandwidth allocation under the weighted maximum rate constrained link sharing policy and proves a key theory in the condition of allocation ter...