788 search results - page 44 / 158 » GA-Optimal Fitness Functions |
CADE
1994
Springer
13 years 12 months ago
1994
Springer
Even though it is not very often admitted, partial functions do play a significant role in many practical applications of deduction systems. Kleene has already given a semantic acc...
ENTCS
2006
13 years 7 months ago
2006
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...
CCE
2007
13 years 7 months ago
2007
The paper contributes to techno-economic modelling of CO2 capture process in coalfired power plants. Technological options of CO2 capture have been chosen and cost estimation rela...
AFRIGRAPH
2004
ACM
14 years 1 months ago
2004
ACM
We present an interactive modelling technique, which reconstructs three-dimensional objects from user-drawn twodimensional strokes. We first extract a skeleton from the 2D contour...
AML
2008
13 years 8 months ago
2008
This document is a survey of the four papers [H], [Sch], [Com], [FandH]. It gives the relevant background and shows how the papers fit together to form a whole. Material from thos...