Sciweavers

3 search results - page 1 / 1
» Pure, Declarative, and Constructive Arithmetic Relations (De...
Sort
View
FLOPS
2008
Springer
13 years 6 months ago
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)
Oleg Kiselyov, William E. Byrd, Daniel P. Friedman...
BNCOD
1997
76views Database» more  BNCOD 1997»
13 years 6 months ago
Query Evaluation in CROQUE - Calculus and Algebra Coincide
With the substantial change of declarative query languages from plain SQL to the so-called \object SQLs", in particular OQL, there has surprisingly been not much change in the...
Torsten Grust, Joachim Kröger, Dieter Gluche,...
DIS
2005
Springer
13 years 10 months ago
Support Vector Inductive Logic Programming
Abstract. In this paper we explore a topic which is at the intersection of two areas of Machine Learning: namely Support Vector Machines (SVMs) and Inductive Logic Programming (ILP...
Stephen Muggleton, Huma Lodhi, Ata Amini, Michael ...