Search results for "Theoretical Computer Science"
showing 10 items of 1151 documents
ConformalALU: A Conformal Geometric Algebra Coprocessor for Medical Image Processing
2015
Medical imaging involves important computational geometric problems, such as image segmentation and analysis, shape approximation, three-dimensional (3D) modeling, and registration of volumetric data. In the last few years, Conformal Geometric Algebra (CGA), based on five-dimensional (5D) Clifford Algebra, is emerging as a new paradigm that offers simple and universal operators for the representation and solution of complex geometric problems. However, the widespread use of CGA has been so far hindered by its high dimensionality and computational complexity. This paper proposes a simplified formulation of the conformal geometric operations (reflections, rotations, translations, and uniform …
Design and implementation of an embedded coprocessor with native support for 5D, quadruple-based Clifford algebra
2013
Geometric or Clifford algebra (CA) is a powerful mathematical tool that offers a natural and intuitive way to model geometric facts in a number of research fields, such as robotics, machine vision, and computer graphics. Operating in higher dimensional spaces, its practical use is hindered, however, by a significant computational cost, only partially addressed by dedicated software libraries and hardware/software codesigns. For low-dimensional algebras, several dedicated hardware accelerators and coprocessing architectures have been already proposed in the literature. This paper introduces the architecture of CliffordALU5, an embedded coprocessing core conceived for native execution of up t…
GAPPCO: An Easy to Configure Geometric Algebra Coprocessor Based on GAPP Programs
2017
Because of the high numeric complexity of Geometric Algebra, its use in engineering applications relies heavily on tools and devices for efficient implementations. In this article, we present a novel hardware design for a Geometric Algebra coprocessor, called GAPPCO, which is based on Geometric Algebra Parallelism Programs (GAPP). GAPPCO is a design for a coprocessor combining the advantages of optimizing software with a configurable hardware able to implement arbitrary Geometric Algebra algorithms. The idea is to have a fixed hardware easily and fast to be configured for different algorithms. We describe the new hardware design together with the complete tool chain for its configuration.
A tool to support the creation of datasets of tampered videos
2015
Digital Video Forensics is getting a growing interest from the Multimedia research community, as the need for methods to validate the authenticity of a video content is increasing with the number of videos freely available to the digital users. Unlike Digital Image Forensics, to our knowledge, there are not standard datasets to test video forgery detection techniques. In this paper we present a new tool to support the users in creating datasets of tampered videos. We furthermore present our own dataset and we discuss some remarks about how to create forgeries difficult to be detected by an observer, to the naked eye.
Context-awareness for multi-sensor data fusion in smart environments
2016
Multi-sensor data fusion is extensively used to merge data collected by heterogeneous sensors deployed in smart environments. However, data coming from sensors are often noisy and inaccurate, and thus probabilistic techniques, such as Dynamic Bayesian Networks, are often adopted to explicitly model the noise and uncertainty of data. This work proposes to improve the accuracy of probabilistic inference systems by including context information, and proves the suitability of such an approach in the application scenario of user activity recognition in a smart home environment. However, the selection of the most convenient set of context information to be considered is not a trivial task. To thi…
A MAS metamodel-driven approach to process fragments selection
2009
The construction of ad-hoc design processes is more and more required today. In this paper we present our approach for the construction of a new design process following the Situational Method Engineering paradigm. We mainly focus on the selection and assembly activities on the base of what we consider a key element in agent design processes: the MAS metamodel. The paper presents an algorithm establishing a priority order in the realization (instantiation) of MAS metamodel elements by the fragments that will compose the new process.
A genetic approach to the maximum common subgraph problem
2019
Finding the maximum common subgraph of a pair of given graphs is a well-known task in theoretical computer science and with considerable practical applications, for example, in the fields of bioinformatics, medicine, chemistry, electronic design and computer vision. This problem is particularly complex and therefore fast heuristics are required to calculate approximate solutions. This article deals with a simple yet effective genetic algorithm that finds quickly a solution, subject to possible geometric constraints.
Artificial neural networks for fault tollerance of an air-pressure sensor network
2017
A meteorological tsunami, commonly called Meteotsunami, is a tsunami-like wave originated by rapid changes in barometric pressure that involve the displacement of a body of water. This phenomenon is usually present in the sea cost area of Mazara del Vallo (Sicily, Italy), in particular in the internal part of the seaport canal, sometimes making local population at risk. The Institute for Coastal Marine Environment (IAMC) of the National Research Council in Italy (CNR) have already conducted several studies upon meteotsunami phenomenon. One of the project has regarded the creation of a sensors network composed by micro-barometric sensors, located in 4 different stations close to the seaport …
Bayesian System for Differential Cryptanalysis of DES
2014
AbstractThis paper proposes a new formalization for the differential cryptanalysis of DES (Data Encryption Standard) based on Bayesian Networks (BN), an artificial intelligence framework used for reasoning on data affected by uncertainty. Through the proposed approach it is possible to analyze DES from a novel point of view, thus paving the way for the development of a new class of cryptanalysis methods.
Learning Path Generation by Domain Ontology Transformation
2005
An approach to automated learning path generation inside a domain ontology supporting a web tutoring system is presented. Even if a terminological ontology definition is needed in real systems to enable reasoning and/or planning techniques, and to take into account the modern learning theories, the task to apply a planner to such an ontology is very hard because the definition of actions along with their preconditions and effects has to take into account the semantics of the relations among concepts, and it results in building an ontology of learning. The proposed methodology is inspired to the Knowledge Space Theory, and proposes some heuristics to transform the original ontology in a weig…