Výsledky vyhľadávania - logic AND constraint programming. keywords AND phrases automat theory*

A Discussion Regarding The Function Of Computers In Online Criminal Investigation For Companies During Disasters And Cyber Crises: An Exhaustive Research.

Autori: Peng Jiny Midhunchakkaravarthy, Divya

Zdroj: Frontiers in Health Informatics; 2024, Vol. 13 Issue 8, p5334-5342, 9p

Predmety: DIGITAL forensics, CRIMINAL investigation, DATA recovery, CORPORATE governance, CYBERTERRORISM

Propositional Satisfiability and Constraint Programming: A Comparative Survey.

Autori: Bordeaux, Lucas Hamadi, Youssef Zhang, Lintao

Zdroj: ACM Computing Surveys; Dec2006, Vol. 38 Issue 4, p1-54, 54p

Predmety: SATISFACTION, CONSTRAINT programming, COMPUTER programming, COMPUTER science, COMPUTERS, PROBLEM solving, ALGORITHMS, TECHNOLOGICAL innovations, DECISION making

Certainty Closure: Reliable Constraint Reasoning with Incomplete or Erroneous Data.

Autori: YORKE-SMITH, NEIL GERVET, CARMEN

Zdroj: ACM Transactions on Computational Logic; Jan2009, Vol. 10 Issue 1, p3-3:41, 41p, 4 Diagrams, 5 Charts, 2 Graphs

Predmety: CONSTRAINT programming, COMBINATORIAL optimization, MATHEMATICAL optimization, COMPUTER programming, COMPUTER networks

A metamodel for modeling system features and their refinement, constraint and interaction relationships.

Autori: Hong Mei Wei Zhang Haiyan Zhao

Zdroj: Software & Systems Modeling; Jun2006, Vol. 5 Issue 2, p172-186, 15p, 13 Diagrams, 8 Charts

Predmety: MODELING (Sculpture), COMPUTER simulation, COMPUTER software, CONSTRAINT programming, SEMANTICS

Convergence of datalog over (Pre-) Semirings.

Autori: Abo Khamis, Mahmoud Ngo, Hung Q. Pichler, Reinhard a ďalší

Zdroj: Journal of the ACM; Apr2024, Vol. 71 Issue 2, p1-55, 55p

Predmety: POLYNOMIAL time algorithms, NUMBER theory, BIG data, SEMANTICS, NAIVE Bayes classification, ALGORITHMS

Typing Linear Constraints.

Autori: Ruggieri, Salvatore Mesnard, Fred

Zdroj: ACM Transactions on Programming Languages & Systems; Aug2010, Vol. 32 Issue 6, p21-21:42, 42p, 5 Black and White Photographs, 5 Charts, 2 Graphs

Predmety: POLYHEDRA, DEFINITENESS (Linguistics), MATHEMATICAL variables, APPROXIMATION theory, LINEAR programming, LINEAR algebra, COMPUTATIONAL complexity, ELECTRONIC data processing, MACHINE theory, NP-complete problems

Model checking deep neural networks: opportunities and challenges.

Autori: Sbai, Zohra

Zdroj: Frontiers in Computer Science; 2025, p1-22, 22p

Formal Modeling of Hybrid System Based on Semi-continuous Colored Petri Net: A Case Study of Adaptive Cruise Control System.

Autori: Yu, Wangyang Guo, Qi Cheng, Yumeng a ďalší

Zdroj: ACM Transactions on Embedded Computing Systems; May2025, Vol. 24 Issue 3, p1-21, 21p

Predmety: PETRI nets, ADAPTIVE control systems, HYBRID systems, ELECTRONIC systems, AUTOMATIC systems in automobiles

Tableau Calculi for Logic Programs under Answer Set Semantics.

Autori: GEBSER, MARTIN SCHAUB, TORSTEN

Zdroj: ACM Transactions on Computational Logic; Jun2013, Vol. 14 Issue 2, p1-40, 40p

Predmety: LOGIC programming, SEMANTICS, SET theory, MATHEMATICAL proofs, ALGORITHMS, SYSTEM identification, GENERALIZATION

Challenges of Integrating Assistive Technologies and Robots with Embodied Intelligence in the Homes of Older People Living with Frailty.

Autori: Al-Tamimi, Abdel-Karim Hewitt, Lantana Cameron, David a ďalší

Zdroj: Applied Sciences (2076-3417); Aug2025, Vol. 15 Issue 15, p8415, 50p

