Výsledky vyhľadávania - automatic (programming—automatic OR Programming—automatizacia) analysis of algorithms

Inductive data mining based on genetic programming: Automatic generation of decision trees from data for process historical data analysis

Autori: Ma, Chao Y. Wang, Xue Z.

Zdroj: Computers & Chemical Engineering. Oct2009, Vol. 33 Issue 10, p1602-1616. 15p.

Predmety: *DATA mining, *GENETIC programming, *DECISION trees, *DATA analysis, *ELECTRONIC data processing, *ALGORITHMS, *MATHEMATICS literature

Research of VB Programming Automatic Scoring Method Based on the Windows API.

Autori: Tan Peng Fei Li Yan Heng Zhang Chang Yun

Zdroj: Proceedings of the International MultiConference of Engineers & Computer Scientists 2012 Volume I. 2012, Vol. 1, p158-162. 5p.

Predmety: Programming languages, Windows (Graphical user interfaces), Computer programming, Electronic data processing, Algorithms

Cost Analysis of Logic Programs

Autori: Saumya Debray Nai-wei Lin The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Saumya Debray Nai-wei Lin The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.arizona.edu/people/debray/papers/cost_analysis.ps.

Predmety: Programming---automatic analysis of algorithms. General Terms, Languages, Performance Additional Key Words and Phrases, Program Analysis, Complexity, PROLOG

Popis súboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.7367; http://www.cs.arizona.edu/people/debray/papers/cost_analysis.ps

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.7367
http://www.cs.arizona.edu/people/debray/papers/cost_analysis.ps

Empirical hardness models: Methodology and a case study on combinatorial auctions

Autori: Kevin Leyton-brown The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Kevin Leyton-brown The Pennsylvania State University CiteSeerX Archives

Zdroj: http://cs.ubc.ca/%7Ekevinlb/papers/EmpiricalHardness.pdf.

