Výsledky vyhledávání - "Programming by example"

Programming by Example Made Easy

Autoři: Jiarong Wu Lili Wei Yanyan Jiang a další

Zdroj: ACM Transactions on Software Engineering and Methodology. 33:1-36

Témata: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Programming Languages, Programming by example, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Program synthesis, Programming Languages (cs.PL)

Přístupová URL adresa: http://arxiv.org/abs/2307.07965

Neurosymbolic Models for Computer Graphics

Autoři: Ritchie, D Guerrero, P Jones, RK a další

Zdroj: Computer Graphics Forum. 42:545-568

Témata: FOS: Computer and information sciences, Computer Science - Graphics, CCS Concepts • Computing methodologies → Shape modeling, Programming by example, 0202 electrical engineering, electronic engineering, information engineering, Computer vision • Software and its engineering → Domain specific languages, 02 engineering and technology, Texturing, Reflectance modeling, Neural networks, Graphics (cs.GR)

Přístupová URL adresa: http://arxiv.org/abs/2304.10320
https://discovery-pp.ucl.ac.uk/id/eprint/10173727/

Formal XAI via Syntax-Guided Synthesis

Autoři: Bjørner, Katrine Judson, Samuel Cano, Filip a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783031460012
AISoLA 2023 proceedings

Témata: Explainable machine learning, Programming by Example (PbE), Program synthesis, Syntax-Guided Synthesis (SyGuS)

Rigel: Transforming Tabular Data by Declarative Mapping

Autoři: Ran Chen Di Weng Yanwei Huang a další

Zdroj: IEEE Transactions on Visualization and Computer Graphics. :1-11

Témata: Self-service data transformation, Data visualization, Writing, Programming by example, Task analysis, Usability, Data models, 0202 electrical engineering, electronic engineering, information engineering, Economic indicators, 02 engineering and technology, Transforms, Declarative specification, Data transformation

Přístupová URL adresa: https://pubmed.ncbi.nlm.nih.gov/36191098

Neural Network Approach to Program Synthesis for Tabular Transformation by Example

Autoři: Yoshifumi Ujibashi Atsuhiro Takasu

Zdroj: IEEE Access, Vol 10, Pp 24864-24876 (2022)

Témata: neural network, Automatic programming, 0202 electrical engineering, electronic engineering, information engineering, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, beam search, LSTM, programming by example, program synthesis, TK1-9971

Přístupová URL adresa: https://ieeexplore.ieee.org/ielx7/6287639/6514899/09723421.pdf
https://doaj.org/article/eb31f17e54ad4d0aabd04e78fbf4e523

Generalized planning as heuristic search: A new planning search-space that leverages pointers over objects

Autoři: Segovia-Aguas, Javier Jonsson, Anders Jiménez Celorrio, Sergio a další

Přispěvatelé: Segovia-Aguas, Javier Jonsson, Anders Jiménez Celorrio, Sergio a další

Témata: Generalized planning, Classical planning, Heuristic search, Planning and learning, Domain-specific control knowledge, Program synthesis, Programming by example, LENGUAJES Y SISTEMAS INFORMATICOS

Popis souboru: application/pdf

Relation: Artificial Intelligence; info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/PID2019-108141GB-I00/ES/APRENDIZAJE Y PLANIFICACION CONTINUA/; info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2021-2023/PID2021-127647NB-C22/ES/APRENDIZAJE PARA PLANIFICACION SENSIBLE AL HUMANO/; info:eu-repo/grantAgreement/EC/H2020/101016442/EU/Bringing AI Planning to the European AI On-Demand Platform/; info:eu-repo/grantAgreement/EC/H2020/952215/EU/Integrating Reasoning, Learning and Optimization/; info:eu-repo/grantAgreement/AEI//CEX2021-001195-M/; https://doi.org/10.1016/j.artint.2024.104097; https://riunet.upv.es/handle/10251/206457

Dostupnost: https://riunet.upv.es/handle/10251/206457
https://doi.org/10.1016/j.artint.2024.104097

Semantic programming by example with pre-trained models

Autoři: Gust Verbruggen Vu Le Sumit Gulwani

Zdroj: Proceedings of the ACM on Programming Languages

Témata: 4613 Theory of computation, Technology, Science & Technology, language models, Computer Science, 4903 Numerical and computational mathematics, 0202 electrical engineering, electronic engineering, information engineering, 4612 Software engineering, 02 engineering and technology, Computer Science, Software Engineering, program synthesis, programming by example

Přístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3485477
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl5.html#VerbruggenLG21
https://dl.acm.org/doi/10.1145/3485477
https://dl.acm.org/doi/pdf/10.1145/3485477
https://lirias.kuleuven.be/handle/20.500.12942/697357
https://doi.org/10.1145/3485477

Reverse Sketching

Autoři: Tyler Holloway Chelse Swoopes Ian Arawjo a další

Témata: Human-computer interaction, Programming languages, Program Synthesis, Programming by Example, Computer-Human Interaction

Relation: https://figshare.com/articles/conference_contribution/Reverse_Sketching/22277320

Dostupnost: https://doi.org/10.1184/r1/22277320.v1
https://figshare.com/articles/conference_contribution/Reverse_Sketching/22277320

Leveraging EUD and Generative AI for Ethical Phishing Campaigns

Autoři: Breve, Bernardo Buono, Paolo Caruccio, Loredana a další

Přispěvatelé: Breve, Bernardo Buono, Paolo Caruccio, Loredana a další

Témata: Cybersecurity, Ethical Phishing Campaigns, Generative AI, Live Programming, Programming by Example

Relation: info:eu-repo/semantics/altIdentifier/isbn/9783031954511; info:eu-repo/semantics/altIdentifier/isbn/9783031954528; info:eu-repo/semantics/altIdentifier/wos/WOS:001555599300016; ispartofbook:Lecture Notes in Computer Science; 10th International Symposium on End-User Development, IS-EUD 2025; volume:15713 LNCS; firstpage:264; lastpage:282; numberofpages:19; serie:LECTURE NOTES IN COMPUTER SCIENCE; https://hdl.handle.net/11584/459567

Dostupnost: https://hdl.handle.net/11584/459567
https://doi.org/10.1007/978-3-031-95452-8_16

Program Synthesis for Geometric Modeling

Autoři: Pascual, Romain Le Gall, Pascale Belhaouari, Hakim a další

Přispěvatelé: Pascual, Romain Le Gall, Pascale Belhaouari, Hakim a další

Zdroj: 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025)
https://hal.science/hal-05269368
35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Sep 2025, Rende, Italy. pp.135-153, ⟨10.1007/978-3-032-04848-6_9⟩

Témata: Constraint-solving, Topology-based geometric modeling, Domain-specific language, Programming-by-example, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Geografické téma: Rende, Italy

Dostupnost: https://hal.science/hal-05269368
https://hal.science/hal-05269368v1/document
https://hal.science/hal-05269368v1/file/postprint.pdf
https://doi.org/10.1007/978-3-032-04848-6_9

Robust relational layout synthesis from examples for Android

Autoři: Bielik, Pavol Fischer, Marc Vechev, Martin

Zdroj: Proceedings of the ACM on Programming Languages, 2 (OOPSLA)
Proceedings of the ACM on Programming Languages

Témata: Relational layouts, Programming by example, User interface design, 0202 electrical engineering, electronic engineering, information engineering, Probabilistic models, 02 engineering and technology, Program synthesis, User interface errors

Popis souboru: application/application/pdf

Přístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3276526
https://www.research-collection.ethz.ch/handle/20.500.11850/319644
https://dl.acm.org/doi/10.1145/3276526
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl2.html#BielikFV18
https://dl.acm.org/doi/pdf/10.1145/3276526
https://jglobal.jst.go.jp/en/detail?JGLOBAL_ID=202002231606425131
https://dl.acm.org/citation.cfm?id=3276526
https://doi.org/10.1145/3276526
http://hdl.handle.net/20.500.11850/319644

HILC: Domain-Independent PbD System Via Computer Vision and Follow-Up Questions

Autoři: Intharah, T Turmukhambetov, D Brostow, GJ

Zdroj: ACM Transactions on Interactive Intelligent Systems. 9:1-27

Témata: 4. Education, Graphical user interfaces, 02 engineering and technology, 16. Peace & justice, User interface programming, Action Segmentation and Recognition, Computing methodologies, GUI Automation, 3. Good health, Activity recognition and understanding, Visual-based Programming by Demonstration, Human-centered computing, Programming by example, Software and its engineering, 0202 electrical engineering, electronic engineering, information engineering, Programming by Demonstration, 10. No inequality

Přístupová URL adresa: https://dblp.uni-trier.de/db/journals/tiis/tiis9.html#IntharahTB19
https://discovery-pp.ucl.ac.uk/id/eprint/10075771/

