Sciweavers

4719 search results - page 227 / 944
» Spreadsheet functional programming
Sort
View
CEC
2003
IEEE
16 years 12 days ago
Exploring the search space of quantum programs
Here we present a first study of search spaces and fitness landscapes in the context of the evolution of quantum programs. We consider small instances of the Deutsch-Jozsa proble...
André Leier, Wolfgang Banzhaf
ICES
2003
Springer
151views Hardware» more  ICES 2003»
16 years 9 days ago
Using Genetic Programming and High Level Synthesis to Design Optimized Datapath
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...
Sérgio G. Araújo, Antônio C. M...
FMCAD
2006
Springer
15 years 10 months ago
Over-Approximating Boolean Programs with Unbounded Thread Creation
Abstract-- This paper describes a symbolic algorithm for overapproximating reachability in Boolean programs with unbounded thread creation. The fix-point is detected by projecting ...
Byron Cook, Daniel Kroening, Natasha Sharygina
178
Voted
GCSE
2000
Springer
15 years 10 months ago
Mixin-Based Programming in C++
Combinations of C++ features, like inheritance, templates, and class nesting, allow for the expression of powerful component patterns. In particular, research has demonstrated that...
Yannis Smaragdakis, Don S. Batory
DAGM
2008
Springer
15 years 9 months ago
Efficient Tracking as Linear Program on Weak Binary Classifiers
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...
Michael Grabner, Christopher Zach, Horst Bischof