Predmety: OLDER people, FRAILTY, ASSISTIVE technology, SOFTWARE frameworks, SMART homes, ARTIFICIAL intelligence, USER-centered system design, ROBOTS

A Systematic Literature Review and a Conceptual Framework Proposition for Advanced Persistent Threats (APT) Detection for Mobile Devices Using Artificial Intelligence Techniques.

Autori: Al-Kadhimi, Amjed Ahmed Singh, Manmeet Mahinderjit Khalid, Mohd Nor Akmal

Zdroj: Applied Sciences (2076-3417); Jul2023, Vol. 13 Issue 14, p8056, 47p

Predmety: ARTIFICIAL intelligence, SOCIAL engineering (Fraud), SITUATIONAL awareness, RESEARCH questions, GAME theory, HUMAN fingerprints

Reconciling Description Logics and Rules.

Autori: MOTIK, BORIS ROSATI, RICCARDO

Zdroj: Journal of the ACM; Jul2010, Vol. 57 Issue 5, p30-30.62, 62p, 6 Charts

Predmety: DESCRIPTION logics, NONMONOTONIC logic, COMPUTATIONAL complexity, LOGIC programming, ONTOLOGIES (Information retrieval), MATHEMATICAL models, SEMANTICS, MATHEMATICAL variables

Adversarial generation method for smart contract fuzz testing seeds guided by chain-based LLM.

Autori: Sun, Jiaze Yin, Zhiqiang Zhang, Hengshan a ďalší

Zdroj: Automated Software Engineering; Jun2025, Vol. 32 Issue 1, p1-28, 28p

Automatic user story generation: a comprehensive systematic literature review.

Autori: dos Santos, Carlos Alberto Bouchard, Kevin Minetto Napoleão, Bianca

Zdroj: International Journal of Data Science & Analytics; Jun2025, Vol. 20 Issue 1, p1-24, 24p

Contextual Modal Type Theory.

Autori: NANEVSKI, ALEKSANDAR PFENNING, FRANK PIENTKA, BRIGITTE

Zdroj: ACM Transactions on Computational Logic; Jun2008, Vol. 9 Issue 3, p23.1-23.49, 49p, 3 Charts

Predmety: LOGIC, SYSTEMS theory, THEORY, COMPUTER programming, PROGRAMMING languages, MATHEMATICAL analysis

Impossibility Results in AI: A Survey.

Autori: BRCIC, MARIO YAMPOLSKIY, ROMAN V.

Zdroj: ACM Computing Surveys; Jan2024, Vol. 56 Issue 1, p1-24, 24p

Predmety: ARTIFICIAL intelligence, DEEP learning, MACHINE learning, SOCIAL choice, SOCIAL science research, INFORMATION theory, DIRECTED graphs

Stochastic Analysis of Control Systems Subject to Communication and Computation Faults.

Autori: VREMAN, NILS MAGGIO, MARTINA

Zdroj: ACM Transactions on Embedded Computing Systems; 2023 Suppl5s, Vol. 22, p1-25, 25p

Predmety: TELECOMMUNICATION systems, STOCHASTIC analysis, MARKOVIAN jump linear systems, STABILITY of linear systems, CLOSED loop systems, STOCHASTIC control theory

A Sequent Calculus and a Theorem Prover for Standard Conditional Logics.

Autori: Olivetti, Nicola Pozzato, Gian Luca Schwind, Camilla B.

Zdroj: ACM Transactions on Computational Logic; Aug2007, Vol. 8 Issue 4, p1-51, 51p, 9 Diagrams, 1 Chart

Predmety: KNOWLEDGE representation (Information theory), LOGIC programming, PROOF theory, MATHEMATICAL logic, SEQUENTIAL analysis, ARTIFICIAL intelligence

Software Model Checking.

Autori: JHALA, RANJIT MAJUMDAR, RUPAK

Zdroj: ACM Computing Surveys; Oct2009, Vol. 41 Issue 4, p21:1-21:54, 54p, 2 Diagrams, 9 Charts

Predmety: SOFTWARE verification, CONFIRMATION (Logic), MODEL-based reasoning, DECISION theory, COMPILERS (Computer programs), COMPUTER programming, CODING theory

A Novel Perspective of Energy Management Strategies on Multistack Fuel Cell Hybrid Electric Vehicles: Trends and Challenges.

Autori: Ghaderi, Razieh Kandidayeni, Mohsen Boulon, Loic a ďalší

Zdroj: IEEE Intelligent Transportation Systems Magazine; Mar/Apr2025, Vol. 17 Issue 2, p63-78, 16p