Suchergebnisse - Automatic Pro- programming—Automatic analysis of algorithms~

Automation of Language Sample Analysis.

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

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

Schlagwörter: 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.

Autoren: Liberti, Leo

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

Schlagwörter: MATHEMATICAL programming, ALGORITHMS, MATHEMATICAL optimization, NONLINEAR programming, INTEGER programming, MATHEMATICS

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

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

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

Automatic programming: The open issue?

Autoren: O'Neill, Michael Spector, Lee

Quelle: 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.

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

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

Schlagwörter: 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.

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

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

Schlagwörter: RANDOM forest algorithms, SENSE data

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

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

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

Schlagwörter: CHANNEL coding, EARTH stations, RICIAN channels, TELECOMMUNICATION systems, SIGNAL-to-noise ratio, DATA transmission systems

TOWARD AUTOMATING THE SOFTWARE-DEVELOPMENT CYCLE.

Autoren: Frenkel, Karen A.

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

Schlagwörter: 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.

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

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

Schlagwörter: FINITE element method software, CONTACT mechanics, OBJECT-oriented methods (Computer science), ANSYS (Computer system), COMPUTATIONAL mechanics

Genetic Programming's Human-Competitive Results.

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

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

Schlagwörter: GENETIC programming, GENETIC algorithms, ARTIFICIAL intelligence

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

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

Quelle: 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

Autoren: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

Schlagworte: 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.

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

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

Schlagwörter: 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.

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

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

Schlagwörter: 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)

Autoren: AKKUŞ, Berkant

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

Schlagwörter: WEAPONS systems, HUMANITARIAN law, INTERNATIONAL law, HIGH technology

Subject index.

Autoren: Winder, R.

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

Automated Energy/Performance Macromodeling of Embedded Software.

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

Quelle: 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

Schlagwörter: 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.

Autoren: Yeasin, M. Chaudhuri, S.

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

On Software, or the Persistence of Visual Knowledge.

Autoren: Chun, Wendy Hui Kyong

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

Schlagwörter: 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.

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

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

Schlagwörter: ELECTRIC transformers, GAS analysis, DATA corruption, GENETIC programming, SUPPORT vector machines, STATISTICAL bootstrapping