835 search results - page 27 / 167 » Geometric Logic in Computer Science |
MFCS
2001
Springer
14 years 1 months ago
2001
Springer
We study different computable versions of Baire’s Category Theorem in computable analysis. Similarly, as in constructive analysis, different logical forms of this theorem lead ...
GECCO
2009
Springer
14 years 3 months ago
2009
Springer
We propose a crossover operator that works with genetic programming trees and is approximately geometric crossover in the semantic space. By defining semantic as program’s eval...
ISVC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. The function of a protein is dependent on whether and how it can interact with various ligands. Therefore, an accurate prediction of protein-ligand interactions is paramo...
DLT
2009
13 years 6 months ago
2009
While a mature theory around logics such as MSO, LTL, and CTL has been developed in the pure boolean setting of finite automata, weighted automata lack such a natural connection wi...
Book
The book is an introduction to elementary computational linguistics from the point of view of logic programming.