Sciweavers

6274 search results - page 402 / 1255
» Proofs, Programs, Processes
Sort
View
205
Voted
CEC
2005
IEEE
16 years 1 months ago
Linear genetic programming using a compressed genotype representation
This paper presents a modularization strategy for linear genetic programming (GP) based on a substring compression/substitution scheme. The purpose of this substitution scheme is t...
Johan Parent, Ann Nowé, Kris Steenhaut, Ann...
192
Voted
MDAI
2005
Springer
16 years 1 months ago
Language Generation for Conversational Agent by Evolution of Plan Trees with Genetic Programming
As dialogue systems are widely demanded, the research on natural language generation in dialogue has raised interest. Contrary to conventional dialogue systems that reply to the us...
Sungsoo Lim, Sung-Bae Cho
152
Voted
PPPJ
2004
ACM
16 years 29 days ago
Visualization and analysis of phased behavior in Java programs
To enable analysis and visualization of phased behavior in Java programs and to facilitate optimization development, we have implemented a freely-available, phase analysis framewo...
Priya Nagpurkar, Chandra Krintz
204
Voted
PPDP
2004
Springer
16 years 27 days ago
A semantics for tracing declarative multi-paradigm programs
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...
Bernd Brassel, Michael Hanus, Frank Huch, Germ&aac...
189
Voted
SAMOS
2004
Springer
16 years 27 days ago
A High-Level Programming Paradigm for SystemC
The SystemC language plays an increasingly important role in the system-level design domain, facilitating designers to start with modeling and simulating system components and thei...
Mark Thompson, Andy D. Pimentel