Search results for "methodologies"
showing 10 items of 2106 documents
Metamodel Specialization for DSL Tool Building
2016
Most of domain-specific tool building and especially diagram editor building nowadays involves some usage of metamodels. However normally the metamodel alone is not sufficient to define an editor. Frequently the metamodel just defines the abstract syntax of the domain, mappings or transformations are required to define the editor. Another approach [8] is based on a fixed type metamodel, there an editor definition consists of an instance of this metamodel to be executed by an engine. However there typically a number of functionality extensions in a transformation language is required. The paper offers a new approach based on metamodel specialization. First the metamodel specialization based …
The Virtual Reconstruction of the Aesculapius and Hygeia Statues from the Sanctuary of Isis in Lilybaeum: Methods and Tools for Ancient Sculptures’ E…
2022
Thanks to recent technological developments in 3D surveys, computer graphics and virtual reality, new scenarios have been opened for the documentation and enhancement of ancient sculptures. When not totally preserved, sculptures can be digitally reproduced, modified and visualized to simulate their physical or virtual reconstruction in a non-invasive way for specialists or for dissemination aims. The virtual sculptural reconstruction process starts usually from the 3D survey of real fragments, and then continues by integrating missing parts with 3D modelling techniques by means of source evaluation. Along with primary data sources (reality-based model), secondary data sources (photos, drawi…
Revealing the pace of river landscape evolution during the Quaternary: recent developments in numerical dating methods
2016
During the last twenty years, several technical developments have considerably intensified the use of numerical dating methods for the Quaternary. The study of fluvial archives has greatly benefited from these enhancements, opening new dating horizons for a range of archives at distinct time scales and thereby providing new insights into previously unanswered questions. In this contribution, we separately present the state of the art of five numerical dating methods that are frequently used in the fluvial context: radiocarbon, Luminescence, Electron Spin Resonance (ESR), 230Th/U and terrestrial cosmogenic nuclides (TCN) dating. We focus on the major recent developments for each technique th…
Continuous experimentation on artificial intelligence software : a research agenda
2020
Moving from experiments to industrial level AI software development requires a shift from understanding AI/ ML model attributes as a standalone experiment to know-how integrating and operating AI models in a large-scale software system. It is a growing demand for adopting state-of-the-art software engineering paradigms into AI development, so that the development efforts can be aligned with business strategies in a lean and fast-paced manner. We describe AI development as an “unknown unknown” problem where both business needs and AI models evolve over time. We describe a holistic view of an iterative, continuous approach to develop industrial AI software basing on business goals, requiremen…
Hardware implementation of content based video indexing algorithms
2005
This paper focus on hardware implementation of content based video indexing techniques by using the FPGA technology. We aim to propose hardware modules that can satisfy requirements of constrained applications, such as real time applications and complex applications that can combine a large number of techniques in the same indexing system. We represent tow examples of micro-architectures related to the dominant colors descriptor and the compact color descriptor.
Lost People : How National AI-Strategies Paying Attention to Users
2021
Abstract. This paper focuses on how major national strategies call attention to the human dimensions of artificial intelligence (AI). All intelligent technologies using AI are constructed for people as either active users or as relatively passive target persons. Thus, human properties and human research should have an important role in developing future AI systems. In these development strategies, it is interesting to pay attention to the underlying intuitive assumptions and tacit commitments. This issue is especially interesting when we think about what governmental working groups say about people and their changing lives in their strategies. The traditional stances adopted in writing nati…
Accelerating bioinformatics applications via emerging parallel computing systems [Guest editorial]
2015
The papers in this issue focus on advanced parallel computing systems for bioinformatics applications. This papers provide a forum to publish recent advances in the improvement of handling bioinformatics problems on emerging parallel computing systems. These systems can be characterized by exploiting different types of parallelism, including fine-grained versus coarse-grained and thread-level parallelism versus datalevel parallelism versus request-level parallelism. Hence, parallel computing systems based on multi- and many-core CPUs, many-core GPUs, vector processors, or FPGAs offer the promise to massively accelerate many bioinformatics algorithms and applications, ranging from computeint…
New shape from Shading methods
1993
Shape from Shading is perhaps the most difficult topic to deal with in Artificial Vision: several researchers have faced it using different approaches. The most part of these methods are based on the Horn algorithm so they require very heavy regularity assumptions about the perceived objects' shape and are computationally expensive.
CTR: A calculus of timed refinement
1995
This paper presents CTR — a process algebraic framework for loose specification of time quantity sensitive operational behaviour of reactive systems. CTR terms are provided both with operational and specification semantics (via the notion of specification refinement). Besides the intuitive justification of appropriateness of the refinement notion, a preservation theorem is proved for a timed variant of Hennessy-Milner logic. A comparison of CTR with the related formalism of Timed Modal Specifications, and with the timed process calculi TCCS due to Wang is given. Some pragmatics of the application of CTR is sketched on a critical resource access example.
A uniform quantificational logic for algebraic notions ofcontext
2002
A quantificational framework of formal reasoning is proposed, which emphasises the pattern of entering and exiting context. Contexts are modelled by an algebraic structure which reflects the order and manner in which context is entered into and exited from. The equations of the algebra partitions context terms into equivalence classes. A formal semantics is defined, containing models that map equivalence classes of certain context terms to sets of first order structures. The corresponding Hilbert system incorporates the algebraic equations as axioms asserted in context. In this way a uniform logic for arbitrary algebras of context is obtained. Soundness and completeness are proved. In semig…