11160 search results - page 224 / 2232 » Incompleteness in a General Setting |
173
click to vote
WEA
2010
Springer
16 years 17 days ago
2010
Springer
This paper is devoted to a study of the impact of using bound sets in biobjective optimization. This notion, introduced by Villareal and Karwan [19], has been independently revisit...
146
click to vote
TACAS
2009
Springer
16 years 16 days ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
159
click to vote
SCALESPACE
2009
Springer
16 years 9 days ago
2009
Springer
We propose a regularization method for solving ill-posed problems, under the assumption that the solutions are piecewise constant functions with unknown level sets and unknown leve...
147
Voted
RECSYS
2009
ACM
16 years 8 days ago
2009
ACM
This thesis investigates application of clustering to multi-criteria ratings as a method of improving the precision of top-N recommendations. With the advent of ecommerce sites th...
164
click to vote
CPM
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we propose new solution methods for designing tag sets for use in universal DNA arrays. First, we give integer linear programming formulations for two previous formal...