Sciweavers

4880 search results - page 268 / 976
» Manuals as Structured Programs
Sort
View
IWFM
1998
134views Formal Methods» more  IWFM 1998»
15 years 5 months ago
Facilitating Modular Property-Preserving Extensions of Programming Languages
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on ...
Claus Pahl
APIN
2010
107views more  APIN 2010»
15 years 4 months ago
Extracting reduced logic programs from artificial neural networks
Artificial neural networks can be trained to perform excellently in many application areas. While they can learn from raw data to solve sophisticated recognition and analysis prob...
Jens Lehmann, Sebastian Bader, Pascal Hitzler
CORR
2008
Springer
109views Education» more  CORR 2008»
15 years 4 months ago
A Generic Top-Down Dynamic-Programming Approach to Prefix-Free Coding
Given a probability distribution over a set of n words to be transmitted, the Huffman Coding problem is to find a minimal-cost prefix free code for transmitting those words. The b...
Mordecai Golin, Xiaoming Xu, Jiajin Yu
CORR
2008
Springer
110views Education» more  CORR 2008»
15 years 4 months ago
Justifications for Logic Programs under Answer Set Semantics
The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a ...
Enrico Pontelli, Tran Cao Son, Omar El-Khatib
GPEM
2002
145views more  GPEM 2002»
15 years 4 months ago
An Analysis of the Causes of Code Growth in Genetic Programming
Abstract. This research examines the cause of code growth (bloat) in genetic programming (GP). Currently there are three hypothesized causes of code growth in GP: protection, drift...
Terence Soule, Robert B. Heckendorn