Suchergebnisse - semantics of nondeterministic algorithms

Efficient algorithms for computing bisimulations for nondeterministic fuzzy transition systems von 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 …”
Volltext

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

Efficient Algorithms for the Uniform Tokenization Problem von 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 …”
Volltext

Termination of nondeterministic quantum programs von 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 …”
Volltext

Distribution-Based Behavioral Distance for Nondeterministic Fuzzy Transition Systems von 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 …”
Volltext

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

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

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

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

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

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

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

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

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

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

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

Residuality and Learning for Nondeterministic Nominal Automata von 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 …”
Volltext

Verification of Nondeterministic Quantum Programs von 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 …”
Volltext

Residuality and Learning for Nondeterministic Nominal Automata von 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 …”
Volltext

Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME von 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 …”
Volltext

Model Checking of Possibilistic Linear-Time Properties Based on Generalized Possibilistic Decision Processes von 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 …”
Volltext

Axiomatization of trace semantics for stochastic nondeterministic processes von 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 …”
Volltext

A Compositional Deadlock Detector for Android Java von 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 …”
Volltext

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

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