Sciweavers

11588 search results - page 133 / 2318
» Will They Like This
Sort
View
CCA
2005
Springer
14 years 3 months ago
A Lambda Calculus for Real Analysis
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...
Paul Taylor 0002
ER
2005
Springer
94views Database» more  ER 2005»
14 years 3 months ago
Topological Relationships Between Complex Lines and Complex Regions
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...
Markus Schneider, Thomas Behr
HVC
2005
Springer
94views Hardware» more  HVC 2005»
14 years 3 months ago
HaifaSat: A New Robust SAT Solver
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...
Roman Gershman, Ofer Strichman
ICANN
2005
Springer
14 years 3 months ago
The Topographic Product of Experts
- 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...
Colin Fyfe
ICCBR
2005
Springer
14 years 3 months ago
The Role of Syntactic Analysis in Textual Case Retrieval
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...
Bradford W. Mott, James C. Lester, Karl Branting