Sciweavers

864 search results - page 53 / 173
» codes 2003
Sort
View
EUROGP
2003
Springer
15 years 3 months ago
Neutral Variations Cause Bloat in Linear GP
Abstract. In this contribution we investigate the influence of different variation effects on the growth of code. A mutation-based variant of linear GP is applied that operates ...
Markus Brameier, Wolfgang Banzhaf
FM
2003
Springer
129views Formal Methods» more  FM 2003»
15 years 3 months ago
Trends in Software Verification
With the steady increase in computational power of general purpose computers, our ability to analyze routine software artifacts is also steadily increasing. As a result, we are wit...
Gerard J. Holzmann
CAIP
2003
Springer
147views Image Analysis» more  CAIP 2003»
15 years 1 months ago
Multi-loop Scalable MPEG-2 Video Coders
In this paper, a structure of a hybrid highly scalable video encoder with fine granularity scalability in a scheme based on a modified version of the classic MPEG-2 scalable encode...
Slawomir Mackowiak
PRIS
2003
14 years 11 months ago
Numerical Field Extraction in Handwritten Incoming Mail Documents
In this communication, we propose a method for the automatic extraction of numerical fields in handwritten documents. The approach exploits the known syntactic structure of the num...
Guillaume Koch, Laurent Heutte, Thierry Paquet
TLDI
2003
ACM
102views Formal Methods» more  TLDI 2003»
15 years 3 months ago
A typed interface for garbage collection
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
Joseph Vanderwaart, Karl Crary