Search results for " Programming"
showing 10 items of 1616 documents
On the Generalizability of Programs Synthesized by Grammar-Guided Genetic Programming
2021
Grammar-guided Genetic Programming is a common approach for program synthesis where the user’s intent is given by a set of input/output examples. For use in real-world software development, the generated programs must work on previously unseen test cases too. Therefore, we study in this work the generalizability of programs synthesized by grammar-guided GP with lexicase selection. As benchmark, we analyze proportionate and tournament selection too. We find that especially for program synthesis problems with a low output cardinality (e.g., a Boolean output) lexicase selection overfits the training cases and does not generalize well to unseen test cases. An analysis using common software metr…
Methods for optimal shape design of electrical devices
1996
Often the primary problem facing designers of structural systems is determining the shape of the structure. In spite of graphical work stations and modern software for analyzing the structure, finding the best geometry for the structure by “trial and error” is still a very tedious and timeconsuming task. The goal in optimal shape design (structural optimization, or redesign) is to computerize the design process and therefore shorten the time it takes to design new products or improve the existing design. Structural optimization is already used in many applications in industry. In general, however, structural optimization is just beginning to penetrate the industrial community. Integrating F…
Learning Bayesian Metanetworks from Data with Multilevel Uncertainty
2006
Managing knowledge by maintaining it according to dynamic context is among the basic abilities of a knowledge-based system. The two main challenges in managing context in Bayesian networks are the introduction of contextual (in)dependence and Bayesian multinets. We are presenting one possible implementation of a context sensitive Bayesian multinet-the Bayesian Metanetwork, which implies that interoperability between component Bayesian networks (valid in different contexts) can be also modelled by another Bayesian network. The general concepts and two kinds of such Metanetwork models are considered. The main focus of this paper is learning procedure for Bayesian Metanetworks.
Symmetry operators in computer vision
1996
Abstract Symmetry plays a remarkable role in perception problems. For example, peaks of brain activity are measured in correspondence with visual patterns showing symmetry . Relevance of symmetry in vision was already noted by Koler in 1929. Here, properties of a symmetry operator are reported and a new algorithm to measure local symmetries is proposed. Its performance is tested on segmentation of complex visual patterns and the classification of sparse images.
On the Use of Preferential Weights in Interactive Reference Point Based Methods
2009
We introduce a new way of utilizing preference information specified by the decision maker in interactive reference point based methods. A reference point consists of aspiration levels for each objective function. We take the desires of the decision maker into account more closely when projecting the reference point to become nondominated. In this way we can support the decision maker in finding the most satisfactory solutions faster. In practice, we adjust the weights in the achievement scalarizing function that projects the reference point. We demonstrate our idea with an example and we summarize results of computational tests that support the efficiency of the idea proposed.
Computer Programming Aptitude Test as a Tool for Reducing Student Attrition
2015
Submitted to the VTR conference to be held in Rezekne, June 2015
The iterative object symmetry transform
2005
This paper introduces a new operator named the Iterated Object Transform that is computed by combining the Object Symmetry Transform with the morphological operator erosion. This new operator has been applied on both binary and gray levels images showing the ability to grasp the internal structure of a digital object. We present some experiments on real images in face analysis.
A generalizability measure for program synthesis with genetic programming
2021
The generalizability of programs synthesized by genetic programming (GP) to unseen test cases is one of the main challenges of GP-based program synthesis. Recent work showed that increasing the amount of training data improves the generalizability of the programs synthesized by GP. However, generating training data is usually an expensive task as the output value for every training case must be calculated manually by the user. Therefore, this work suggests an approximation of the expected generalization ability of solution candidates found by GP. To obtain candidate solutions that all solve the training cases, but are structurally different, a GP run is not stopped after the first solution …
Flexibility Services in a Mediterranean Small Island to Minimize Costs and Emissions Related to Electricity Production from Fossil Fuels
2020
In last years, the energy efficiency in non-interconnected islands became an important topic, since the electricity production is often based on diesel generators, thus contributing to the global warming. Italian government recently emitted two decrees to promote the introduction of renewable energy technologies in 21 non-interconnected islands, both for electrical and thermal uses. In this paper, the economic and environmental feasibility of the introduction of renewable energies in the island of Pantelleria was assessed adopting an optimization approach. Furthermore, the flexibility provided from the local desalination plant and the domestic water heaters was evaluated. The final demands …
Rigal — a programming language for compiler writing
2005
A new programming language for compiler writing is described. The main data structures are atoms, lists and trees. The control structures are based on advanced pattern matching. All phases of compilation, including parsing, optimization and code generation, can be programmed in this language in short and readable form. Sample compiler written in RIGAL is presented.