Sciweavers

3136 search results - page 247 / 628
» Genetic programming theory
Sort
View
141
Voted
KDD
2008
ACM
146views Data Mining» more  KDD 2008»
16 years 6 months ago
Constraint programming for itemset mining
The relationship between constraint-based mining and constraint programming is explored by showing how the typical constraints used in pattern mining can be formulated for use in ...
Luc De Raedt, Tias Guns, Siegfried Nijssen
SIGCSE
2010
ACM
166views Education» more  SIGCSE 2010»
16 years 19 days ago
Braided teaching in secondary CS education: contexts, continuity, and the role of programming
In this paper, we propose a new approach to thinking about and implementing Computer Science curricula in secondary education. The characteristic feature is to organize the items ...
Arno Pasternak, Jan Vahrenhold
MPC
2004
Springer
123views Mathematics» more  MPC 2004»
15 years 11 months ago
Constructing Polymorphic Programs with Quotient Types
The efficient representation and manipulation of data is one of the fundamental tasks in the construction of large software systems. Parametric polymorphism has been one of the mo...
Michael Abbott, Thorsten Altenkirch, Neil Ghani, C...
ARC
2008
Springer
85views Hardware» more  ARC 2008»
15 years 5 months ago
Dynamic programming for impulse controls
: This paper describes the theory of feedback control in the class inputs which allow delta-functions and their derivatives. It indicates a modification of dynamic programming tech...
Alexander B. Kurzhanski, Alexander N. Daryin
ENTCS
2002
129views more  ENTCS 2002»
15 years 5 months ago
Eliminating Proofs from Programs
This paper presents a step in the development of an operational approach to program extraction in type theory. In order to get a program from a lambda term, the logical parts need...
Femke van Raamsdonk, Paula Severi