Search Results - semantics of nondeterministic algorithms

Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems by 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…”
Get full text

Verification of Composed Web Service Using Synthesized Nondeterministic Turing Model (SNTMM) With Multiple Tapes and Stacks by 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…”
Get full text

Efficient Algorithms for the Uniform Tokenization Problem by 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…”
Get full text

Termination of nondeterministic quantum programs by 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…”
Get full text

Distribution-Based Behavioral Distance for Nondeterministic Fuzzy Transition Systems by 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…”
Get full text

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

“…[a].Although the natural semantics on which it is based is nondeterministic, our cost model is reasonable…”
Get full text

Nondeterministic Probabilistic Petri Net -- A New Method to Study Qualitative and Quantitative Behaviors of System by 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…”
Get full text

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

“… Such definition changes the semantics of event-based control to transition-based control, selectively disabling nondeterministic transitions…”
Get full text

A Hybrid Mode Membrane Computing Based Algorithm with Applications for Proton Exchange Membrane Fuel Cells by 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…”
Get full text

Rough set-based rule generation and Apriori-based rule generation from table data sets: a survey and a combination by 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…”
Get full text

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

“… As their extension, nondeterministic fuzzy transition systems (NFTSs) have been studied in a considerable number of works. Wu et al. (2018…”
Get full text

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

“… (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both using its game model…”
Get full text

Residuality and Learning for Nondeterministic Nominal Automata by 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…”
Get full text

Verification of Nondeterministic Quantum Programs by 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…”
Get full text

Residuality and Learning for Nondeterministic Nominal Automata by 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…”
Get full text

Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME by 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…”
Get full text

Model Checking of Possibilistic Linear-Time Properties Based on Generalized Possibilistic Decision Processes by 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…”
Get full text

Axiomatization of trace semantics for stochastic nondeterministic processes by 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…”
Get full text

A Compositional Deadlock Detector for Android Java by 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…”
Get full text

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

“… In this paper, we describe a sound and complete algorithm for the OWL Direct Semantics entailment regime…”
Get full text