Search Results - "Programming by examples"
-
1
Authors: et al.
Contributors: et al.
Source: IEEE Transactions on Cybernetics. 51:2612-2624
Subject Terms: regular expressions, Evolution, Molecular, Machine Learning, Models, Genetic, Diversity promotion, programming by examples (PBEs), 0202 electrical engineering, electronic engineering, information engineering, find-and-replace, Data Mining, 02 engineering and technology, Algorithms, Software
File Description: ELETTRONICO; application/pdf
Access URL: https://arts.units.it/bitstream/11368/2946745/1/2019-TCyb-EvolutionaryStringReplace.pdf
https://pubmed.ncbi.nlm.nih.gov/31199282
http://hdl.handle.net/11368/2946745
https://ieeexplore.ieee.org/document/8734703
https://dblp.uni-trier.de/db/journals/tcyb/tcyb51.html#BartoliLMT21
https://ieeexplore.ieee.org/document/8734703
https://pubmed.ncbi.nlm.nih.gov/31199282/
https://www.ncbi.nlm.nih.gov/pubmed/31199282
https://hdl.handle.net/11368/2946745
https://ieeexplore.ieee.org/document/8734703
https://doi.org/10.1109/TCYB.2019.2918337 -
2
Authors:
Source: IEEE Access, Vol 9, Pp 71521-71534 (2021)
Subject Terms: deductive search, relational programming, miniKanren, functional programs, 0202 electrical engineering, electronic engineering, information engineering, deep learning, Electrical engineering. Electronics. Nuclear engineering, 02 engineering and technology, Programming by examples, TK1-9971
-
3
Authors: YAN Qian-yu, LI Yi, PENG Xin
Source: Jisuanji kexue, Vol 49, Iss 11, Pp 1-7 (2022)
Subject Terms: program synthesis, programming by examples, search strategy, ambiguity, Computer software, QA76.75-76.765, Technology (General), T1-995
File Description: electronic resource
-
4
Authors: et al.
Contributors: et al.
Source: Proceedings of the 31st Annual ACM Symposium on Applied Computing. :97-102
Subject Terms: Machine Learning, 0202 electrical engineering, electronic engineering, information engineering, Entity Extraction, Information Extraction, Programming by Examples, 02 engineering and technology, Programming by Example
File Description: STAMPA; application/pdf
-
5
Authors: et al.
Source: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering. :593-604
Subject Terms: Symbolic execution, 0202 electrical engineering, electronic engineering, information engineering, Program repair, Software Engineering, 02 engineering and technology, Inductive synthesis, Programming by examples
File Description: application/pdf
Access URL: https://ink.library.smu.edu.sg/sis_research/3917
https://dblp.uni-trier.de/db/conf/sigsoft/fse2017.html#LeCLGV17
https://findanexpert.unimelb.edu.au/scholarlywork/1414941-s3--syntax--and-semantic-guided-repair-synthesis-via-programming -by-examples
https://ink.library.smu.edu.sg/cgi/viewcontent.cgi?article=4919&context=sis_research
https://dl.acm.org/doi/10.1145/3106237.3106309
https://ink.library.smu.edu.sg/sis_research/3917/
https://core.ac.uk/display/155249378 -
6
Authors:
Source: 日本セキュリティ・マネジメント学会誌 / SECURITY MANAGEMENT. 2022, 36(3):16
-
7
Authors: et al.
Contributors: et al.
Source: ACM SIGAPP Applied Computing Review. 16:7-15
Subject Terms: Machine Learning, 0202 electrical engineering, electronic engineering, information engineering, Entity Extraction, Information Extraction, Programming by Examples, 02 engineering and technology, Programming by Example
File Description: ELETTRONICO; application/pdf
Access URL: https://arts.units.it/retrieve/handle/11368/2880141/115779/2016_ACR_ActiveLearningRegex%20%281%29.pdf
http://hdl.handle.net/11368/2880141
http://dl.acm.org/citation.cfm?id=2993232
https://core.ac.uk/display/53749040
https://dl.acm.org/doi/10.1145/2993231.2993232
https://arts.units.it/handle/11368/2880141 -
8
Authors: et al.
Contributors: et al.
Source: IEEE Transactions on Knowledge and Data Engineering. 28:1217-1230
Subject Terms: Information extraction, Programming by example, Genetic Programming, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Heuristic search, Programming by examples, Multiobjective optimization
File Description: STAMPA; application/pdf
Access URL: https://arts.units.it/retrieve/handle/11368/2864925/89964/2015_TKDE_RegexInference%20%281%29.pdf
https://ieeexplore.ieee.org/document/7374717
http://hdl.handle.net/11368/2864925
https://arts.units.it/handle/11368/2864925
https://www.computer.org/csdl/journal/tk/2016/05/07374717/13rRUygT7ta
https://ieeexplore.ieee.org/document/7374717
https://dl.acm.org/doi/10.1109/TKDE.2016.2515587
https://dblp.uni-trier.de/db/journals/tkde/tkde28.html#BartoliLMT16
https://dl.acm.org/citation.cfm?id=2925390
https://ieeexplore.ieee.org/document/7374717
https://doi.org/10.1109/TKDE.2016.2515587
https://hdl.handle.net/11368/2864925 -
9
-
10
Authors: et al.
Source: Leiva, G, Grønbæk, J E, Klokmose, C N, Nguyen, C, Kazi, R H & Asente, P 2021, Rapido : Prototyping Interactive AR Experiences through Programming by Demonstration. in UIST 2021 - Proceedings of the 34th Annual ACM Symposium on User Interface Software and Technology. Association for Computing Machinery, UIST 2021 - Proceedings of the 34th Annual ACM Symposium on User Interface Software and Technology, pp. 626-637, 34th Annual ACM Symposium on User Interface Software and Technology, UIST 2021, Virtual, Online, United States, 10/10/2021. https://doi.org/10.1145/3472749.3474774
Subject Terms: design by enaction, programming with examples, rapid prototyping
Relation: urn:ISBN:9781450386357
-
11
Authors: et al.
Subject Terms: Data transformation, Program synthesis, Programming by examples
Relation: https://doi.org/10.1145/3183440.3194963; http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=LinksAMR&SrcApp=PARTNER_APP&DestLinkType=FullRecord&DestApp=WOS&KeyUT=000450109000103
Availability: http://repository.hkust.edu.hk/ir/Record/1783.1-92157
https://doi.org/10.1145/3183440.3194963
http://lbdiscover.ust.hk/uresolver?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rfr_id=info:sid/HKUST:SPI&rft.genre=article&rft.issn=&rft.volume=&rft.issue=&rft.date=2018&rft.spage=&rft.aulast=Wu&rft.aufirst=Jiarong&rft.atitle=Synthesizing+Relation-Aware+Entity+Transformation+by+examplesE&rft.title=Companion+Volume
http://www.scopus.com/record/display.url?eid=2-s2.0-85049685534&origin=inward
http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=LinksAMR&SrcApp=PARTNER_APP&DestLinkType=FullRecord&DestApp=WOS&KeyUT=000450109000103 -
12
Authors:
Source: 人工知能 / Journal of the Japanese Society for Artificial Intelligence. 1987, 2(3):299
-
13
Authors:
Subject Terms: Applied computing not elsewhere classified, Programming with Examples, GUI Builder, Visual Query Language, Applied Computer Science
-
14
Authors:
Contributors:
Subject Terms: active learning, data wrangling, programming by examples, program synthesis, software engineering, user interaction models, Computer science, Computer engineering, Computer science and engineering
File Description: application/pdf
Relation: polozov-final-exam.pptx; presentation; Slides of the dissertation defense.; Polozov_washington_0250E_16986.pdf; http://hdl.handle.net/1773/40009
Availability: http://hdl.handle.net/1773/40009
-
15
Authors:
Contributors:
Subject Terms: General Terms Languages, Theory Keywords Deductive Synthesis, Inductive Synthesis, Programming by Examples, Programming by Demonstration, SAT Solving, SMT Solving, Machine Learning, Probabilistic Inference, Belief Propagation, Genetic Programming
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.367.9604; http://www.cis.upenn.edu/~alur/CIS673/gulwani10.pdf
-
16
Authors:
Contributors:
Subject Terms: Inductive Synthesis, Programming by Examples, Programming by Demonstration, SAT Solving, SMT Solving, Machine Learning, Probabilistic Inference, Belief Propagation, Genetic Programming
File Description: application/pdf
-
17
Authors: et al.
Contributors: et al.
Subject Terms: Program synthesis, Programming-by-examples, Programming-by-natural-language, Databases
File Description: application/pdf
Relation: http://hdl.handle.net/2152/68138
-
18
-
19
-
20
Alternate Title: Izdanja.
Source: Croatian Journal of Education / Hrvatski Časopis za Odgoj i Obrazovanje. Dec2014, Vol. 16 Issue 4, p1215-1219. 5p.
Subject Terms: Nonfiction
Reviews & Products: Helping Them Grow up: A Handbook for the Partnership between Preschool Teachers & Parents (Book), Book of Proceedings, International Scientific Conference Child & Aesthetics Expression, Zadar 13 - 14 May 2011 (Book), Computer Programming: Instructions, Examples, Tasks & Solutions in the PostScript Programing Language Included (Book)
Full Text Finder
Nájsť tento článok vo Web of Science