Results 41 to 50 of about 266,150 (211)
Flow-based reputation with uncertainty: Evidence-Based Subjective Logic
, 2015 The concept of reputation is widely used as a measure of trustworthiness based on ratings from members in a community. The adoption of reputation systems, however, relies on their ability to capture the actual trustworthiness of a target.
de Hoogh, Sebastiaan J. A. +2 more
core +1 more source
Formal analysis techniques for gossiping protocols [PDF]
, 2007 We give a survey of formal verification techniques that can be used to corroborate existing experimental results for gossiping protocols in a rigorous manner.
Bakhshi, Rena +3 more
core +5 more sources
Advances in Mechanical Engineering, 2015 In a fully mechanized mining face, the coordinated control of coal mining machines has a significant promoting effect to perfect the mining environment and improve the efficiency of coal production and has become a research focus all over the world.
Chao Tan +4 more
doaj +1 more source
Experimental Demonstration of Probabilistic Spin Logic by Magnetic Tunnel Junctions [PDF]
IEEE Magnetics Letters, 2019 Recently proposed probabilistic spin logic (PSL) has offered promising solutions to novel computing applications, including some that have previously been covered by quantum computing.
Yang Lv, Robert P. Bloom, Jianping Wang
semanticscholar +1 more source
Integrated and adaptive traffic signal control for diamond interchange : a thesis presented in partial fulfilment of the requirements for the degree of Doctor of Philosophy in Mechatronics Engineering at Massey University, Albany, New Zealand [PDF]
, 2017 New dynamic signal control methods such as fuzzy logic and artificial intelligence developed recently mainly focused on isolated intersection. Adaptive signal control based on fuzzy logic control (FLC) determines the duration and sequence that traffic ...
Pham, Cao Van
core
Computing Distances between Probabilistic Automata
, 2011 We present relaxed notions of simulation and bisimulation on Probabilistic Automata (PA), that allow some error epsilon. When epsilon is zero we retrieve the usual notions of bisimulation and simulation on PAs.
Abir Zhioua +28 more
core +2 more sources
On the Optimality of Trust Network Analysis with Subjective Logic
Advances in Electrical and Computer Engineering, 2014 Building and measuring trust is one of crucial aspects in e-commerce, social networking and computer security. Trust networks are widely used to formalize trust relationships and to conduct formal reasoning of trust values.
PARK, Y.
doaj +1 more source
A Theoretical Foundation for Syntactico-Semantic Pattern Recognition
IEEE Access, 2021 Conventionally syntactic pattern recognition tasks have been driven by grammars defining a syntactic structure. Syntactic Pattern recognition tasks were primarily relying on the ability of parsing algorithms to recognize the patterns in the input data ...
Shrinivasan Patnaikuni, Sachin Gengaje
doaj +1 more source
IEEE Access, 2020 To prolong the function of wireless sensor networks (WSNs), the lifetime of the system has to be increased. WSNs lifetime can be calculated by using a few generic parameters, such as the time until the death of the first node and other parameters ...
Sonam Lata +3 more
doaj +1 more source
Lifted Variable Elimination for Probabilistic Logic Programming
, 2014 Lifted inference has been proposed for various probabilistic logical frameworks in order to compute the probability of queries in a time that depends on the size of the domains of the random variables rather than the number of instances.
Bellodi, Elena +4 more
core +1 more source