中文
相关论文

相关论文: Object Oriented and Functional Programming for Sym…

200 篇论文

Choice constructs are an important part of the language of logic programming, yet the study of their semantics has been a challenging task. So far, only two-valued semantics have been studied, and the different proposals for such semantics…

人工智能 · 计算机科学 2024-08-01 Jesse Heyninck

Multiobjective combinatorial optimization deals with problems considering more than one viewpoint or scenario. The problem of aggregating multiple criteria to obtain a globalizing objective function is of special interest when the number of…

最优化与控制 · 数学 2013-06-07 Elena Fernández , Miguel A. Pozo , Justo Puerto

Software architecture optimization aims to enhance non-functional attributes like performance and reliability while meeting functional requirements. Multi-objective optimization employs metaheuristic search techniques, such as genetic…

The paper describes a mechanism for indirect object representation and access (ORA) in programming languages. The mechanism is based on using a new programming construct which is referred to as concept. Concept consists of one object class…

编程语言 · 计算机科学 2008-01-03 Alexandr Savinov

An attempt at unifying logic and functional programming is reported. As a starting point, we take the view that "logic programs" are not about logic but constitute inductive definitions of sets and relations. A skeletal language design…

计算机科学中的逻辑 · 计算机科学 2016-08-31 Lawrence C. Paulson , Andrew W. Smith

We present initial ideas for a programming paradigm based on simulation that is targeted towards applications of artificial intelligence (AI). The approach aims at integrating techniques from different areas of AI and is based on the idea…

人工智能 · 计算机科学 2015-05-21 Jörg Pührer

Exactly solving multi-objective integer programming (MOIP) problems is often a very time consuming process, especially for large and complex problems. Parallel computing has the potential to significantly reduce the time taken to solve such…

最优化与控制 · 数学 2018-11-02 William Pettersson , Melih Ozlen

We have developed a symbolic algebra approach to automatically produce, verify, and optimize computer code for the Fast Multipole Method (FMM) operators. This approach allows for flexibility in choosing a basis set and kernel, and can…

计算物理 · 物理学 2020-05-29 Jonathan P. Coles , Rebekka Bieri

This position paper outlines a new approach to adapting 3D user interface (UI) layouts given the complex nature of end-user preferences. Current optimization techniques, which mainly rely on weighted sum methods, can be inflexible and…

人机交互 · 计算机科学 2023-11-20 Christoph Albert Johns , João Marcelo Evangelista Belo

We propose a theoretical framework for formulating language model decoder algorithms with dynamic programming and information theory. With dynamic programming, we lift the design of decoder algorithms from the logit space to the…

计算与语言 · 计算机科学 2023-11-17 Chung-Ching Chang , William W. Cohen , Yun-Hsuan Sung

In this work, we show a methodology aimed to improve the quality of the assessment process for subjects related to basic programming. The method takes into account the relevance of the items and the students answers to follow different…

计算机与社会 · 计算机科学 2014-03-07 P. Molins-Ruano , C. González-Sacristán , F. Díez , P. Rodriguez , G. M. Sacha

While modern software development heavily uses versioned packages, programming languages rarely support the concept of versions in their semantics, which makes software updates more bulky and unsafe. This paper proposes a programming…

编程语言 · 计算机科学 2021-07-16 Yudai Tanabe , Luthfan Anshar Lubis , Tomoyuki Aotani , Hidehiko Masuhara

This study examines the object oriented programming (OOP) and its calculated measures in programming interactivity in Nigeria. It focused on the existing programming languages used by programmers and examines the need for integrating…

计算机与社会 · 计算机科学 2018-05-24 U. Onu Fergus , S. U. M. Osagie , M. A. John-Otumu , M. E. Igboke

Many-Objective Feature Selection (MOFS) approaches use four or more objectives to determine the relevance of a subset of features in a supervised learning task. As a consequence, MOFS typically returns a large set of non-dominated…

机器学习 · 计算机科学 2023-12-01 Uchechukwu F. Njoku , Alberto Abelló , Besim Bilalli , Gianluca Bontempi

An important benefit of multi-objective search is that it maintains a diverse population of candidates, which helps in deceptive problems in particular. Not all diversity is useful, however: candidates that optimize only one objective while…

神经与进化计算 · 计算机科学 2019-06-11 Hormoz Shahrzad , Daniel Fink , Risto Miikkulainen

Numerical and symbolic methods for optimization are used extensively in engineering, industry, and finance. Various methods are used to reduce problems of interest to ones that are amenable to solution by such software. We develop a…

计算机科学中的逻辑 · 计算机科学 2023-02-23 Alexander Bentkamp , Ramon Fernández Mir , Jeremy Avigad

In recent years, trends towards studying simulated games have gained momentum in the fields of artificial intelligence, cognitive science, psychology, and neuroscience. The intersections of these fields have also grown recently, as…

人工智能 · 计算机科学 2021-02-26 Nicholas Watters , Joshua Tenenbaum , Mehrdad Jazayeri

Data center networks are experiencing unprecedented exponential growth, mostly driven by the continuous computing demands in machine learning and artificial intelligence algorithms. Within this realm, optical networking offers numerous…

网络与互联网体系结构 · 计算机科学 2024-04-16 Zhenyun Xie , David Sánchez-Jácome , Luis Torrijos-Morán , Daniel Pérez-López

Human-machine interaction has been around for several decades now, with new applications emerging every day. One of the major goals that remain to be achieved is designing an interaction similar to how a human interacts with another human.…

人机交互 · 计算机科学 2022-12-27 Tauheed Khan Mohd , Nicole Nguyen , Ahmad Y Javaid

This paper presents an empirical study of the software reuse activity by expert designers in the context of object-oriented design. Our study focuses on the three following aspects of reuse : (1) the interaction between some design…

人机交互 · 计算机科学 2016-08-14 Jean-Marie Burkhardt , Françoise Détienne