Výsledky vyhľadávania - semantics of nondeterministic algorithms

Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems Autor Nguyen, Linh Anh

“…Nondeterministic fuzzy transition systems (NFTSs) offer a robust framework for modeling and analyzing systems with inherent uncertainties and imprecision, which are prevalent in real-world scenarios. Wu et al. (2018…”
Získať plný text

Verification of Composed Web Service Using Synthesized Nondeterministic Turing Model (SNTMM) With Multiple Tapes and Stacks Autor Thilagavathi N, Lakshmi K

“…To verify the composed web services, a general view of what traits of a service need to be identified is still lacking. The existing verification model did not…”
Získať plný text

Efficient Algorithms for the Uniform Tokenization Problem Autor Li, Angela W., Mamouras, Konstantinos

“…, data represented using the JSON and CSV data formats). We propose two algorithms for the tokenization problem that have linear time complexity…”
Získať plný text

Termination of nondeterministic quantum programs Autor Li, Yangjia, Yu, Nengkun, Ying, Mingsheng

“…We define a language-independent model of nondeterministic quantum programs in which a quantum program consists of a finite set of quantum processes…”
Získať plný text

Distribution-Based Behavioral Distance for Nondeterministic Fuzzy Transition Systems Autor Wu, Hengyang, Deng, Yuxin

“… In this paper, we first present a new notion of bisimulation for nondeterministic fuzzy transition systems, which is distribution based and coarser than state-based bisimulation appeared in the literature…”
Získať plný text

A Compositional Cost Model for the λ-calculus Autor Laird, James

“…[a].Although the natural semantics on which it is based is nondeterministic, our cost model is reasonable…”
Získať plný text

Nondeterministic Probabilistic Petri Net -- A New Method to Study Qualitative and Quantitative Behaviors of System Autor Liu, Yang, Miao, Huai-Kou, Zeng, Hong-Wei, Ma, Yan, Liu, Pan

“… Using probabilistic Petri net as reference, we propose a new mixed model NPPN （Nondeterministic Probabilistic Petri Net…”
Získať plný text

Comment on “Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm” [Automatica 47 (2011) 782–788] Autor Kumar, Ratnesh, Jiang, Shengbing, Zhou, Changyan

“… Such definition changes the semantics of event-based control to transition-based control, selectively disabling nondeterministic transitions…”
Získať plný text

A Hybrid Mode Membrane Computing Based Algorithm with Applications for Proton Exchange Membrane Fuel Cells Autor Zhao, Jinhui, Zhang, Wei, Hu, Tianyu, Xu, Ouguan, Yang, Shengxiang, Zhang, Qichun

“… A hybrid mode membrane-computing-based algorithm (HMMCA) is proposed in this paper to solve complex unconstrained optimization problems with continuous variables…”
Získať plný text

Rough set-based rule generation and Apriori-based rule generation from table data sets: a survey and a combination Autor Sakai, Hiroshi, Nakata, Michinori

“…s, Orłowska's non-deterministic information systems, Agrawal's Apriori algorithm. These are outstanding researches related to information incompleteness, data mining, and rule generation…”
Získať plný text

Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems Autor Nguyen, Linh Anh

“… As their extension, nondeterministic fuzzy transition systems (NFTSs) have been studied in a considerable number of works. Wu et al. (2018…”
Získať plný text

Reachability Games and Game Semantics: Comparing Nondeterministic Programs Autor Murawski, A.S.

“… (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both using its game model…”
Získať plný text

Residuality and Learning for Nondeterministic Nominal Automata Autor Moerman, Joshua, Sammartino, Matteo

“… This property enables active learning algorithms, and makes up for the fact that residuality -- a semantic property -- is undecidable for nominal automata…”
Získať plný text

Verification of Nondeterministic Quantum Programs Autor Yuan, Feng, Xu, Yingte

“…Nondeterministic choice is a useful program construct that provides a way to describe the behaviour of a program without specifying the details of possible implementations…”
Získať plný text

Residuality and Learning for Nondeterministic Nominal Automata Autor Moerman, Joshua, Sammartino, Matteo

“… This property enables active learning algorithms, and makes up for the fact that residuality -- a semantic property -- is undecidable for nominal automata…”
Získať plný text

Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME Autor Czerwinski, Wojciech, Jancar, Petr

“…) but his proof has not provided any upper complexity bound. We present a simpler approach based on relative prime decompositions that leads to a nondeterministic exponential-time algorithm, this is "close" to the known exponential-time lower bound…”
Získať plný text

Model Checking of Possibilistic Linear-Time Properties Based on Generalized Possibilistic Decision Processes Autor Li, Yongming, Liu, Wuniu, Wang, Junmei, Yu, Xianfeng, Li, Chao

“…) as a model of the system. First, the definition of GPDP describing the behavior of nondeterministic system is given in detail, the resolution of nondeterminism is performed by using the notion of schedulers, and the semantics…”
Získať plný text

Axiomatization of trace semantics for stochastic nondeterministic processes Autor Parma, A., Segala, R.

“…We give a complete axiomatization of trace distribution precongruence for probabilistic nondeterministic processes based on a process algebra that includes internal behavior and recursion…”
Získať plný text

A Compositional Deadlock Detector for Android Java Autor Brotherston, James, Brunet, Paul, Gorogiannis, Nikos, Kanovich, Max

“…-entrant locks, nondeterministic iteration and branching, and non-recursive procedure calls. We show that the existence of a deadlock in this abstract language…”
Získať plný text

Optimizing SPARQL Query Answering over OWL Ontologies Autor Kollia, I., Glimm, B.

“… In this paper, we describe a sound and complete algorithm for the OWL Direct Semantics entailment regime…”
Získať plný text