检索结果-内蒙古大学图书馆

arXiv 2024年

作者： Koutcheme, Charles Dainese, Nicola Sarsa, Sami Hellas, Arto Leinonen, Juho Ashraf, Syed Denny, Paul Aalto University Espoo Finland University of Jyvaskyla Jyvaskyla Finland The University of Auckland Auckland New Zealand

The emergence of large language models (LLMs) has transformed research and practice across a wide range of domains. Within the computing education research (CER) domain, LLMs have garnered significant attention, particularly in the context of learning programming. Much of the work on LLMs in CER, however, has focused on applying and evaluating proprietary models. In this article, we evaluate the efficiency of open-source LLMs in generating high-quality feedback for programming assignments and judging the quality of programming feedback, contrasting the results with proprietary models. Our evaluations on a dataset of students' submissions to introductory Python programming exercises suggest that state-of-the-art open-source LLMs are nearly on par with proprietary models in both generating and assessing programming feedback. Additionally, we demonstrate the efficiency of smaller LLMs in these tasks and highlight the wide range of LLMs accessible, even for free, to educators and practitioners. © 2024, CC BY.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

A monadic approach for avoiding code duplication when staging memoized functions 06

A monadic approach for avoiding code duplication when stagin...

引用

2006 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

作者： Swadi, Kedar Taha, Walid Kiselyov, Oleg Pasalic, Emir Rice University Houston TX United States FNMOC Monterey CA United States

ISBN: (纸本)1595931961

Building program generators that do not duplicate generated code can be challenging. At the same time, code duplication can easily increase both generation time and runtime of generated programs by an exponential factor. We identify an instance of this problem that can arise when memoized functions are staged. Without addressing this problem, it would be impossible to effectively stage dynamic programming algorithms. Intuitively, direct staging undoes the effect of memoization. To solve this problem once and for all, and for any function that uses memoization, we propose a staged monadic combinator library. Experimental results confirm that the library works as expected. Preliminary results also indicate that the library is useful even when memoization is not used. Copyright © 2006 ACM.

关键词： automatic programming

来源：评论

学校读者我要写书评

暂无评论

Proposal of an automated record integration system for a programming exercise class

Proposal of an automated record integration system for a pro...

引用

International Conference on Computers in Education

作者： N. Matsuda H. Taki Faculty of Systems Engineering Wakayama University Wakayama Japan

To reuse an electronic educational material, a teacher has to understand its availability and methodology. This paper proposed the technique of integrating electronic class text, such as HTML/XML, into automated records of activities in a class. Our hypothesis is that an activity has influence on both the automated records and the class text. We designed structured record expression and event rules. The system integrates a class text into the records by forward deductive inference.

关键词： Proposals automatic programming HTML XML Motion pictures programming profession Costs Systems engineering and theory Cities and towns Availability

来源：评论

学校读者我要写书评

暂无评论

An approach to automated programming of industrial robots

An approach to automated programming of industrial robots

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： D.R. Myers Intelligent Automation Inc. Rockville MD USA

This project develops a "teach-by showing" approach that permits unskilled users to program robots by physically demonstrating examples of a task to a trainable controller. Each example may be shown in one of three ways: by direct demonstration, by placing the robot in a zero-force mode and physically leading it through the task, or by operating the robot in a master/slave mode. During each demonstration, both the sensor inputs to the robot controller and the control outputs from the controller are presented to the training system. Following the demonstrations, the training system then produces a prototype procedural program suitable for downloading into a commercial robot controller. Unlike the conventional program development process, the operator need not postulate about the value of sensor feedback variables required at a particular level of the controller. Examples of successful, but perhaps quite different task strategies can be demonstrated by the human teacher until the robot system is capable of successful autonomous operation.

关键词： automatic programming Robot programming Service robots Robotics and automation Robot sensing systems Control systems Robot control automatic control Master-slave Sensor systems

来源：评论

学校读者我要写书评

暂无评论

Tutorial: Multi-stage programming for Circuit Generation

Tutorial: Multi-stage Programming for Circuit Generation

引用

International Conference on Embedded Software and Systems

作者： W. Taha Rice University Houston TX US

Multi-stage programming is a paradigm for writing generic programs that do not pay a runtime overhead. The key underlying technology is program generation. In addition, languages designed to support this paradigm (such as MetaOCaml) help the programmer avoid many of the difficulties that are traditionally encountered in developing program generators. This tutorial will introduce you to the basics of this paradigm as well as of programming in MetaOCaml. The focus of this particular tutorial will be on using MetaOCaml to generate hardware circuits.

关键词： Tutorial Circuits DSL Hardware Computer languages Real time systems Writing Runtime programming profession automatic programming

来源：评论

学校读者我要写书评

暂无评论

Model-based programming and diagnosis for programmable logical controllers

Model-based programming and diagnosis for programmable logic...

引用

IEEE International Conference on Systems, Man and Cybernetics

作者： K. Lemmer B. Ober E. Schnieder Institute of Control and Automation Engineering Technical University of Braunschweig Brunswick Germany

