Search results for "Programming"
showing 10 items of 3090 documents
On marrying ontological and metamodeling technical spaces
2007
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established practice. Ontologies constitute domain models formalized using expressive logic languages for class definitions and rules. Hence, when seen from an abstract point of view, the two paradigms and their various technological spaces seem closely related. However, in the state-of-the-art research and practice the two technologies are just beginning to converge and the relationship between the two is still under exploration. In this paper, we give an outline of current ontology technologies, such as the Semantic Web standards…
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.
An efficient hardware implementation of Diamond Search motion estimation using CAL dataflow language
2011
Motion estimation represents a key module in video compression. The Reconfigurable Video Coding context (RVC) requires proposing a flexible solution for motion estimation. The motion estimation performance should be modified to fit with the user or the environment's constraints. Depending on the required performances fixed by the application, a full search is sometimes not suitable, hence, alternative fast/reduced solutions should be considered. In this paper, an efficient Diamond Search motion estimation, described in RVC-CAL actor language, is introduced. Starting from a high level description based CAL language, an automatic translation of the proposed CAL module to HDL is performed. Thi…
The University of Valencia’s computerized word pool
1988
This paper presents the University of Valencia’s computerized word pool. This is a database that includes 16,109 Spanish words, together with 11 psychological variables for limited groups of items. The purpose behind the creation of this database was to have available a large quantity of verbal stimuli in a well-controlled system, ready for automatic selection. The description includes a summary of statistics on each of the 11 psychological variables, together with a correlational and factor analysis of them. This statistical analysis produces results close to those obtained for equivalent English material.
Some applications of a theorem of Shirshov to language theory
1983
Some applications of a theorem of Shirshov to language theory are given: characterization of regular languages, characterization of bounded languages, and a sufficient condition for a language to be Parikh-bounded.
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 …