Results 21 to 30 of about 481,884 (278)

Rancang Bangun Game Birokrasi Penyelenggaraan Kegiatan Kemahasiswaan Menggunakan Metode Finite State Machine

open access: yesJurnal ELTIKOM: Jurnal Teknik Elektro, Teknologi Informasi dan Komputer, 2020
Organisasi dan kegiatan kemahasiswaan adalah hal yang tidak dapat dipisahkan. Kurangnya pengetahuan anggota organisasi tentang birokrasi penyelenggaraan kemahasiswaan disebabkan oleh kurangnya edukasi sebelum pendaftaran organisasi.
Anna Thasyia Puspita   +2 more
doaj   +1 more source

A representer theorem for deep kernel learning [PDF]

open access: yes, 2018
In this paper we provide a finite-sample and an infinite-sample representer theorem for the concatenation of (linear combinations of) kernel functions of reproducing kernel Hilbert spaces.
Bohn, Bastian   +2 more
core   +2 more sources

Multi-Robot Remote Interaction with FS-MAS

open access: yesInternational Journal of Advanced Robotic Systems, 2013
The need to reduce bandwidth, improve productivity, autonomy and the scalability in multi-robot teleoperation has been recognized for a long time. In this article we propose a novel finite state machine mobile agent based on the network interaction ...
Yunliang Jiang   +5 more
doaj   +1 more source

STRUCTURAL STATE MACHINES IN THE FORM OF THE TENSORS OF THE THIRD RANK SUDOKU TYPE

open access: yesРадіоелектронні і комп'ютерні системи, 2019
The construction concept and general principles of the operation of a new kind of finite state machine are presented, for which the input and output elements are panels of square matrices, and the transitions between their states are determined by ...
Юрий Михайлович Пенкин   +1 more
doaj   +1 more source

Testing from a finite state machine: Extending invertibility to sequences [PDF]

open access: yes, 1997
When testing a system modelled as a finite state machine it is desirable to minimize the effort required. It has been demonstrated that it is possible to utilize test sequence overlap in order to reduce the test effort and this overlap has been ...
Hierons, RM
core   +3 more sources

Analysis of security protocols using finite-state machines [PDF]

open access: yes, 2015
This paper demonstrates a comprehensive analysis method using formal methods such as finite-state machine. First, we describe the modified version of our new protocol and briefly explain the encrypt-then-authenticate mechanism, which is regarded as more ...
Aljeaid, D, Langensiepen, C, Ma, X
core   +1 more source

Modular nonblocking verification using conflict equivalence [PDF]

open access: yes, 2006
This paper proposes a modular approach to verifying whether a large discrete event system is nonconflicting. The new approach avoids computing the synchronous product of a large set of finite-state machines.
Flordal, Hugo, Malik, Robi
core   +2 more sources

Probabilistic finite-state machines - part I [PDF]

open access: yesIEEE Transactions on Pattern Analysis and Machine Intelligence, 2005
Probabilistic finite-state machines are used today in a variety of areas in pattern recognition or in fields to which pattern recognition is linked. In Part I of this paper, we surveyed these objects and studied their properties. In this Part II, we study the relations between probabilistic finite-state automata and other well-known devices that ...
Vidal, Enrique   +4 more
openaire   +7 more sources

Complete permutation Gray code implemented by finite state machine

open access: yesThe Journal of Engineering, 2014
An enumerating method of complete permutation array is proposed. The list of n! permutations based on Gray code defined over finite symbol set Z(n) = {1, 2, …, n} is implemented by finite state machine, named as n-RPGCF.
Li Peng, Pingliang Zeng, Hao Li, Xin Li
doaj   +1 more source

Human Activities Recognition Based on Neuro-Fuzzy Finite State Machine

open access: yesTechnologies, 2018
Human activity recognition and modelling comprise an area of research interest that has been tackled by many researchers. The application of different machine learning techniques including regression analysis, deep learning neural networks, and fuzzy ...
Gadelhag Mohmed   +2 more
doaj   +1 more source

Home - About - Disclaimer - Privacy