Predmety: Categories and Subject Descriptors, I.2.2 [Artificial Intelligence, Automatic Programming— Automatic analysis of algorithms, Program synthesis, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods, and Search—Graph and tree search strategies, Heuristic methods, I.2.6 [Artificial Intelligence, Learning General Terms, Design, Economics, Experimentation, Measurement, Performance Additional Key Words and Phrases, Empirical Analysis of Algorithms, Algorithm Portfolios, Combinatorial Auctions, Runtime Prediction

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.216.1931; http://cs.ubc.ca/%7Ekevinlb/papers/EmpiricalHardness.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.216.1931
http://cs.ubc.ca/%7Ekevinlb/papers/EmpiricalHardness.pdf

Automated Termination Proofs for Haskell . . .

Autori: Jürgen Giesl Matthias Raffelsieper Peter Schneider-Kamp a ďalší

Prispievatelia: Jürgen Giesl Matthias Raffelsieper Peter Schneider-Kamp a ďalší

Zdroj: http://www.win.tue.nl/%7Emraffels/Haskell_Journal_pre.pdf.

Predmety: Techniques, Applicative (Functional) Programming, I.2.2 [Artificial Intelligence, Automatic Programming—Automatic analysis of algorithms, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving General Terms, Languages, Theory, Verification Additional Key Words and Phrases, functional programming, Haskell, termination analysis, term rewriting, dependency

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.190.3618; http://www.win.tue.nl/%7Emraffels/Haskell_Journal_pre.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.190.3618
http://www.win.tue.nl/%7Emraffels/Haskell_Journal_pre.pdf

Static caching for incremental computation

Autori: Yanhong A. Liu Scott D. Stoller Tim Teitelbaum a ďalší

Prispievatelia: Yanhong A. Liu Scott D. Stoller Tim Teitelbaum a ďalší

Zdroj: http://www.grammatech.com/images/pdf/Scic-TOPLAS98-1.pdf.

Predmety: Categories and Subject Descriptors, D.1 [Programming Techniques, Automatic Programming|automatic analysis of algorithms � program transformation � D.3.3 [Programming, Language Constructs and Features � D.3.4 [Programming Languages, Processors| optimization � F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs General Terms, Algorithms, Languages, Performance Additional Key Words and Phrases, Caching, dependence analysis, incremental computation, incremental programs, intermediate results, memoization, optimization, program e ciency improvement, program

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.4258

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.308.4258
http://www.grammatech.com/images/pdf/Scic-TOPLAS98-1.pdf

Eta-expansion does the Trick

Autori: Olivier Danvy Karoline Malmkjær Jens Palsberg a ďalší

Prispievatelia: Olivier Danvy Karoline Malmkjær Jens Palsberg a ďalší

Zdroj: http://www.cs.ucla.edu/~palsberg/paper/toplas96-dmp.pdf.

Predmety: and Formal Languages, Mathematical Logic—lambda calculus and related systems, I.1.3 [Algebraic Manipulation, Languages and Systems—evaluation strategies, I.2.2 [Artificial Intelligence, Automatic Programming—automatic analysis of algorithms, program transformation

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.8571

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.87.8571
http://www.cs.ucla.edu/~palsberg/paper/toplas96-dmp.pdf

Intelligent Analysis of Optical Images

Autori: Zhengjun Liu Yutong Li

Typ zdroja: eBook.

Kategórie: SCIENCE / Physics / Optics & Light

Automatic grading of students' ALGOL programming: Automatic grading of student's ALGOL programming

Autori: Peter Naur

Zdroj: BIT. 4:177-188

Predmety: numerical analysis, 4. Education

Popis súboru: application/xml

Prístupová URL adresa: https://zbmath.org/3212537
https://doi.org/10.1007/bf01956028
https://link.springer.com/article/10.1007/BF01956028

Guest Editorial: High-Level Parallel Programming and the Road to High Performance.

Autori: García, J. Daniel Gonzalez-Escribano, Arturo

Zdroj: International Journal of Parallel Programming. Apr2019, Vol. 47 Issue 2, p161-163. 3p.

Predmety: *PARALLEL programming, *SWARM intelligence, *METAHEURISTIC algorithms

Efficient Propagation Techniques for Handling Cyclic Symmetries in Binary Programs.

Autori: van Doornmalen, Jasper Hojny, Christopher

Zdroj: INFORMS Journal on Computing; May/Jun2024, Vol. 36 Issue 3, p868-883, 16p

Predmety: CYCLIC groups, SYMMETRY, SYMMETRY groups, PERMUTATION groups

METHODS AND MEANS OF APPLYING ONTOLOGICAL MODELS IN THE PROGRAM SYSTEMS LIFECYCLE OF FLIGHT CONTROL.

Alternate Title: МЕТОДИ ТА ЗАСОБИ ЗАСТОСУВАННЯ ОНТОЛОГІЧНИХ МОДЕЛЕЙ В ЖИТТЄВОМУ ЦИКЛІ ПРОГРАМНИХ СИСТЕМ КОНТРОЛЮ ПОЛЬОТІВ. (Ukrainian)

Autori: Raichev, Ihor Denysenko, Nataliia

Zdroj: Science-Based Technologies; 2025, Vol. 65 Issue 1, p3-20, 18p

Predmety: FLIGHT control systems, LIFE cycles (Biology), AUTOMATIC control systems, ARTIFICIAL intelligence, BUILDING design & construction, FLIGHT simulators

An Automatic Software Defect Repair Method Based on Multi-Objective Genetic Programming.

Autori: Han, Tiantian Chu, Yonghe Liu, Fangzheng

Zdroj: Applied Sciences (2076-3417); Sep2024, Vol. 14 Issue 18, p8550, 17p

Predmety: OPTIMIZATION algorithms, COMPUTER software developers, SOFTWARE maintenance, SEARCH algorithms, COMPUTER software

Reformulations in mathematical programming: automatic symmetry detection and exploitation.

Autori: Liberti, Leo

Zdroj: Mathematical Programming; Feb2012, Vol. 131 Issue 1/2, p273-304, 32p, 11 Charts

Predmety: MATHEMATICAL programming, ALGORITHMS, MATHEMATICAL optimization, NONLINEAR programming, INTEGER programming, MATHEMATICS

A point cloud registration-based calibration algorithm for robot offline programming automatic loading in aero-grinding applications.

Autori: Mu, Zixin Cai, Zhenhua Zeng, Chunnian a ďalší

Zdroj: Industrial Robot; 2022, Vol. 49 Issue 6, p1218-1228, 11p

Design and Implementation of a Data Preprocessing Automatic Assessment Module in Jupyter Notebook.

Autori: HakNeung Go Hyunwoo Moon Youngjun Lee a ďalší

Zdroj: International Journal on Advanced Science, Engineering & Information Technology; 2024, Vol. 14 Issue 6, p1922-1927, 6p

Predmety: HIGH school teachers, PROGRAMMING languages, LEARNING, ONLINE education, EDUCATIONAL outcomes

A New Hybrid Multicriteria Approach Using Fuzzy Graph Controller and Dijkstra's Algorithm for Urban Traffic Congestion.

Autori: Ourabah, Loubna Elkari, Badr Chaibi, Yassine a ďalší

Zdroj: International Review of Automatic Control; Sep2021, Vol. 14 Issue 5, p275-286, 12p

Predmety: TRAFFIC congestion, CITY traffic, FUZZY logic, FUZZY graphs, ALGORITHMS, PUBLIC works, URBAN policy, PROBLEM solving

A-Learn EvId: A Method for Identifying Evidence of Computer Programming Skills Through Automatic Source Code Assessment.

Autori: Jessé Porfirio, Andres Pereira, Roberto Maschio, Eleandro

Zdroj: Revista Brasileira de Informática na Educação; 2021, Vol. 29, p692-717, 26p

Predmety: COMPUTER literacy, COMPUTER programming, FUNCTIONAL assessment

Empirical Hardness Models: Methodology and a Case Study on Combinatorial Auctions

Autori: Kevin Leyton-brown The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Kevin Leyton-brown The Pennsylvania State University CiteSeerX Archives

Zdroj: http://cs.ubc.ca/~kevinlb/papers/EmpiricalHardness.pdf.

Predmety: Categories and Subject Descriptors, I.2.2 [Artificial Intelligence, Automatic Programming— Automatic analysis of algorithms, Program synthesis, I.2.8 [Artificial Intelligence, Problem Solving, Control Methods, and Search—Graph and tree search strategies, Heuristic methods, I.2.6 [Artificial Intelligence, Learning General Terms, Design, Economics, Experimentation, Measurement, Performance Additional Key Words and Phrases, Empirical Analysis of Algorithms, Algorithm Portfolios, Combinatorial Auctions, Runtime Prediction

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.5960; http://cs.ubc.ca/~kevinlb/papers/EmpiricalHardness.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.5960
http://cs.ubc.ca/~kevinlb/papers/EmpiricalHardness.pdf

Automation of Language Sample Analysis.

Autori: Houjun Liu MacWhinney, Brian Fromm, Davida a ďalší

Zdroj: Journal of Speech, Language & Hearing Research; Jul2023, Vol. 66 Issue 7, p2421-2433, 13p, 1 Chart, 1 Graph

Predmety: COMPUTER software, SPEECH therapy, PHONOLOGICAL awareness, SPEECH evaluation, AUTOMATIC speech recognition, ACQUISITION of data, ARTICULATION disorders, AUTOMATION