Customization of Web applications through an intelligent environment exploiting logical interface descriptions

Thesis Advisors: UAM. Departamento de Ingeniería Informática, Herramientas Interactivas Avanzadas (ING EPS-003)

Zdroj: Interacting with Computers 20.1 (2008): 29-47
0953-5438 (print)
1873-7951 (online)
29
1
47
20

Témata: End-User Development, Human-computer interaction, Intelligent user interfaces, Model-Based User Interfaces, Programming by Example, Web-based nomadic applications, Informática, Telecomunicaciones

Přístupová URL adresa: http://hdl.handle.net/10486/667452

Intelligent assistance in authoring dynamically generated Web interfaces

Thesis Advisors: UAM. Departamento de Ingeniería Informática, Herramientas Interactivas Avanzadas (ING EPS-003)

Zdroj: World Wide Web 11.2 (2008): 253-286
1386-145X (print)
1573-1413 (online)
253
2
286
11

Témata: End-user development, Intelligent web-based user interfaces, Model-based user interface design, Semantic web interaction, Web-based programming by example, Informática

Přístupová URL adresa: http://hdl.handle.net/10486/667386

Dynamic web page authoring by example using ontology-based domain knowledge

Thesis Advisors: UAM. Departamento de Ingeniería Informática

Zdroj: IUI '03: Proceedings of the 8th international conference on Intelligent user interfaces. ACM, 2003. 133-140
1-58113-586-6
133
140

Témata: Programming By Example, Ontology, Model-based Paradigm, Knowledge-based UI Design, Informática

Přístupová URL adresa: http://hdl.handle.net/10486/667376

Providing end-user facilities to simplify ontology-driven web application authoring

Thesis Advisors: UAM. Departamento de Ingeniería Informática

Zdroj: Interacting with Computers 19.4 (2007): 563-585
0953-5438 (print)
1873-7951 (online)
563
4
585
19

Témata: End-User Development, Human-computer interaction, Intelligent user interfaces, Model-Based User Interfaces, Programming by example, Semantic web, Informática, Telecomunicaciones

Přístupová URL adresa: http://hdl.handle.net/10486/667451

Semantic monitoring techniques for EUD

Thesis Advisors: UAM. Departamento de Ingeniería Informática, Herramientas Interactivas Avanzadas (ING EPS-003)

Zdroj: Workshop on Perspectives in End User Modeling. ACM, April 16, 2003

Témata: End-User Development, Programming By Example, Intelligent User Interfaces, Model-Based User Interfaces, Knowledge Extraction, Informática

Přístupová URL adresa: http://hdl.handle.net/10486/665333

Intelligent support for end-user web interface customization

Thesis Advisors: UAM. Departamento de Ingeniería Informática, Herramientas Interactivas Avanzadas (ING EPS-003)

Zdroj: Engineering Interactive Systems: EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers. Lecture Notes in Computer Science, Volumen 4940. Springer, 2007. 303-320.
978-3-540-92697-9 (print)
978-3-540-92698-6 (online)
0302-9743 (print)
1611-3349 (online)
303
320
4940

Témata: End-User Development, Intelligent User Interfaces, Model-Based Design of User Interfaces, Programming by Example, Informática

Přístupová URL adresa: http://hdl.handle.net/10486/664760

How to Drawjectory? Trajectory planning using Programming by Demonstration

Autoři: Alkewitz, Leonhard Tichy, Matthias

Přispěvatelé: Alkewitz, Leonhard Tichy, Matthias

Témata: (Semi-Automatic) Trajectory Planning, Programmierung durch Vormachen, Programming by example (Computer science), Programming by Demonstration, Quadrocopter

Popis souboru: application/pdf

Přístupová URL adresa: http://nbn-resolving.de/urn:nbn:de:bsz:289-oparu-54477-1

Perfect Is the Enemy of Good: Best-Effort Program Synthesis

Autoři: Peleg, Hila Polikarpova, Nadia Hila Peleg and Nadia Polikarpova

Přispěvatelé: Peleg, Hila Polikarpova, Nadia Hila Peleg and Nadia Polikarpova

Témata: Program Synthesis, Programming by Example

Popis souboru: application/pdf

Relation: Is Part Of LIPIcs, Volume 166, 34th European Conference on Object-Oriented Programming (ECOOP 2020); https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.2

Dostupnost: https://doi.org/10.4230/LIPIcs.ECOOP.2020.2
https://nbn-resolving.org/urn:nbn:de:0030-drops-131593
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.2