11588 search results - page 133 / 2318 » Will They Like This |
183
click to vote
CCA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract Stone Duality is a revolutionary theory that works directly with computable continuous functions, without using set theory, infinitary lattice theory or a prior theory o...
152
click to vote
ER
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Topological relationships between spatial objects in the twodimensional space have been investigated for a long time in a number of disciplines like artificial intellige...
135
click to vote
HVC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. HaifaSat is a new SAT solver that is based on a new decision heuristic called Clause-Move-To-Front (CMTF), a new resolutionbased scoring strategy and many other improveme...
138
click to vote
ICANN
2005
Springer
15 years 11 months ago
2005
Springer
- In this paper, we show how a topographic mapping can be created from a product of experts. We learn the parameters of the mapping using gradient descent on the negative logarithm...
135
click to vote
ICCBR
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we argue that syntactic analysis is most likely to improve retrieval accuracy in textual case-based reasoning when the task of the system is well-defined and the re...