In control engineering models of the controlled systems are the basis for controller synthesis as well as for analytical or simulated examination of open or closed-loop behaviour. This model-based methodology is being transferred into automation engineering by means of a development environment for the programming of logical controllers. Petri net models of the controlled system allow an automatic computation of the control algorithm being specified by desired or forbidden states or state sequences. The control algorithms which are equally represented as Petri nets are then automatically translated into a code for programmable logical control. The models of the controlled system and the synthesized control algorithm are used for automatically generating diagnosis data for a model-based PLC diagnosis system.

关键词： Logic programming automatic control Control system synthesis automatic generation control Control engineering Computational modeling Analytical models Automation automatic programming Petri nets

来源：评论

学校读者我要写书评

暂无评论

Variable Neighborhood programming For Evolving Discriminent Functions With Dynamic Thresholds

Variable Neighborhood Programming For Evolving Discriminent ...

引用

International Conference on Machine Learning and Cybernetics (ICMLC)

作者： Souhir Elleuch Bassem Jarboui MODILS University of Sfax Tunisie Emirates College of Technology Abu Dhabi United Arab Emirates

ISBN: (纸本)9781538652152

This paper aims to develop a new automatic programming system to solve multi-class classification problem. Our method is based on a recently proposed algorithm called variable neighborhood programming (VNP). VNP is a solution-based metaheuristic which evolves programs and classifiers. Numeric expression is one of classifier representation in automatic programming algorithms. In the case of binary classification, a translation can simply performed according to the sign of the output (negative: class 1, positive: class 2). However, when the number of classes is higher, setting the appropriate boundary values and fixing the optimal class order is more complicated. To solve this problem, we introduce a new local search which aims to find dynamically the more adequate thresholds for each classifier. To include the developed local search within VNP (and also within any automatic programming algorithm), a multidimensional schema is proposed to ensure the simultaneous optimization of the discriminant function (tree),the class order, and the corresponding boundaries. Experimental results on three real data sets show that the proposed approach is a good automatic programming tool, able to build a full classifier with high accuracy in a single run.

关键词： automatic programming Heuristic algorithms Optimization Machine learning algorithms Dynamic programming Machine learning

来源：评论

学校读者我要写书评

暂无评论

programming modular robots with locally distributed predicates

Programming modular robots with locally distributed predicat...

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： Michael De Rosa Seth Goldstein Peter Lee Padmanabhan Pillai Jason Campbell School of Computer Science Carnegie Mellon University USA Intel Research Pittsburgh

We present a high-level language for programming modular robotic systems, based on locally distributed predicates (LDP), which are distributed conditions that hold for a connected subensemble of the robotic system. An LDP program is a collection of LDPs with associated actions which are triggered on any subensemble that matches the predicate. The result is a reactive programming language which efficiently and concisely supports ensemble-level programming. We demonstrate the utility of LDP by implementing three common, but diverse, modular robotic tasks.

关键词： Robot programming Robot kinematics programming profession Robot sensing systems Robotics and automation Computer languages Logic programming automatic programming Functional programming Shape

来源：评论

学校读者我要写书评

暂无评论

An automatic Program Logging System

引用

IRE Transactions on Broadcasting 1961年第1期BC-7卷 11-14页

作者： Flanders, Robert W. Brockway, Robert M. Twin State Broadcasting Inc. Director of Engineering Twin State Broadcasting Inc. Chief Engineer Technical

来源：评论

学校读者我要写书评

暂无评论

Action Sequence Reproduction based on automatic Segmentation and Object-Action Complexes 13

Action Sequence Reproduction based on Automatic Segmentation...

引用

13th IEEE-RAS International Conference on Humanoid Robots (Humanoids)

作者： Waechter, Mirko Schulz, Sebastian Asfour, Tamim Aksoy, Eren Woergoetter, Florentin Dillmann, Ruediger Karlsruhe Inst Technol Inst Anthropomat Adenauerring 2 D-76131 Karlsruhe Germany Univ Gottingen Phys Inst 3 Friedrich Hund Pl 1 D-37077 Gottingen Germany

ISBN: (纸本)9781479926190

Teaching robots object manipulation skills is a complex task that involves multimodal perception and knowledge about processing the sensor data. In this paper, we show a concept for humanoid robots in household environments with a variety of related objects and actions. Following the paradigms of programming by Demonstration (PbD), we provide a flexible approach that enables a robot to adaptively reproduce an action sequence demonstrated by a human. The obtained human motion data with involved objects is segmented into semantic conclusive sub-actions by the detection of relations between the objects and the human actor. Matching actions are chosen from a library of Object-Action Complexes (OACs) using the preconditions and effects of each sub-action. The resulting sequence of OACs is parameterized for the execution on a humanoid robot depending on the observed action sequence and on the state of the environment during execution. The feasibility of this approach is shown in an exemplary kitchen scenario, where the robot has to prepare a dough.

关键词： automatic programming humanoid robots image motion analysis image segmentation image sequences motion control object detection robot programming teaching OAC PbD action sequence reproduction actions matching automatic segmentation household environments human actor human motion data multimodal perception object manipulation skills object-action complexes programming by demonstration robot teaching semantic conclusive subactions sensor data processing Humanoid robots Libraries Liquids Motion segmentation Robot sensing systems Trajectory

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：