Search Results - Automatic Pro- programming—Automatic analysis of algorithms

Automation of Language Sample Analysis.

Authors: Houjun Liu MacWhinney, Brian Fromm, Davida et al.

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

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

Reformulations in mathematical programming: automatic symmetry detection and exploitation.

Authors: Liberti, Leo

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

Subject Terms: MATHEMATICAL programming, ALGORITHMS, MATHEMATICAL optimization, NONLINEAR programming, INTEGER programming, MATHEMATICS

Clamping Error Calibration Algorithm of Aero-Engine Blade Surface Polishing.

Authors: Wu, Dongbo Wang, Zesheng Liang, Jiawei et al.

Source: International Journal of Precision Engineering & Manufacturing; Jul2023, Vol. 24 Issue 7, p1147-1159, 13p

Automatic programming: The open issue?

Authors: O'Neill, Michael Spector, Lee

Source: Genetic Programming & Evolvable Machines; Jun2020, Vol. 21 Issue 1/2, p251-262, 12p

Source-to-Source Parallelization Compilers for Scientific Shared-Memory Multi-core and Accelerated Multiprocessing: Analysis, Pitfalls, Enhancement and Potential.

Authors: Harel, Re'em Mosseri, Idan Levin, Harel et al.

Source: International Journal of Parallel Programming; Feb2020, Vol. 48 Issue 1, p1-31, 31p

Subject Terms: MULTIPROCESSORS, COMPILERS (Computer programs), ARCHITECTURE, MAGNITUDE (Mathematics), PARALLEL programming

Machine-learning scoring functions trained on complexes dissimilar to the test set already outperform classical counterparts on a blind benchmark.

Authors: Li, Hongjian Lu, Gang Sze, Kam-Heung et al.

Source: Briefings in Bioinformatics; Nov2021, Vol. 22 Issue 6, p1-21, 21p

Subject Terms: RANDOM forest algorithms, SENSE data

Enhanced Non-Orthogonal Multiple Access Performance Using Channel Coding for High-Altitude Platform System (HAPS).

Authors: Mahyastuty, Veronica Windha Ghozali, Theresia Octaviani, Sandra et al.

Source: International Journal on Advanced Science, Engineering & Information Technology; 2024, Vol. 14 Issue 4, p1192-1198, 107p

Subject Terms: CHANNEL coding, EARTH stations, RICIAN channels, TELECOMMUNICATION systems, SIGNAL-to-noise ratio, DATA transmission systems

TOWARD AUTOMATING THE SOFTWARE-DEVELOPMENT CYCLE.

Authors: Frenkel, Karen A.

Source: Communications of the ACM; Jun85, Vol. 28 Issue 6, p578-589, 12p, 5 Diagrams, 1 Chart, 1 Graph

Subject Terms: AUTOMATIC programming (Computer science), COMPUTER software development, COMPUTER science, COMPUTER programming, COMPUTER software, CYBERNETICS

LiToTac: An Interactive-Interface Software for Finite Element Analysis of Multiple Contact Dynamics.

Authors: Lei Peng Zhiqiang Feng Joli, Pierre et al.

Source: Computer Modeling in Engineering & Sciences (CMES); 2019, Vol. 118 Issue 1, p111-137, 27p

Subject Terms: FINITE element method software, CONTACT mechanics, OBJECT-oriented methods (Computer science), ANSYS (Computer system), COMPUTATIONAL mechanics

Genetic Programming's Human-Competitive Results.

Authors: Koza, John R. Keane, Martin A. Streeter, Matthew J.

Source: IEEE Intelligent Systems; May/Jun2003, Vol. 18 Issue 3, p25-31, 7p, 3 Black and White Photographs, 4 Diagrams, 2 Charts

Subject Terms: GENETIC programming, GENETIC algorithms, ARTIFICIAL intelligence

Using automatic memoization as a software engineering tool in real-world AI systems.

Authors: Mayfield, J. Finin, T. Hall, M.

