Suchergebnisse - Logic, Symbolic and mathematical Data processing

Treffer weiter einschränken
  1. 1

    A Computational Cognitive Model for Processing Repetitions of Hierarchical Relations

    Autoren: Ren, Zeng Guan, Xinyi Rohrmeier, Martin Alois

    Quelle: Proceedings of the Annual Meeting of the Cognitive Science Society. 47

    Schlagwörter: Artificial Intelligence, Computer Science, Linguistics, Music, Pattern recognition, Representation, Syntax, Computational Modeling, Knowledge representation, Logic, Mathematical modeling, Symbolic com

    Dateibeschreibung: application/pdf

    Zugangs-URL: https://escholarship.org/uc/item/5m08r2zm
    https://escholarship.org/content/qt5m08r2zm/qt5m08r2zm.pdf

    View record at eScholarship
    Zu den Favoriten
  2. 2

    A theory of (linear-time) timed monitors

    Autoren: Amara, Mouloud Bernardi, Giovanni Aristide Foughali, Mohammed et al.

    Schlagwörter: Computer programs -- Verification, Logic, Symbolic and mathematical, Parallel programming (Computer science), Computer software -- Verification, Real-time data processing

    Relation: https://www.um.edu.mt/library/oar/handle/123456789/137312

    Verfügbarkeit: https://www.um.edu.mt/library/oar/handle/123456789/137312
    https://doi.org/10.4230/LIPIcs.ECOOP.2025.1

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    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

    PDF-Volltext ePub Volltext
    Zu den Favoriten
  4. 4

    Conflict analysis for timed contract automata ; Legal knowledge and information systems

    Autoren: Azzopardi, Shaun Pace, Gordon J.

    Schlagwörter: Machine theory, Deontic logic, Logic, Symbolic and mathematical, Contracts -- Data processing, Computer algorithms

    Relation: https://www.um.edu.mt/library/oar/handle/123456789/138181

    Verfügbarkeit: https://www.um.edu.mt/library/oar/handle/123456789/138181
    https://doi.org/10.3233/FAIA241251

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  5. 5

    Automatic analysis of signals with symbolic content.

    Autoren: Moreno L Estévez JI Aguilar RM et al.

    Quelle: Artificial intelligence in medicine [Artif Intell Med] 2000 Mar; Vol. 18 (3), pp. 245-65.

    Publikationsart: Journal Article; Research Support, Non-U.S. Gov't

    Info zur Zeitschrift: Publisher: Elsevier Science Publishing Country of Publication: Netherlands NLM ID: 8915031 Publication Model: Print Cited Medium: Print ISSN: 0933-3657 (Print) Linking ISSN: 09333657 NLM ISO Abbreviation: Artif Intell Med Subsets: MEDLINE

    MeSH-Schlagworte: Artificial Intelligence* , Electronic Data Processing* , Fuzzy Logic* , Symbolism*, Electroencephalography ; Humans ; Mathematical Computing ; Sleep

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  6. 6

    Symbolic Mathematics for Chemists : A Guide for Maxima Users

    Autoren: Fred Senese

    Resource Type: eBook.

    Schlagworte: Chemistry--Mathematics, Logic, Symbolic and mathematical--Data processing

    Categories: SCIENCE / Chemistry / General

    Zu den Favoriten
  7. 7

    Graph Structures for Knowledge Representation and Reasoning

    Autoren: Michael Cochez Madalina Croitoru Pierre Marquis et al.

    Resource Type: eBook.

    Schlagworte: Application software, Computer networks, Artificial intelligence, Knowledge representation (Information theory)--Congresses, Data structures (Computer science)--Congresses, Logic, Symbolic and mathematical

    Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Computer Science, COMPUTERS / Networking / General

    PDF-Volltext ePub Volltext
    Zu den Favoriten
  8. 8

    Development of geology-oriented logical system（GEO-LOGICS）: Search for mathematical bases of geologic data processing / 論理地質学の展開：地質情報処理の数学的基礎を求めて

    Autoren: Kiyoji SHIONO 塩野 清治

    Quelle: 情報地質 / Geoinformatics. 2019, 30(4):161

    View Record from J-STAGE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  9. 9

    Robotics Systems and Artificial Intelligence Applications in Livestock Farming.

    Alternate Title: Hayvancılıkta Robotik Sistemler ve Yapay Zekâ Uygulamaları.

    Autoren: Dilaver, Hatice Dilaver, Kamil Fatih

    Quelle: Journal of Animal Science & Economics. Jul2024, Vol. 3 Issue 2, p63-72. 10p.

    Schlagworte: Artificial intelligence, Animal industry, Agriculture, Livestock farms, Cattle industry

    PDF-Volltext
    Zu den Favoriten
  10. 10

    A Web Application for Learning Support Vector Machine Algorithms in Computer Engineering.

    Autoren: Jovanović, Nenad Jovanović, Stefan Stamenković, Srećko et al.

    Quelle: International Journal of Cognitive Research in Science, Engineering & Education (IJCRSEE); 2025, Vol. 13 Issue 1, p175-190, 16p

    Schlagwörter: SUPPORT vector machines, MACHINE learning, LEARNING, ELECTRONIC data processing, WEB-based user interfaces, TEACHING methods, EDUCATION software

    Nájsť tento článok vo Web of Science
    Zu den Favoriten
  11. 11

    Extracting symbolic knowledge from recurrent neural networks—A fuzzy logic approach

    Autoren: Kolman, Eyal Margaliot, Michael

    Quelle: Fuzzy Sets & Systems. Jan2009, Vol. 160 Issue 2, p145-161. 17p.

    Schlagwörter: *ARTIFICIAL intelligence, *COMPUTER software, *ELECTRONIC data processing, *LOGIC machines

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  12. 12

    SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy

    Autoren: Loveland, Donald Yahya, Adnan

    Schlagwörter: Deductive databases, Question-answering systems, Database searching, Optimality theory (Linguistics) - Computer program, Computational linguistics, Semantics - Data processing, Automatic theorem proving, Logic, Symbolic and mathematical - Congresses

    Relation: http://hdl.handle.net/20.500.11889/2103

    Verfügbarkeit: https://hdl.handle.net/20.500.11889/2103

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  13. 13

    Artificial intelligence, a possible solution for agriculture and animal husbandry sector?

    Autoren: ROTARU, Ancuţa VÂTCĂ, Anamaria POP, Ioana et al.

    Quelle: Bulletin of the University of Agricultural Sciences & Veterinary Medicine Cluj-Napoca. Animal Science & Biotechnologies. 2021, Vol. 78 Issue 2, p1-5. 5p.

    Schlagworte: Artificial intelligence, Animal culture, Machine learning, Computer science, Agriculture

    PDF-Volltext
    Zu den Favoriten
  14. 14

    Symbolic logic and intelligent machines.

    Autoren: Berkeley, Edmund Callis.

    Schlagwörter: Computers, Electronic data processing, Logic, Symbolic and mathematical

    Dateibeschreibung: ren

    Relation: http://hdl.handle.net/2027/uc1.b2507288

    Verfügbarkeit: http://hdl.handle.net/2027/uc1.b2507288

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  15. 15

    Advances in Intelligent Data Analysis XVIII : 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27–29, 2020, Proceedings

    Autoren: Michael R. Berthold Ad Feelders Georg Krempl

    Resource Type: eBook.

    Schlagworte: Mathematical statistics--Data processing--Congresses, Pattern recognition systems--Congresses, Mathematical statistics--Congresses

    Categories: COMPUTERS / Database Administration & Management, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Hardware / General, MATHEMATICS / Probability & Statistics / General

    PDF-Volltext ePub Volltext
    Zu den Favoriten
  16. 16

    Symbolic Givens reduction and row-ordering in large sparse least squares problems

    Weitere Verfasser: Ostrouchov, G

    Quelle: SIAM J. Sci. Stat. Comput.; (United States); 8:3

    Dateibeschreibung: Medium: X; Size: Pages: 248-264

    Zugangs-URL: http://www.osti.gov/scitech/biblio/6777234

    View record at SciTech Connect Nájsť tento článok vo Web of Science
    Zu den Favoriten
  17. 17

    Tools and Algorithms for the Construction and Analysis of Systems : 25th International Conference, TACAS 2019, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

    Autoren: Tomáš Vojnar Lijun Zhang

    Resource Type: eBook.

    Schlagworte: Artificial intelligence, Computer system performance, Software engineering, Logic design, Computer science, Computer industry, Electronic data processing

    Categories: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General

    PDF-Volltext ePub Volltext
    Zu den Favoriten
  18. 18

    Commonsense Reasoning : An Event Calculus Based Approach

    Autoren: Erik T. Mueller

    Resource Type: eBook.

    Schlagworte: Logic, Symbolic and mathematical--Data processing, Commonsense reasoning--Automation, Artificial intelligence--Mathematics

    Categories: COMPUTERS / Artificial Intelligence / General

    Zu den Favoriten
  19. 19

    Symbolic clustering

    Weitere Verfasser: Reinke, R

    Quelle: Other Information: Thesis (Ph.D.)

    Dateibeschreibung: Medium: X; Size: Pages: (131 p)

    Zugangs-URL: http://www.osti.gov/scitech/biblio/7152614

    View record at SciTech Connect Nájsť tento článok vo Web of Science
    Zu den Favoriten
  20. 20

    A query optimization algorithm for an object-oriented data model

    Autoren: Miranda, Mark Joel B.

    Quelle: Master's Theses

    Schlagwörter: Algorithms, Mathematical optimization, Machine theory, Electronic data processing, Programming (Electronic computers), Logic, Symbolic and mathematical, Computer Sciences

    Dateibeschreibung: application/pdf

    Relation: https://animorepository.dlsu.edu.ph/etd_masteral/1610; https://animorepository.dlsu.edu.ph/context/etd_masteral/article/8448/viewcontent/TG02318_F_Redacted.pdf

    Verfügbarkeit: https://animorepository.dlsu.edu.ph/etd_masteral/1610
    https://animorepository.dlsu.edu.ph/context/etd_masteral/article/8448/viewcontent/TG02318_F_Redacted.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten

Suchwerkzeuge: