Search results for "Programming Language"
showing 10 items of 624 documents
Object Migration Automata for Non-equal Partitioning Problems with Known Partition Sizes
2021
Part 4: Automated Machine Learning; International audience; Solving partitioning problems in random environments is a classic and challenging task, and has numerous applications. The existing Object Migration Automaton (OMA) and its proposed enhancements, which include the Pursuit and Transitivity phenomena, can solve problems with equi-sized partitions. Currently, these solutions also include one where the partition sizes possess a Greatest Common Divisor (GCD). In this paper, we propose an OMA-based solution that can solve problems with both equally and non-equally-sized groups, without restrictions on their sizes. More specifically, our proposed approach, referred to as the Partition Siz…
The inheritance workshop
2002
International audience; The Inheritance Workshop at ECOOP 2002, which took place on Tuesday, 11 June, was the first ECOOP workshop focusing on inheritance after the successful workshops in 1991 and 1992. The workshop was intended as a forum for designers and implementers of object-oriented languages, and for software developers with an interest in inheritance. It was organized by Andrew P. Black, Erik Ernst, Peter Grogono, and Markku Sakkinen.
Selftype is a special case
1991
It is pointed out that selftype is actually only a special case of a construct that has been well described in the literature.
Model Driven Specification of Ontology Translations
2008
The alignment of different ontologies requires the specification, representation and execution of translation rules. The rules need to integrate translations at the lexical, the syntactic and the semantic layer requiring semantic reasoning as well as low-level specification of ad-hoc conversions of data. Existing formalisms for representing translation rules cannot cover the representation needs of these three layers in one model. We propose a metamodel-based representation of ontology alignments that integrate semantic translations using description logics and lower level translation specifications into one model of representation for ontology alignments.
OWL Orthogonal Extension
2012
It is critical for knowledge bases to capture the reality in direct and intuitive way. OWL ontology language was designed for this goal. In this paper we study the limitations of the OWL open world semantics for the task of knowledge capture and retrieval. We propose a new mechanism based on the closed world semantics that alleviates part of the limitations. Further we describe a system where both OWL and the new mechanisms interoperate together. Finally, we outline some immediate applications and further research directions.
An academic performance indicator using flexible multi-criteria methods
2021
Composite indicators are a very useful tool for conveying summary information on the overall performance of institutions and facilitating decision-making. Increasingly, there is a demand for indicators that allow performance to be assessed after the implementation of a strategy. This has several difficulties, and in this paper, we address three of them: how to evaluate at different points in time, how to estimate the weighting of the criteria and how to normalize the data. Our proposal is based on multicriteria techniques, using a recent method, uwTOPSIS, and is applied to data collected from 2975 students enrolled in the first year of science and engineering at the Industrial University of…
A systematic approach to deriving incremental type checkers
2020
Static typing can guide programmers if feedback is immediate. Therefore, all major IDEs incrementalize type checking in some way. However, prior approaches to incremental type checking are often specialized and hard to transfer to new type systems. In this paper, we propose a systematic approach for deriving incremental type checkers from textbook-style type system specifications. Our approach is based on compiling inference rules to Datalog, a carefully limited logic programming language for which incremental solvers exist. The key contribution of this paper is to discover an encoding of the infinite typing relation as a finite Datalog relation in a way that yields efficient incremental up…
Optimal design of incoherent tunable-frequency structured illumination microscope scheme
2018
Structured illumination microscopy (SIM) improves resolution and optical sectioning capability compared to conventional widefield techniques. The main idea of this method is the illumination of the sample with a structured pattern of fixed spatial modulation frequency. Previously, a Fresnel biprism has been implemented in a structured illumination (SI) device providing tunable-frequency sinusoidal patterns. However, the use of this SI system introduces a tradeoff between the visibility and field of view of the illumination fringes. In this contribution, we analyze theoretically this tradeoff and propose the optimal design for the Fresnel biprism-based SIM system.
Traffic simulation models calibration using speed–density relationship: An automated procedure based on genetic algorithm
2016
Calibration of traffic models.Calibration as optimization problem.Use of genetic algorithm. This paper presents the first results of a research which applied a genetic algorithm to calibrate a microscopic traffic simulation model based on speed-density relationships. A large set of traffic data collected from the A22 Freeway, Italy, was used and a comparison was performed between the field measurements and the simulation outputs obtained for a test freeway segment by using the Aimsun microscopic simulator.The calibration was formulated as an optimization problem to be solved based on a genetic algorithm; the objective function was defined in order to minimize the differences between the sim…
ICOOLPS 2010 and MASPEGHI 2010.
2012
International audience; At ECOOP 2010 in Maribor, Slovenia, the two workshops MASPEGHI (MechAnisms for SPEcialization, Generalization and inHerItance) and ICOOOLPS (Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems) were combined because both were rather small and shared common concerns, their topic areas being strongly related. Six papers had been accepted to MASPEGHI, but only five were presented because the authors of one paper could not attend the conference and workshop. Three papers had been accepted to ICOOOLPS, and all were also presented. The workshop authors were later asked to submit extended versions of their papers for possible publica…