All articles by "Devyatkov V.V."
Verification of Knowledge Obtained in the Study of Business Process Models
| Authors: Devyatkov V.V., Kadyrbaeva A.R. | Published: 20.12.2020 |
| Published in issue: #4(133)/2020 | |
| DOI: 10.18698/0236-3933-2020-4-99-113 | |
| Category: Informatics, Computer Engineering and Control | Chapter: System Analysis, Control, and Information Processing | |
| Keywords: knowledge verification, test assignment, modal logic, logic programming language Prolog | |
Assessment of User Interface Usability in Terms of Tile Logic
| Authors: Devyatkov V.V., Tipsin E.A. | Published: 19.03.2020 |
| Published in issue: #1(130)/2020 | |
| DOI: 10.18698/0236-3933-2020-1-64-84 | |
| Category: Informatics, Computer Engineering and Control | Chapter: Mathematical Support and Software for Computers, Computer Complexes and Networks | |
| Keywords: tile logic, property verification, user interface, usability, usability assessment, agents, assessment automation, human-computer interaction | |
Recognition of Situations on Set of Moving Objects using Fuzzy Finite State Machines and Dynamic Programming
| Authors: Devyatkov V.V., Lychkov I.I. | Published: 02.08.2017 |
| Published in issue: #4(115)/2017 | |
| DOI: 10.18698/0236-3933-2017-4-64-78 | |
| Category: Informatics, Computer Engineering and Control | Chapter: System Analysis, Control, and Information Processing | |
| Keywords: computer vision, moving objects, time series, recognition of situations, dynamic programming | |
Selective Covariance-Based Localization, Classification and Tracking in Video Streams from Multiple Cameras
| Authors: Devyatkov V.V., Alfimtsev A.N. , Taranyan A.R. | Published: 06.12.2016 |
| Published in issue: #6(111)/2016 | |
| DOI: 10.18698/0236-3933-2016-6-54-70 | |
| Category: Informatics, Computer Engineering and Control | Chapter: Theoretical Computer Science, Cybernetics | |
| Keywords: pattern recognition, computer vision, human tracking, covariance matrix, covariance region descriptor, selective localization | |
Verification of Intelligent Interface Properties in the Tiles Logic
| Authors: Devyatkov V.V. | Published: 15.06.2016 |
| Published in issue: #3(108)/2016 | |
| DOI: 10.18698/0236-3933-2016-3-65-87 | |
| Category: Informatics, Computer Engineering and Control | Chapter: System Analysis, Control, and Information Processing | |
| Keywords: intelligent interface properties, tiles logic, modal logic, verification of properties, intelligent agents, logic programming language Visual Prolog | |
Elaboration of an expert system for pressure control in the water-supply systems
| Authors: Kosov S.V., Devyatkov V.V. | Published: 09.08.2015 |
| Published in issue: #2(23)/1996 | |
| DOI: | |
| Category: Informatics, Computer Engineering and Control | Chapter: System Analysis, Control, and Information Processing | |
| Keywords: | |
The Principles of Complete and Correct Transformation of the Synchronized Models
| Authors: Devyatkov V.V., Oshkalo D.V. | Published: 17.06.2015 |
| Published in issue: #3(102)/2015 | |
| DOI: 10.18698/0236-3933-2015-3-79-91 | |
| Category: Informatics, Computer Engineering and Control | Chapter: Theoretical Computer Science, Cybernetics | |
| Keywords: model transformation, model synchronization, UML, graph grammars, completeness and correctness of model transformation | |
Multiagent Analysis of Specification Accuracy of Session Initialization Protocols
| Authors: Devyatkov V.V., Myo Thet Naung | Published: 14.04.2015 |
| Published in issue: #2(101)/2015 | |
| DOI: 10.18698/0236-3933-2015-2-107-116 | |
| Category: Informatics, Computer Engineering and Control | |
| Keywords: sequential process, user agent elient, user agent server, session initiating protocol, logic programming language VISUAL PROLOG | |
Automation of Verification of Incorrectness for Firewall Configurations
| Authors: Devyatkov V.V., Myo Than Tun | Published: 08.02.2015 |
| Published in issue: #1(100)/2015 | |
| DOI: 10.18698/0236-3933-2015-1-100-110 | |
| Category: Informatics, Computer Engineering and Control | Chapter: Computing Systems and their Elements | |
| Keywords: firewall, process, modal logic, logic programming language PROLOG | |
Situational Modal Fuzzy Calculus for Analysis of Complex Objects
| Authors: Devyatkov V.V., Rumbesht V.V. | Published: 03.09.2014 |
| Published in issue: #3(44)/2001 | |
| DOI: | |
| Category: Informatics & Computing Technology | |
| Keywords: | |