UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 241

Sortiert nach

Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Peano’s Arithmetic

Intelligent Information and Database Systems, p.115-124

Volltextzugriff (PDF)

A systematic methodology for automated theorem finding

Theoretical computer science, 2014-10, Vol.554, p.2-21

2014

Volltextzugriff (PDF)

QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems

IEICE Transactions on Information and Systems, 2019/11/01, Vol.E102.D(11), pp.2159-2175

2019

Volltextzugriff (PDF)

Adaptive Evaluation of Virtual Machine Placement and Migration Scheduling Algorithms Using Stochastic Petri Nets

IEEE access, 2019, Vol.7, p.79810-79824

2019

Volltextzugriff (PDF)

Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory

Intelligent Information and Database Systems, p.593-602

Volltextzugriff (PDF)

A Comprehensive Evaluation of Scheduling Methods of Virtual Machine Migration for Energy Conservation

IEEE systems journal, 2017-06, Vol.11 (2), p.898-909

2017

Volltextzugriff (PDF)

Run-time detection of tasking deadlocks in real-time systems with the ada 95 annex of real-time systems

Lecture notes in computer science, 2006, p.167-178

2006

Volltextzugriff (PDF)

A Set of Metrics for Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in NBG Set Theory

Intelligence Science and Big Data Engineering. Big Data and Machine Learning Techniques, 2015, Vol.9243, p.508-517

2015

Volltextzugriff (PDF)

An Information Security Management Database System (ISMDS) for Engineering Environment Supporting Organizations with ISMSs

IEICE Transactions on Information and Systems, 2014/06/01, Vol.E97.D(6), pp.1516-1527

2014

Volltextzugriff (PDF)

An Information Security Management Database System (ISMDS) for Engineering Environment Supporting Organizations with ISMSs

IEICE transactions on information and systems, 2014, Vol.E97.D (6), p.1516-1527

2014

Volltextzugriff (PDF)

Anticipatory Runway Incursion Prevention Systems

IEICE Transactions on Information and Systems, 2013/11/01, Vol.E96.D(11), pp.2385-2396

2013

Volltextzugriff (PDF)

Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control

Hybrid Artificial Intelligence Systems, p.68-76

Volltextzugriff (PDF)

Anticipatory Runway Incursion Prevention Systems

IEICE transactions on information and systems, 2013, Vol.E96.D (11), p.2385-2396

2013

Volltextzugriff (PDF)

Connecting components with soft system buses: a new methodology for design, development, and maintenance of reconfigurable, ubiquitous, and persistent reactive systems

19th International Conference on Advanced Information Networking and Applications (AINA'05) Volume 1 (AINA papers), 2005, Vol.1, p.667-672 vol.1

Jingde Cheng

2005

Volltextzugriff (PDF)

Autonomous and Continuous Evolution of Information Systems

Knowledge-Based Intelligent Information and Engineering Systems, 2005, p.758-767

2005

Volltextzugriff (PDF)

A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045

Trends and Applications in Knowledge Discovery and Data Mining, p.3-14

Volltextzugriff (PDF)

Temporal Deontic Relevant Logic as the Logical Basis for Decision Making Based on Anticipatory Reasoning

2006 IEEE International Conference on Systems, Man and Cybernetics, 2006, Vol.2, p.1036-1041

Jingde Cheng

2006

Volltextzugriff (PDF)

Spatio-temporal Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning About Mobile Multi-agent Systems

Conceptual Modeling for Advanced Application Domains, 2004, p.470-483

2004

Volltextzugriff (PDF)

A Systematic Management Method of ISO Information Security Standards for Information Security Engineering Environments

Informatics Engineering and Information Science, p.370-384

Volltextzugriff (PDF)

Automated Knowledge Appreciation: A relevant reasoning approach to expand our knowledge and increase its value automatically

2015 IEEE 14th International Conference on Cognitive Informatics & Cognitive Computing (ICCICC), 2015, p.175-183

Jingde Cheng

2015

Volltextzugriff (PDF)

Anticipatory Agents Based on Anticipatory Reasoning

Foundations of Intelligent Systems, 2005, Vol.3488, p.445-455

2005

Volltextzugriff (PDF)

Ubisafe computing : Vision and challenges (I)

Lecture notes in computer science, 2006, p.386-397

2006

Volltextzugriff (PDF)

Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic

Conceptual Modeling for Advanced Application Domains, 2004, p.114-126

2004

Volltextzugriff (PDF)

A Knowledge Base for Industrial Control Network Security Analysis and Decision-Making with Reasoning Method

Intelligent Information and Database Systems, p.41-52

Volltextzugriff (PDF)

A Memory-Efficient Algorithm with Level-Order Unary Degree Sequence for Forward Reasoning Engines

Intelligent Information and Database Systems, p.59-70

Volltextzugriff (PDF)

1 – 25 von 241

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(114)
Mit Volltextzugriff
(219)

Publikationsform

Sprache

Englisch
(239)
Japanisch
(19)

Erscheinungsjahr

n.n

Neu hinzugefügt

... seit 7 Tagen
(1)
... seit 90 Tagen
(3)

Menü

Weitere Dienste

Einstellungen

Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Peano’s Arithmetic

A systematic methodology for automated theorem finding

QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems

Adaptive Evaluation of Virtual Machine Placement and Migration Scheduling Algorithms Using Stochastic Petri Nets

Explicitly Epistemic Contraction by Predicate Abstraction in Automated Theorem Finding: A Case Study in NBG Set Theory

A Comprehensive Evaluation of Scheduling Methods of Virtual Machine Migration for Energy Conservation

Run-time detection of tasking deadlocks in real-time systems with the ada 95 annex of real-time systems

A Set of Metrics for Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in NBG Set Theory

An Information Security Management Database System (ISMDS) for Engineering Environment Supporting Organizations with ISMSs

An Information Security Management Database System (ISMDS) for Engineering Environment Supporting Organizations with ISMSs

Anticipatory Runway Incursion Prevention Systems

Development of a Decision-Maker in an Anticipatory Reasoning-Reacting System for Terminal Radar Control

Anticipatory Runway Incursion Prevention Systems

Connecting components with soft system buses: a new methodology for design, development, and maintenance of reconfigurable, ubiquitous, and persistent reactive systems

Autonomous and Continuous Evolution of Information Systems

A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045

Temporal Deontic Relevant Logic as the Logical Basis for Decision Making Based on Anticipatory Reasoning

Spatio-temporal Relevant Logic as the Logical Basis for Specifying, Verifying, and Reasoning About Mobile Multi-agent Systems

A Systematic Management Method of ISO Information Security Standards for Information Security Engineering Environments

Automated Knowledge Appreciation: A relevant reasoning approach to expand our knowledge and increase its value automatically

Anticipatory Agents Based on Anticipatory Reasoning

Ubisafe computing : Vision and challenges (I)

Representing and Reasoning About Spatial Knowledge Based on Spatial Relevant Logic

A Knowledge Base for Industrial Control Network Security Analysis and Decision-Making with Reasoning Method

A Memory-Efficient Algorithm with Level-Order Unary Degree Sequence for Forward Reasoning Engines

Suchergebnisse filtern