Source: Proceedings the 11th Conference on Artificial Intelligence for Applications; 1995, p87-93, 7p

Computer Aided Verification : 30th International Conference, CAV 2018, Held As Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Authors: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

Subjects: Artificial intelligence, Logic, Symbolic and mathematical, Electronic data processing, Computer simulation, Software engineering, Computer science, Computer logic, Algorithms, Digital computer simulation, Computer algorithms

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Programming / Algorithms, COMPUTERS / Computer Simulation

Automated Termination Proofs for Haskell by Term Rewriting.

Authors: Giesl, Jürgen Raffelsieper, Matthias Schneider-Kamp, Peter et al.

Source: ACM Transactions on Programming Languages & Systems; Mar2011, Vol. 33 Issue 2, p7-7:39, 39p

Subject Terms: REWRITING systems (Computer science), DOCUMENT markup languages, HASKELL (Computer program language), POLYMORPHIC projection (Cartography), AUTOMATIC programming (Computer science), AUTOMATIC theorem proving, SOFTWARE verification, FUNCTIONAL programming (Computer science)

A Survey of Evolutionary Algorithms for Decision-Tree Induction.

Authors: Barros, Rodrigo Coelho Basgalupp, Márcio Porto de Carvalho, André C. P. L. F. et al.

Source: IEEE Transactions on Systems, Man & Cybernetics: Part C - Applications & Reviews; May2012, Vol. 42 Issue 3, p291-312, 22p

Subject Terms: ALGORITHMS, MATHEMATICAL models, DECISION trees, HEURISTIC algorithms, CHARTS, diagrams, etc.

AUTONOMOUS WEAPON SYSTEMS UNDER INTERNATIONAL LAW.

Alternate Title: ULUSLARARASI HUKUK KAPSAMINDA OTONOM SİLAH SİSTEMLERİ. (Turkish)

Authors: AKKUŞ, Berkant

Source: Journal of Security Sciences / Güvenlik Bilimleri Dergisi; Nov2022, Vol. 11 Issue 2, p334-366, 33p

Subject Terms: WEAPONS systems, HUMANITARIAN law, INTERNATIONAL law, HIGH technology

Subject index.

Authors: Winder, R.

Source: IEEE Transactions on Electronic Computers; 1965, Vol. EC-14 Issue 2, p294-298, 5p

Automated Energy/Performance Macromodeling of Embedded Software.

Authors: Muttreja, Anish Raghunathan, Anand Ravi, Srivaths et al.

Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems; Mar2007, Vol. 26 Issue 3, p542-552, 11p, 4 Black and White Photographs, 4 Charts, 4 Graphs

Subject Terms: GENETIC programming, SOFTWARE architecture, AUTOMATIC data collection systems, EMBEDDED computer systems, ENERGY consumption, COMPUTER software research

Automatic robot programming by visual demonstration of task execution.

Authors: Yeasin, M. Chaudhuri, S.

Source: 1997 8th International Conference on Advanced Robotics Proceedings ICAR'97; 1997, p913-918, 6p

On Software, or the Persistence of Visual Knowledge.

Authors: Chun, Wendy Hui Kyong

Source: Grey Room; Winter2005, Vol. 18, p27-51, 25p, 1 Diagram

Subject Terms: COMPUTER software, COMPUTER science, COMPUTER scientists, ENIAC (Computer), AUTOMATIC programming (Computer science)

People: BROY, Manfred

Power Transformer Fault Classification Based on Dissolved Gas Analysis by Implementing Bootstrap and Genetic Programming.

Authors: Shintemirov, A. Tang, W. Wu, Q. H.

Source: IEEE Transactions on Systems, Man & Cybernetics: Part C - Applications & Reviews; Feb2009, Vol. 39 Issue 1, p69-79, 11p, 2 Diagrams, 13 Charts, 2 Graphs

Subject Terms: ELECTRIC transformers, GAS analysis, DATA corruption, GENETIC programming, SUPPORT vector machines, STATISTICAL bootstrapping