中文
相关论文

相关论文: Reimplementation and Reinterpretation of the Copyc…

200 篇论文

An important challenge in constraint programming is to rewrite constraint models into executable programs calculat- ing the solutions. This phase of constraint processing may require translations between constraint programming lan- guages,…

人工智能 · 计算机科学 2010-02-17 Raphael Chenouard , Laurent Granvilliers , Ricardo Soto

Online learning systems have multiple data repositories in the form of transcripts, books and questions. To enable ease of access, such systems organize the content according to a well defined taxonomy of hierarchical nature…

计算与语言 · 计算机科学 2022-08-11 Venktesh Viswanathan , Mukesh Mohania , Vikram Goyal

Modern neural network architectures still struggle to learn algorithmic procedures that require to systematically apply compositional rules to solve out-of-distribution problem instances. In this work, we focus on formula simplification…

神经与进化计算 · 计算机科学 2024-07-15 Flavio Petruzzellis , Alberto Testolin , Alessandro Sperduti

In computational cognitive science, the cognitive architecture ACT-R is very popular. It describes a model of cognition that is amenable to computer implementation, paving the way for computational psychology. Its underlying psychological…

人工智能 · 计算机科学 2014-05-15 Daniel Gall , Thom Frühwirth

As computational work becomes more and more integral to many aspects of scientific research, computational reproducibility has become an issue of increasing importance to computer systems researchers and domain scientists alike. Though…

软件工程 · 计算机科学 2015-03-06 Carl Boettiger

ResearchPilot is an open-source, self-hostable multi-agent system for literature-review assistance. Given a natural-language research question, it retrieves papers from Semantic Scholar and arXiv, extracts structured findings from paper…

信息检索 · 计算机科学 2026-03-17 Peng Zhang

Graph rewriting is a popular tool for the optimisation and modification of graph expressions in domains such as compilers, machine learning and quantum computing. The underlying data structures are often port graphs - graphs with labels at…

数据结构与算法 · 计算机科学 2025-03-27 Luca Mondada , Pablo Andrés-Martínez

Monumental advances in deep learning have led to unprecedented achievements across various domains. While the performance of deep neural networks is indubitable, the architectural design and interpretability of such models are nontrivial.…

机器学习 · 计算机科学 2023-07-06 Zachariah Carmichael , Tim Moon , Sam Ade Jacobs

Recently, Neural Architecture Search (NAS) methods have been introduced and show impressive performance on many benchmarks. Among those NAS studies, Neural Architecture Transformer (NAT) aims to adapt the given neural architecture to…

机器学习 · 计算机科学 2022-05-17 Do-Guk Kim , Heung-Chang Lee

Various research initiatives try to utilize the operational principles of organisms and brains to develop alternative, biologically inspired computing paradigms and artificial cognitive systems. This paper reviews key features of the…

适应与自组织系统 · 物理学 2012-01-25 Andreas Schierwagen

LLM-based code agents treat repositories as unstructured text, applying edits through brittle string matching that frequently fails due to formatting drift or ambiguous patterns. We propose reframing the codebase as a structured action…

人工智能 · 计算机科学 2026-04-17 Myeongsoo Kim , Joe Hsu , Dingmin Wang , Shweta Garg , Varun Kumar , Murali Krishna Ramanathan

This paper is in the intersection of software engineering and system engineering, two intimately intertwined disciplines. A dominating theme in this paper is the integral conceptualization of systems at large, as well as an underlying…

软件工程 · 计算机科学 2021-03-05 Sabah Al-Fedaghi

Pre-trained programming language (PL) models (such as CodeT5, CodeBERT, GraphCodeBERT, etc.,) have the potential to automate software engineering tasks involving code understanding and code generation. However, these models operate in the…

计算与语言 · 计算机科学 2023-04-20 Akshita Jha , Chandan K. Reddy

Semantic parsing is the problem of deriving machine interpretable meaning representations from natural language utterances. Neural models with encoder-decoder architectures have recently achieved substantial improvements over traditional…

计算与语言 · 计算机科学 2019-09-30 Huseyin A. Inan , Gaurav Singh Tomar , Huapu Pan

This work presents a decentralized allocation algorithm of safety-critical application on parallel computing architectures, where individual Computational Units can be affected by faults. The described method consists in representing the…

分布式、并行与集群计算 · 计算机科学 2019-11-20 Thanakorn Khamvilai , Louis Sutter , Eric Feron , Philippe Baufreton , Francois Neumann

Many-core co-design is a complex task in which application complexity design space, heterogeneous many-core architecture design space, parallel programming language design space, simulator design space and optimizer design space should get…

分布式、并行与集群计算 · 计算机科学 2018-06-05 Dhanasekar , Anirudh Seshadri , Sudharshan Srinivasan , Suryanarayanan , Akash Sridhar

The number of academic papers being published is increasing exponentially in recent years, and recommending adequate citations to assist researchers in writing papers is a non-trivial task. Conventional approaches may not be optimal, as the…

信息检索 · 计算机科学 2020-01-09 Yang Zhang , Qiang Ma

Most application development happens in the context of complex APIs; reference documentation for APIs has grown tremendously in variety, complexity, and volume, and can be difficult to navigate. There is a growing need to develop…

软件工程 · 计算机科学 2016-07-27 Niraj Kumar , Premkumar Devanbu

In this work we present work in progress on functionality duplication detection in logic programs. Eliminating duplicated functionality recently became prominent in context of refactoring. We describe a quantitative approach that allows to…

编程语言 · 计算机科学 2007-05-23 Alexander Serebrenik , Wim Vanhoof

The importance of replication is often discussed and advocated -- not only in the domains of visualization and HCI, but in all scientific areas. When replicating a study, design decisions need to be made with regards which aspects of the…

人机交互 · 计算机科学 2026-05-05 Yiheng Liang , Kim Marriott , Helen C. Purchase