4370 search results - page 64 / 874 » Algebra of Logic Programming |
JLP
2007
2007
Universality and semicomputability for nondeterministic programming languages over abstract algebras
13 years 10 months ago
tract Algebras Wei Jiang∗ , Yuan Wang† , and Jeffery Zucker‡ September 11, 2006 The Universal Function Theorem (UFT) originated in 1930s with the work of Alan Turing, who p...
ICML
2000
IEEE
14 years 10 months ago
2000
IEEE
Machine learning research has been very successful at producing powerful, broadlyapplicable classification learners. However, many practical learning problems do not fit the class...
CORR
1999
Springer
13 years 9 months ago
1999
Springer
The abstract mathematical theory of partial differential equations (PDEs) is formulated in terms of manifolds,scalar fields, tensors, and the like, but these algebraic structures a...
WISE
2002
Springer
14 years 2 months ago
2002
Springer
We propose a new approach for the efficient evaluation of XPath expressions. This is important, since XPath is not only used as a simple, stand-alone query language, but is also ...
SCP
2008
13 years 10 months ago
2008
This paper shows that program algebra (PGA) [8] offers a mathematical and systematic framework for reasoning about correctness and equivalence of algorithms and transformation rul...