4835 search results - page 252 / 967 » Refactoring Functional Programs |
176
click to vote
ICES
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents a methodology to design optimized electronic systems from high abstraction level descriptions. The methodology uses Genetic Programming in addition to high-leve...
157
click to vote
FMCAD
2006
Springer
15 years 10 months ago
2006
Springer
Abstract-- This paper describes a symbolic algorithm for overapproximating reachability in Boolean programs with unbounded thread creation. The fix-point is detected by projecting ...
160
click to vote
GCSE
2000
Springer
15 years 10 months ago
2000
Springer
Combinations of C++ features, like inheritance, templates, and class nesting, allow for the expression of powerful component patterns. In particular, research has demonstrated that...
205
click to vote
DAGM
2008
Springer
15 years 8 months ago
2008
Springer
This paper demonstrates how a simple, yet effective, set of features enables to integrate ensemble classifiers in optical flow based tracking. In particular, gray value differences...
122
click to vote
EVOW
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we use Genetic Programming for the classification of different seafloor habitats, based on the acoustic backscatter data from an echo sounder. By developing a differ...