Works matching DE "FINITE state machines"
Results: 1012
Efficient construction of family-based behavioral models from adaptively learned models: Efficient construction of family-based behavioral models from adaptively learned models: S. Tavassoli, R. Khosravi.
- Published in:
- Software & Systems Modeling, 2025, v. 24, n. 1, p. 225, doi. 10.1007/s10270-024-01199-5
- By:
- Publication type:
- Article
RECOGNITION AND COMPLEXITY RESULTS FOR PROJECTION LANGUAGES OF TWO-DIMENSIONAL AUTOMATA.
- Published in:
- Journal of Automata, Languages & Combinatorics, 2023, v. 28, n. 1-3, p. 201
- By:
- Publication type:
- Article
WADGE DEGREES OF CLASSES OF ω-REGULAR κ-PARTITIONS.
- Published in:
- Journal of Automata, Languages & Combinatorics, 2023, v. 28, n. 1-3, p. 167
- By:
- Publication type:
- Article
The Toad System for Totally Ordered HTN Planning.
- Published in:
- Journal of Artificial Intelligence Research, 2024, v. 80, p. 613, doi. 10.1613/jair.1.14945
- By:
- Publication type:
- Article
Learning minimal automata with recurrent neural networks.
- Published in:
- Software & Systems Modeling, 2024, v. 23, n. 3, p. 625, doi. 10.1007/s10270-024-01160-6
- By:
- Publication type:
- Article
Software engineering and formal methods: SEFM 2019 special section.
- Published in:
- 2021
- By:
- Publication type:
- Editorial
Asynchronous session subtyping as communicating automata refinement.
- Published in:
- Software & Systems Modeling, 2021, v. 20, n. 2, p. 311, doi. 10.1007/s10270-020-00838-x
- By:
- Publication type:
- Article
Basic problems in multi-view modeling.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 3, p. 1577, doi. 10.1007/s10270-017-0638-1
- By:
- Publication type:
- Article
Toward testing from finite state machines with symbolic inputs and outputs.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 2, p. 825, doi. 10.1007/s10270-017-0613-x
- By:
- Publication type:
- Article
Systematic approach for constructing an understandable state machine from a contract-based specification: controlled experiments.
- Published in:
- Software & Systems Modeling, 2016, v. 15, n. 3, p. 847, doi. 10.1007/s10270-014-0440-2
- By:
- Publication type:
- Article
Models in simulation.
- Published in:
- 2016
- By:
- Publication type:
- Editorial
Extracting finite state representation of Java programs.
- Published in:
- Software & Systems Modeling, 2016, v. 15, n. 2, p. 497, doi. 10.1007/s10270-014-0415-3
- By:
- Publication type:
- Article
Synthesizing object life cycles from business process models.
- Published in:
- Software & Systems Modeling, 2016, v. 15, n. 1, p. 281, doi. 10.1007/s10270-014-0406-4
- By:
- Publication type:
- Article
A method of refinement in UML-B.
- Published in:
- Software & Systems Modeling, 2015, v. 14, n. 4, p. 1557, doi. 10.1007/s10270-013-0391-z
- By:
- Publication type:
- Article
Does aspect-oriented modeling help improve the readability of UML state machines?
- Published in:
- Software & Systems Modeling, 2014, v. 13, n. 3, p. 1189, doi. 10.1007/s10270-012-0293-5
- By:
- Publication type:
- Article
Static object detection for video surveillance.
- Published in:
- Multimedia Tools & Applications, 2023, v. 82, n. 14, p. 21627, doi. 10.1007/s11042-023-14696-4
- By:
- Publication type:
- Article
Dynamical Systems Implementation of Intrinsic Sentence Meaning.
- Published in:
- Minds & Machines, 2022, v. 32, n. 4, p. 627, doi. 10.1007/s11023-022-09590-1
- By:
- Publication type:
- Article
The Swapping Constraint.
- Published in:
- Minds & Machines, 2018, v. 28, n. 3, p. 605, doi. 10.1007/s11023-018-9473-6
- By:
- Publication type:
- Article
On the Distributions of the State Sizes of the Continuous Time Homogeneous Markov System with Finite State Capacities.
- Published in:
- Methodology & Computing in Applied Probability, 2012, v. 14, n. 3, p. 863, doi. 10.1007/s11009-012-9284-9
- By:
- Publication type:
- Article
Does big data serve policy? Not without context. An experiment with in silico social science.
- Published in:
- Computational & Mathematical Organization Theory, 2023, v. 29, n. 1, p. 188, doi. 10.1007/s10588-022-09362-3
- By:
- Publication type:
- Article
Modelling and solving of IGBT's transient analysis model based on the finite state machine.
- Published in:
- IET Power Electronics (Wiley-Blackwell), 2021, v. 14, n. 11, p. 1973, doi. 10.1049/pel2.12163
- By:
- Publication type:
- Article
Voltage-mode robust controller design for DC-DC boost converter at the presence of wide load and input voltage variations based on finite-state-machine model.
- Published in:
- IET Power Electronics (Wiley-Blackwell), 2018, v. 11, n. 5, p. 866, doi. 10.1049/iet-pel.2017.0136
- By:
- Publication type:
- Article
Predictive variable-structure system control of unity power factor rectifiers.
- Published in:
- IET Power Electronics (Wiley-Blackwell), 2013, v. 6, n. 8, p. 1608, doi. 10.1049/iet-pel.2012.0277
- By:
- Publication type:
- Article
面向兵棋游戏的多层级智能体架构.
- Published in:
- Command Control & Simulation / Zhihui Kongzhi yu Fangzhen, 2025, v. 47, n. 1, p. 69, doi. 10.3969/j.issn.1673-3819.2025.01.009
- By:
- Publication type:
- Article
机载多功能火控雷达显控界面仿真.
- Published in:
- Command Control & Simulation / Zhihui Kongzhi yu Fangzhen, 2023, v. 45, n. 2, p. 144, doi. 10.3969/j.issn.1673-3819.2023.02.023
- By:
- Publication type:
- Article
Mutant selection by using Fourier expansion.
- Published in:
- Turkish Journal of Electrical Engineering & Computer Sciences, 2020, v. 28, n. 5, p. 2750, doi. 10.3906/elk-1909-90
- By:
- Publication type:
- Article
Parallel brute-force algorithm for deriving reset sequences from deterministic incomplete finite automata.
- Published in:
- Turkish Journal of Electrical Engineering & Computer Sciences, 2019, v. 27, n. 5, p. 3544, doi. 10.3906/elk-1809-1
- By:
- Publication type:
- Article
Lightweight signature scheme to protect intellectual properties of Internet of things applications in system on chip field-programmable gate arrays.
- Published in:
- Turkish Journal of Electrical Engineering & Computer Sciences, 2019, v. 27, n. 5, p. 3500, doi. 10.3906/elk-1811-97
- By:
- Publication type:
- Article
On language classes accepted by stateless 5' → 3' Watson-Crick finite automata.
- Published in:
- Annales Mathematicae et Informaticae, 2023, v. 58, p. 110, doi. 10.33039/ami.2023.08.004
- By:
- Publication type:
- Article
Warshall’s algorithm—survey and applications.
- Published in:
- Annales Mathematicae et Informaticae, 2021, v. 54, p. 17, doi. 10.33039/ami.2021.08.001
- By:
- Publication type:
- Article
Automated formal analysis and verification: an overview.
- Published in:
- International Journal of General Systems, 2013, v. 42, n. 4, p. 335, doi. 10.1080/03081079.2012.757437
- By:
- Publication type:
- Article
Bell's theorem from Moore's theorem.
- Published in:
- International Journal of General Systems, 2013, v. 42, n. 4, p. 376, doi. 10.1080/03081079.2012.751382
- By:
- Publication type:
- Article
Synchronizing square arrays in optimum-time.
- Published in:
- International Journal of General Systems, 2012, v. 41, n. 6, p. 617, doi. 10.1080/03081079.2012.695901
- By:
- Publication type:
- Article
TWO-DIMENSIONAL JUMPING FINITE AUTOMATA.
- Published in:
- Mathematics for Application, 2016, v. 5, n. 2, p. 105, doi. 10.13164/ma.2016.11
- By:
- Publication type:
- Article
Human Activities Recognition Based on Neuro-Fuzzy Finite State Machine.
- Published in:
- Technologies (2227-7080), 2018, v. 6, n. 4, p. 110, doi. 10.3390/technologies6040110
- By:
- Publication type:
- Article
Finite State Automata on Multi-Word Units for Efficient Text-Mining †.
- Published in:
- Mathematics (2227-7390), 2024, v. 12, n. 4, p. 506, doi. 10.3390/math12040506
- By:
- Publication type:
- Article
On Correspondences between Feedforward Artificial Neural Networks on Finite Memory Automata and Classes of Primitive Recursive Functions.
- Published in:
- Mathematics (2227-7390), 2023, v. 11, n. 12, p. 2620, doi. 10.3390/math11122620
- By:
- Publication type:
- Article
Reinforcement Learning-Based Lane Change Decision for CAVs in Mixed Traffic Flow under Low Visibility Conditions.
- Published in:
- Mathematics (2227-7390), 2023, v. 11, n. 6, p. 1556, doi. 10.3390/math11061556
- By:
- Publication type:
- Article
Approaches That Use Domain-Specific Expertise: Behavioral-Cloning-Based Advantage Actor-Critic in Basketball Games.
- Published in:
- Mathematics (2227-7390), 2023, v. 11, n. 5, p. 1110, doi. 10.3390/math11051110
- By:
- Publication type:
- Article
Relationships between the Chicken McNugget Problem, Mutations of Brauer Configuration Algebras and the Advanced Encryption Standard.
- Published in:
- Mathematics (2227-7390), 2021, v. 9, n. 16, p. 1937, doi. 10.3390/math9161937
- By:
- Publication type:
- Article
ПРИКЛАД МОДЕЛЮВАННЯ СИСТЕМИ ЛОГІЧНОГО КЕРУВАННЯ В ПРОГРАМІ STATEFLOW.
- Published in:
- Automation of Technological & Business Processes / Avtomatizaciâ Tehnologiceskih i Biznes-Processov, 2024, v. 16, n. 2, p. 15, doi. 10.15673/atbp.v16i2.2838
- By:
- Publication type:
- Article
面向独热编码的有限状态机抗单粒子翻转设计.
- Published in:
- Telecommunication Engineering, 2022, v. 62, n. 8, p. 1178, doi. 10.3969/j.issn.1001-893x.2022.08.025
- By:
- Publication type:
- Article
Contextualized Latent Semantic Indexing: A New Approach to Automated Chinese Essay Scoring.
- Published in:
- Journal of Intelligent Systems, 2017, v. 26, n. 2, p. 263, doi. 10.1515/jisys-2015-0048
- By:
- Publication type:
- Article
ALGORITHMIC DIFFERENCES OF COMPLETE AND PARTIAL ALGEBRAIC SYNTHESIS OF A FINITE STATE MACHINE WITH DATAPATH OF TRANSITIONS.
- Published in:
- Radio Electronics, Computer Science, Control, 2024, n. 4, p. 143, doi. 10.15588/1607-3274-2024-4-14
- By:
- Publication type:
- Article
DESIGN MODELS OF BIT-STREAM ONLINE-COMPUTERS FOR SENSOR COMPONENTS.
- Published in:
- Radio Electronics, Computer Science, Control, 2024, n. 1, p. 62, doi. 10.15588/1607-3274-2024-1-6
- By:
- Publication type:
- Article
SYNTHESIS OF VHDL-MODEL OF A FINITE STATE MACHINE WITH DATAPATH OF TRANSITIONS.
- Published in:
- Radio Electronics, Computer Science, Control, 2023, n. 4, p. 135, doi. 10.15588/1607-3274-2023-4-13
- By:
- Publication type:
- Article
TEMPORAL EVENTS PROCESSING MODELS IN FINITE STATE MACHINES.
- Published in:
- Radio Electronics, Computer Science, Control, 2023, n. 4, p. 49, doi. 10.15588/1607-3274-2023-4-5
- By:
- Publication type:
- Article
SYNTHESIS OF THE FINITE STATE MACHINE WITH DATAPATH OF TRANSITIONS ACCORDING TO THE OPERATIONAL TABLE OF TRANSITIONS.
- Published in:
- Radio Electronics, Computer Science, Control, 2022, n. 3, p. 109, doi. 10.15588/1607-3274-2022-3-11
- By:
- Publication type:
- Article
АНАЛІЗ ПІДХОДІВ ДО МОДЕЛЮВАННЯ ТА ВЕРИФІКАЦІЇ КІБЕРФІЗИЧНИХ СИСТЕМ.
- Published in:
- Radio Electronics, Computer Science, Control, 2020, n. 3, p. 57, doi. 10.15588/1607-3274-2020-3-5
- By:
- Publication type:
- Article
DESIGN TIMED FSM WITH VHDL MOORE PATTERN.
- Published in:
- Radio Electronics, Computer Science, Control, 2020, n. 2, p. 137, doi. 10.15588/1607-3274-2020-2-14
- By:
- Publication type:
- Article