72 search results - page 13 / 15 » Conflict Analysis in Search Algorithms for Satisfiability |
149
click to vote
CIVR
2008
Springer
15 years 5 months ago
2008
Springer
Image clustering is useful in many retrieval and classification applications. The main goal of image clustering is to partition a given dataset into salient clusters such that the...
182
Voted
SPATIALCOGNITION
2000
Springer
15 years 7 months ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...
127
click to vote
ESA
2010
Springer
15 years 5 months ago
2010
Springer
In a Content Distribution Network application, we have a set of servers and a set of clients to be connected to the servers. Often there are a few server types and a hard budget co...
165
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
Computational grids offer users a simple access to tremendous computer resources for solving large scale computing problems. Traditional performance analysis of scheduling algorit...
151
click to vote
CIKM
2011
Springer
14 years 3 months ago
2011
Springer
In this paper, we reveal a common deficiency of the current retrieval models: the component of term frequency (TF) normalization by document length is not lower-bounded properly;...