2183 search results - page 253 / 437 » On Combining Dissimilarity Representations |
156
Voted
AAAI
2008
15 years 9 months ago
2008
This system translates basic English descriptions of a wide range of objects in a simplistic zoo environment into plausible, three-dimensional, interactive visualizations of their...
159
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...
181
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we proposed a unified strategy to combine query log and search results for query suggestion. In this way, we leverage both the users' search intentions for pop...
172
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Modern efforts on digitizing electronic books focus on preserving authentic "spatial" representation of the original sources. The new format requires new tools to help u...
188
click to vote
EMO
2006
Springer
15 years 8 months ago
2006
Springer
Multi-objective metaheuristics have previously been applied to partial classification, where the objective is to produce simple, easy to understand rules that describe subsets of a...