Sciweavers

3 search results - page 1 / 1
» Pure, Declarative, and Constructive Arithmetic Relations (De...
Sort
View
FLOPS
2008
Springer
15 years 8 days ago
Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl)
Oleg Kiselyov, William E. Byrd, Daniel P. Friedman...
BNCOD
1997
76views Database» more  BNCOD 1997»
15 years 2 days 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
15 years 4 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 ...