Výsledky vyhledávání - Automatic Pro- programming—Automatic analysis of algorithms*

Automation of Language Sample Analysis.

Autoři: Houjun Liu MacWhinney, Brian Fromm, Davida a další

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

Témata: 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.

Autoři: Liberti, Leo

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

Témata: MATHEMATICAL programming, ALGORITHMS, MATHEMATICAL optimization, NONLINEAR programming, INTEGER programming, MATHEMATICS

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

Autoři: Li, Hongjian Lu, Gang Sze, Kam-Heung a další

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

Témata: RANDOM forest algorithms, SENSE data

Automatic programming: The open issue?

Autoři: O'Neill, Michael Spector, Lee

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

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

Autoři: Mahyastuty, Veronica Windha Ghozali, Theresia Octaviani, Sandra a další

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

Témata: CHANNEL coding, EARTH stations, RICIAN channels, TELECOMMUNICATION systems, SIGNAL-to-noise ratio, DATA transmission systems

Genetic Programming's Human-Competitive Results.

Autoři: Koza, John R. Keane, Martin A. Streeter, Matthew J.

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

Témata: GENETIC programming, GENETIC algorithms, ARTIFICIAL intelligence

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

Autoři: Lei Peng Zhiqiang Feng Joli, Pierre a další

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

Témata: FINITE element method software, CONTACT mechanics, OBJECT-oriented methods (Computer science), ANSYS (Computer system), COMPUTATIONAL mechanics

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

Autoři: Hana Chockler Georg Weissenbacher

Resource Type: eBook.

Témata: 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.

Autoři: Giesl, Jürgen Raffelsieper, Matthias Schneider-Kamp, Peter a další

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

Témata: 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.

Autoři: Barros, Rodrigo Coelho Basgalupp, Márcio Porto de Carvalho, André C. P. L. F. a další

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

Témata: 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)

Autoři: AKKUŞ, Berkant

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

Témata: WEAPONS systems, HUMANITARIAN law, INTERNATIONAL law, HIGH technology

Automated Energy/Performance Macromodeling of Embedded Software.

Autoři: Muttreja, Anish Raghunathan, Anand Ravi, Srivaths a další

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

Témata: GENETIC programming, SOFTWARE architecture, AUTOMATIC data collection systems, EMBEDDED computer systems, ENERGY consumption, COMPUTER software research

Subject index.

Autoři: Winder, R.

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

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

Autoři: Shintemirov, A. Tang, W. Wu, Q. H.

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

Témata: ELECTRIC transformers, GAS analysis, DATA corruption, GENETIC programming, SUPPORT vector machines, STATISTICAL bootstrapping

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

Autoři: Mayfield, J. Finin, T. Hall, M.

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

COMPUTER SCIENCE AND BIOINFORMATICS.

Autoři: Cohen, Jacques

Zdroj: Communications of the ACM; Mar2005, Vol. 48 Issue 3, p72-78, 6p

Témata: BIOINFORMATICS, COMPUTER training, COMPUTERS in medicine, COMPUTER scientists, DIGITAL image processing, MEDICAL sciences

A Model-Driven Domain-Specific Scripting Language for Measurement-System Frameworks.

Autoři: Arpaia, Pasquale Fiscarelli, Lucio La Commara, Giuseppe a další

Zdroj: IEEE Transactions on Instrumentation & Measurement; Nov2011, Vol. 60 Issue 12, p3756-3766, 11p

Témata: SOFTWARE measurement, AUTOMATIC programming (Computer science), AUTOMATIC test equipment, PROGRAMMING languages, COMPUTER software

Korporace: EUROPEAN Organization for Nuclear Research

Annual Cumulative Subject Index.

Autoři: Bernstein, A. Hopcroft, J.

Zdroj: IEEE Transactions on Electronic Computers; 1965, Vol. EC-14 Issue 6, p981-1000, 20p

Target Position Estimation by Genetic Expression Programming for Mobile Robots With Vision Sensors.

Autoři: Wu, Chih-Hung Lin, I-Sheng Wei, Ming-Liang a další

Zdroj: IEEE Transactions on Instrumentation & Measurement; Dec2013, Vol. 62 Issue 12, p3218-3230, 13p

Témata: GENE expression, MOBILE robots, IMAGE sensors, COMPUTATIONAL intelligence, GENETIC algorithms

Applying genetic programming and ant colony optimisation to improve the geometric design of a reflector.

Autoři: Hsu, Chih-Ming

Zdroj: International Journal of Systems Science; May2012, Vol. 43 Issue 5, p972-986, 15p, 3 Color Photographs, 1 Diagram, 7 Charts, 4 Graphs

Témata: LIGHT emitting diodes, GENETIC programming, ANT algorithms, LIGHTING reflectors, GEOMETRIC shapes, OPTICS