Sciweavers

7892 search results - page 254 / 1579
» Programming with Models
Sort
View
ECOOP
2008
Springer
15 years 3 months ago
Extensible Universes for Object-Oriented Data Models
Abstract We present a datatype package that enables the shallow embedding technique to object-oriented specification and programming languages. This datatype package incrementally ...
Achim D. Brucker, Burkhart Wolff
APIN
1998
98views more  APIN 1998»
15 years 1 months ago
The Evolution of Concurrent Programs
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
Brian J. Ross
CPAIOR
2005
Springer
15 years 7 months ago
Formulations and Reformulations in Integer Programming
Creating good integer programming formulations had, as a basic axiom, the rule “Find formulations with tighter linear relaxations”. This rule, while useful when using unsophist...
Michael A. Trick
GECCO
1999
Springer
15 years 6 months ago
Challenges with Verification, Repeatability, and Meaningful Comparison in Genetic Programming: Gibson's Magic
This paper examines some of the reporting and research practices concerning empirical work in genetic programming. We describe several common loopholes and offer three case studie...
Jason M. Daida, Derrick S. Ampy, Michael Ratanasav...
ICMLA
2007
15 years 3 months ago
Maximum Likelihood Quantization of Genomic Features Using Dynamic Programming
Dynamic programming is introduced to quantize a continuous random variable into a discrete random variable. Quantization is often useful before statistical analysis or reconstruct...
Mingzhou (Joe) Song, Robert M. Haralick, Sté...