Sciweavers

5 search results - page 1 / 1
» Teaching strategies for reinforcing structural recursion wit...
Sort
View
OOPSLA
2007
Springer
14 years 5 months ago
Teaching strategies for reinforcing structural recursion with lists
Michael H. Goldwasser, David Letscher
SIGCSE
2000
ACM
169views Education» more  SIGCSE 2000»
14 years 3 months ago
Design patterns for lazy evaluation
We propose an object-oriented (OO) formulation and implementation of lazy/delayed evaluation by reusing and extending an existing linear recursive structure (LRS) framework with t...
Dung Zung Nguyen, Stephen B. Wong
CPAIOR
2009
Springer
14 years 5 months ago
Modelling Search Strategies in Rules2CP
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
François Fages, Julien Martin
KDD
2009
ACM
175views Data Mining» more  KDD 2009»
14 years 3 months ago
Multi-class protein fold recognition using large margin logic based divide and conquer learning
Inductive Logic Programming (ILP) systems have been successfully applied to solve complex problems in bioinformatics by viewing them as binary classification tasks. It remains an...
Huma Lodhi, Stephen Muggleton, Michael J. E. Stern...
CSCLP
2008
Springer
14 years 20 days ago
From Rules to Constraint Programs with the Rules2CP Modelling Language
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
François Fages, Julien Martin