1173 search results - page 78 / 235 » Program Derivation Using Analogy |
126
Voted
ASWEC
2008
IEEE
15 years 4 months ago
2008
IEEE
Today, agile methods become a popular approach to develop software systems. They try to satisfy customer, respond to changes, release in less time and achieve suitable profits for...
126
Voted
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
We propose a method of knowledge reuse for an ensemble of genetic programming-based learners solving a visual learning task. First, we introduce a visual learning method that uses...
126
Voted
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
93
Voted
SIAMJO
2008
15 years 2 months ago
2008
We give some new regularity conditions for Fenchel duality in separated locally convex vector spaces, written in terms of the notion of quasi interior and quasi-relative interior, ...
220
Voted
TIT
2008
15 years 2 months ago
2008
Abstract--In linear programming (LP) decoding of a low-density parity-check (LDPC) code one minimizes a linear functional, with coefficients related to log-likelihood ratios, over ...