English
Related papers

Related papers: The Set of Equations to Evaluate Objects

200 papers

The complexity of a learning task is increased by transformations in the input space that preserve class identity. Visual object recognition for example is affected by changes in viewpoint, scale, illumination or planar transformations.…

Computer Vision and Pattern Recognition · Computer Science 2017-03-16 Andrea Tacchetti , Stephen Voinea , Georgios Evangelopoulos

The contribution of this paper is to provide a semantic model (using soft constraints) of the words used by web-users to describe objects in a language game; a game in which one user describes a selected object of those composing the scene,…

Computation and Language · Computer Science 2010-05-31 Sergio Guadarrama , David P. Pancho

The solving of scientific and practical application connected with conducting of satellite experiments and measurement demand analysis of geometric and physic conditions according to different kind of models. This is forced in connect of…

Space Physics · Physics 2010-02-26 Atanas Marinov Atanassov

Learning Spaces are certain set systems that are applied in the mathematical modeling of education. We propose a suitable compression (without loss of information) of such set systems to facilitate their logical and statistical analysis.…

Data Structures and Algorithms · Computer Science 2017-08-14 Marcel Wild

Computational models are quantitative representations of systems. By analyzing and comparing the outputs of such models, it is possible to gain a better understanding of the system itself. Though as the complexity of model outputs…

Machine Learning · Computer Science 2022-12-13 Colin G. Cess , Stacey D. Finley

An embedding is a function that maps entities from one algebraic structure into another while preserving certain characteristics. Embeddings are being used successfully for mapping relational data or text into vector spaces where they can…

Artificial Intelligence · Computer Science 2019-02-28 Maxat Kulmanov , Wang Liu-Wei , Yuan Yan , Robert Hoehndorf

The purpose of this note is to present a formulation of a given nonlinear ordinary differential equation into an equivalent system of linear ordinary differential equations. It is evident that the easiness of a such procedure would be able…

Classical Analysis and ODEs · Mathematics 2013-02-12 Oscar A. Barraza

The majority of modern systems exhibit sophisticated concurrent behaviour, where several system components modify and observe the system state with fine-grained atomicity. Many systems (e.g., multi-core processors, real-time controllers)…

Logic in Computer Science · Computer Science 2013-05-28 Brijesh Dongol , John Derrick

This paper is devoted to the study of a newly introduced tool, projectional coderivatives and the corresponding calculus rules in finite dimensions. We show that when the restricted set has some nice properties, more specifically, is a…

Optimization and Control · Mathematics 2024-10-24 Wenfang Yao , Kaiwen Meng , Minghua Li , Xiaoqi Yang

The notion of wavelets is defined. It is briefly described {\it what} are wavelets, {\it how} to use them, {\it when} we do need them, {\it why} they are preferred and {\it where} they have been applied. Then one proceeds to the…

High Energy Physics - Phenomenology · Physics 2008-11-26 I. M. Dremin

A software package has been developed to bridge the R analysis model with the conceptual analysis environment typical of radiation physics experiments. The new package has been used in the context of a project for the validation of…

Computational Physics · Physics 2013-11-25 Andreas Pfeiffer , Maria Grazia Pia

We describe a framework for systematic enumeration of families combinatorial structures which possess a certain regularity. More precisely, we describe how to obtain the differential equations satisfied by their generating series. These…

Combinatorics · Mathematics 2008-02-28 Marni Mishna

An introduction to applied mathematics written for students in engineering and science. Focus is on a rigorous presentation that also builds understanding by discussion, analogy, and examples. Discussion of concepts involved in modeling…

History and Overview · Mathematics 2023-05-10 Brian D Wood

Formalization of mathematics is a major topic, that includes in particular numerical analysis, towards proofs of scientific computing programs. The present study is about the finite element method, a popular method to numerically solve…

Logic in Computer Science · Computer Science 2026-04-23 Sylvie Boldo , François Clément , Vincent Martin , Micaela Mayero , Houda Mouhcine

The objective of this paper is to assess the quality of explanation heatmaps for image classification tasks. To assess the quality of explainability methods, we approach the task through the lens of accuracy and stability. In this work, we…

Computer Vision and Pattern Recognition · Computer Science 2025-09-15 Lassi Raatikainen , Esa Rahtu

Molecular simulations and biophysical experiments can be used to provide independent and complementary insights into the molecular origin of biological processes. A particularly useful strategy is to use molecular simulations as a modelling…

Chemical Physics · Physics 2019-12-10 Simone Orioli , Andreas Haahr Larsen , Sandro Bottaro , Kresten Lindorff-Larsen

We present a method to simplify expressions in the context of an equational theory. The basic ideas and concepts of the method have been presented previously elsewhere but here we tackle the difficult task of making it efficient in…

Logic in Computer Science · Computer Science 2020-03-16 Baudouin Le Charlier

The proliferation of Deep Neural Networks has resulted in machine learning systems becoming increasingly more present in various real-world applications. Consequently, there is a growing demand for highly reliable models in many domains,…

Computer Vision and Pattern Recognition · Computer Science 2024-03-19 Pedro Conde , Rui L. Lopes , Cristiano Premebida

Existing procedures for model validation have been deemed inadequate for many engineering systems. The reason of this inadequacy is due to the high degree of complexity of the mechanisms that govern these systems. It is proposed in this…

Artificial Intelligence · Computer Science 2007-05-23 A. Guergachi

To adequately model mathematical arguments the analyst must be able to represent the mathematical objects under discussion and the relationships between them, as well as inferences drawn about these objects and relationships as the…

Computation and Language · Computer Science 2018-07-17 Joseph Corneli , Ursula Martin , Dave Murray-Rust , Gabriela Rino Nesin , Alison Pease
‹ Prev 1 3 4 5 6 7 10 Next ›