中文
相关论文

相关论文: The Set of Equations to Evaluate Objects

200 篇论文

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.…

计算机视觉与模式识别 · 计算机科学 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,…

计算与语言 · 计算机科学 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…

空间物理 · 物理学 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.…

数据结构与算法 · 计算机科学 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…

机器学习 · 计算机科学 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…

人工智能 · 计算机科学 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…

经典分析与常微分方程 · 数学 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)…

计算机科学中的逻辑 · 计算机科学 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…

最优化与控制 · 数学 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…

高能物理 - 唯象学 · 物理学 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…

计算物理 · 物理学 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…

组合数学 · 数学 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…

历史与综述 · 数学 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…

计算机科学中的逻辑 · 计算机科学 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…

计算机视觉与模式识别 · 计算机科学 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…

化学物理 · 物理学 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…

计算机科学中的逻辑 · 计算机科学 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,…

计算机视觉与模式识别 · 计算机科学 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…

人工智能 · 计算机科学 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…

计算与语言 · 计算机科学 2018-07-17 Joseph Corneli , Ursula Martin , Dave Murray-Rust , Gabriela Rino Nesin , Alison Pease