Search Results - automation programming- program modification*

Refine Results
  1. 1

    Program transformation landscapes for automated program modification using Gin by Petke, Justyna, Alexander, Brad, Barr, Earl T., Brownlee, Alexander E. I., Wagner, Markus, White, David R.

    ISSN: 1382-3256, 1573-7616
    Published: New York Springer US 01.07.2023
    “…Automated program modification underlies two successful research areas — genetic improvement and program repair…”
    Get full text
    Journal Article
  2. 2

    A Barrier Varying-Parameter Dynamic Learning Network for Solving Time-Varying Quadratic Programming Problems With Multiple Constraints by Zhang, Zhijun, Li, Zhongxi, Yang, Song

    ISSN: 2168-2267, 2168-2275, 2168-2275
    Published: United States IEEE 01.09.2022
    Published in IEEE transactions on cybernetics (01.09.2022)
    “…Many scientific research and engineering problems can be converted to time-varying quadratic programming (TVQP…”
    Get full text
    Journal Article
  3. 3

    Home Smart Home: Approachable Interfaces for Intelligibility, Modification, and End-User Programming by Reisinger, Michaela R., Schrammel, Johann, Suette, Stefan, Fröhlich, Peter

    ISSN: 2283-2998, 2283-2998
    Published: ASLERD 01.06.2020
    Published in Interaction design & architecture(s) (01.06.2020)
    “… Smart home control does however not only necessitate end-user programming but also understanding and modifying existing program structures…”
    Get full text
    Journal Article
  4. 4

    Programming a Robot for Conformance Grinding of Complex Shapes by Capturing the Tacit Knowledge of a Skilled Operator by Ng, Wu Xin, Chan, Hau Kong, Teo, Wee Kin, Chen, I-Ming

    ISSN: 1545-5955, 1558-3783
    Published: IEEE 01.04.2017
    “…This paper describes a novel methodology to reduce the effort in automating manual surface finishing processes by bridging the knowledge transfer gap of the manual operator's skills to a robot program…”
    Get full text
    Journal Article
  5. 5

    PRIMO: An Interactive Homology Modeling Pipeline by Hatherley, Rowan, Brown, David K., Glenister, Michael, Tastan Bishop, Özlem

    ISSN: 1932-6203, 1932-6203
    Published: United States Public Library of Science 17.11.2016
    Published in PloS one (17.11.2016)
    “…The development of automated servers to predict the three-dimensional structure of proteins has seen much progress over the years. These servers make…”
    Get full text
    Journal Article
  6. 6

    Performance Evaluation of Modified YOLOv5 Object Detectors for Crop-Weed Classification and Detection in Agriculture Images by Sonawane, Sandip, Patil, Nitin N.

    ISSN: 2661-8907, 2662-995X, 2661-8907
    Published: Singapore Springer Nature Singapore 30.01.2025
    Published in SN computer science (30.01.2025)
    “…Crop-weed classification and detection are essential tasks in precision agriculture for effective weed management. In this study, we employed the most popular…”
    Get full text
    Journal Article
  7. 7

    A Portable Implementation on Industrial Devices of a Predictive Controller Using Graphical Programming by Folea, Silviu C., Mois, George, Muresan, Cristina I., Miclea, Liviu, De Keyser, Robain, Cirstea, Marcian N.

    ISSN: 1551-3203, 1941-0050
    Published: Piscataway IEEE 01.04.2016
    “… program modifications. Based on the time needed for processing the control signal and on the application, one can efficiently and easily select the most appropriate device…”
    Get full text
    Journal Article
  8. 8

    Using model transformation to refactor use case models based on antipatterns by Khan, Yasser A., El-Attar, Mohamed

    ISSN: 1387-3326, 1572-9419
    Published: New York Springer US 01.02.2016
    Published in Information systems frontiers (01.02.2016)
    “…Use Case modeling is a popular technique for documenting functional requirements of software systems. Refactoring is the process of enhancing the structure of…”
    Get full text
    Journal Article
  9. 9

    Design and Implementation of an Interactive Website to Support Long-Term Maintenance of Weight Loss by Stevens, Victor J, Funk, Kristine L, Brantley, Phillip J, Erlinger, Thomas P, Myers, Valerie H, Champagne, Catherine M, Bauck, Alan, Samuel-Hodge, Carmen D, Hollis, Jack F

    ISSN: 1438-8871, 1438-8871
    Published: Canada Gunther Eysenbach MD MPH, Associate Professor 25.01.2008
    Published in Journal of medical Internet research (25.01.2008)
    “… Internet-based weight loss maintenance programs offer considerable potential for meeting this need…”
    Get full text
    Journal Article
  10. 10

    AUTOMATED DETERMINATION OF CONSTITUTIVE PARAMETERS USING A METAHEURISTIC OPTIMIZATION METHOD IN SYNTHETIC EXPERIMENT by Koudela, Pavel, Chalmovsky, Juraj

    ISSN: 1314-2704
    Published: Sofia Surveying Geology & Mining Ecology Management (SGEM) 01.01.2018
    “… Optimization methods provide a possible solution for this problem. A program application based on the metaheuristic optimization method Particle swarm optimization (PSO…”
    Get full text
    Conference Proceeding
  11. 11

    openwifi: a free and open-source IEEE802.11 SDR implementation on SoC by Jiao, Xianjun, Liu, Wei, Mehari, Michael, Aslam, Muhammad, Moerman, Ingrid

    ISSN: 2577-2465
    Published: IEEE 01.05.2020
    Published in IEEE Vehicular Technology Conference (01.05.2020)
    “…Open source Software Defined Radio (SDR) project, such as srsLTE and Open Air Interface (OAI), has been widely used for 4G/5G research. However the SDR…”
    Get full text
    Conference Proceeding
  12. 12

    Organic synthesis in a modular robotic system driven by a chemical programming language by Steiner, Sebastian, Wolf, Jakob, Glatzel, Stefan, Andreou, Anna, Granda, Jarosław M, Keenan, Graham, Hinkley, Trevor, Aragon-Camarasa, Gerardo, Kitson, Philip J, Angelone, Davide, Cronin, Leroy

    ISSN: 1095-9203, 1095-9203
    Published: United States 11.01.2019
    “… To address these shortcomings, we developed an abstraction that maps commonly reported methodological instructions into discrete steps amenable to automation…”
    Get more information
    Journal Article
  13. 13

    Evolving Processing Pipelines for Industrial Imaging with Cartesian Genetic Programming by Margraf, Andreas, Cui, Henning, Stein, Anthony, Hahner, Jorg

    Published: IEEE 25.09.2023
    “… This paper proposes a refinement of Miller's Cartesian Genetic Programming methodology, aimed at generating filter pipelines for image processing tasks…”
    Get full text
    Conference Proceeding
  14. 14

    Re-Factoring Based Program Repair Applied to Programming Assignments by Hu, Yang, Ahmed, Umair Z., Mechtaev, Sergey, Leong, Ben, Roychoudhury, Abhik

    ISSN: 2643-1572
    Published: IEEE 01.11.2019
    “…Automated program repair has been used to provide feedback for incorrect student programming assignments, since program repair captures the code modification needed to make a given buggy program pass a given test-suite…”
    Get full text
    Conference Proceeding
  15. 15

    Trajectory modification of a cloud learning robot by Song, Kai-Tai, Song, Shao-Huan, Liu, Hung-Shen

    Published: IEEE 01.11.2017
    “… For some users, who are not familiar with programming, customizing the robot program deserves attention…”
    Get full text
    Conference Proceeding
  16. 16

    Automated Program Repair for Introductory Programming Assignments by Wan, Han, Luo, Hongzhen, Li, Mengying, Luo, Xiaoyan

    ISSN: 1939-1382, 2372-0050
    Published: Piscataway IEEE 2024
    “… Then, it utilizes these code modifications along with CodeBERT, a generative AI, to repair students' new incorrect programs in the same programming assignment…”
    Get full text
    Journal Article
  17. 17

    Automation of C Program Deductive Verification without Using Loop Invariants by Kondratyev, D. A., Nepomniaschy, V. A.

    ISSN: 0361-7688, 1608-3261
    Published: Moscow Pleiades Publishing 01.10.2022
    Published in Programming and computer software (01.10.2022)
    “…Automation of C program verification is an important problem in modern software development…”
    Get full text
    Journal Article
  18. 18

    Self-Programming Machines (II): Network of Self-Programming Machines Driving an Ashby Homeostat by Moulin, J.-P.

    ISSN: 0001-5342, 1572-8358
    Published: Netherlands Springer Nature B.V 01.01.2003
    Published in Acta biotheoretica (01.01.2003)
    “… Our paper "Self-Programming Machines (I)" presents a non-finalist model since initial states and functions are randomly chosen at the beginning and once and for all…”
    Get full text
    Journal Article
  19. 19

    Automatic Repair of Java Programs Weighted Fusion Similarity via Genetic Programming by Cao, Heling, He, Zhenghaohe, Meng, Yangxia, Chu, Yonghe

    ISSN: 1392-124X, 2335-884X
    Published: Kaunas University of Technology 12.12.2022
    Published in Information technology and control (12.12.2022)
    “… In this paper, we propose a repair approach for buggy program based on weighted fusion similarity and genetic programming…”
    Get full text
    Journal Article
  20. 20

    Efficient program optimization through knowledge-enhanced LoRA fine-tuning of large language models by Xu, Caixu, Guo, Hui, Cen, Caicun, Chen, Minglang, Tao, Xiongjie, He, Jie

    ISSN: 1573-0484, 0920-8542, 1573-0484
    Published: New York Springer US 10.06.2025
    Published in The Journal of supercomputing (10.06.2025)
    “…Source code optimization enables developers to enhance programs at the human–computer interaction level, thereby improving development efficiency and product quality…”
    Get full text
    Journal Article