Výsledky vyhľadávania - "reactive algorithms"
-
1
Compositional approach to the development of reactive algorithms
ISSN: 1060-0396, 1573-8337Vydavateľské údaje: Boston Springer US 01.09.2013Vydané v Cybernetics and systems analysis (01.09.2013)“…A method is proposed for the development of complex finite state machines (FSMs) from their compositional specifications in the logical language L. A…”
Získať plný text
Journal Article -
2
Design of reactive algorithms by solving equations over automata
ISSN: 1060-0396, 1573-8337Vydavateľské údaje: Boston Springer US 01.07.2012Vydané v Cybernetics and systems analysis (01.07.2012)“…The problem of solving inequalities over finite state machines (FSMs) is considered. This problem arises in the compositional approach to the design of…”
Získať plný text
Journal Article -
3
Dynamic Obstacle Avoidance for Nonholonomic Vehicles using Collision Cones: Theory and Experiments
ISSN: 2768-0770Vydavateľské údaje: IEEE 16.08.2023Vydané v Control Technology and Applications (Online) (16.08.2023)“…Obstacle avoidance is a critical part in the control of autonomous vehicles. This paper proposes an obstacle avoidance algorithm based on the computationally…”
Získať plný text
Konferenčný príspevok.. -
4
Load Balancing in UDNs Considering the Small-Cell Cluster Layout and the APs Inter-Communications
Vydavateľské údaje: IEEE 01.08.2019Vydané v 2019 IEEE International Conference on Communication, Networks and Satellite (Comnetsat) (01.08.2019)“… To solve this problem, this paper proposes proactive algorithms for balancing the load across the small-cell clusters and compares their balancing results to the previous reactive algorithms…”
Získať plný text
Konferenčný príspevok.. -
5
Checking the Satisfiability of Formulas Represented in Disjunctive Normal Form in the Language L. I
ISSN: 1060-0396, 1573-8337Vydavateľské údaje: New York Springer Nature B.V 01.07.2005Vydané v Cybernetics and systems analysis (01.07.2005)“…An original technique is proposed for checking the satisfiability of formulae represented in the logical language L in the form of a set of conjuncts…”
Získať plný text
Journal Article -
6
Reactive algorithms for grasping using a modified parallel jaw gripper
ISBN: 0818653302, 9780818653308Vydavateľské údaje: IEEE Comput. Soc. Press 1994Vydané v Robotics and Automation, '94 International Conference (1994)“…Considers the problem of grasping an unknown polygonal flat object using a parallel jaw gripper. The authors propose to equip a standard gripper with several…”
Získať plný text
Konferenčný príspevok.. -
7
A General Reactive Algorithm for Redirected Walking Using Artificial Potential Functions
ISSN: 2642-5254Vydavateľské údaje: IEEE 01.03.2019Vydané v Proceedings (IEEE Conference on Virtual Reality and 3D User Interfaces. Online) (01.03.2019)“… Unfortunately, previously proposed reactive algorithms assume a completely empty space with convex boundaries and perform poorly in complex real world spaces containing obstacles…”
Získať plný text
Konferenčný príspevok.. -
8
A Hybrid Global/Reactive Algorithm for Collision-Free UAV Navigation in 3D Environments with Steady and Moving Obstacles
ISSN: 2504-446X, 2504-446XVydavateľské údaje: Basel MDPI AG 01.11.2023Vydané v Drones (Basel) (01.11.2023)“…This paper introduces a practical navigation approach for nonholonomic Unmanned Aerial Vehicles (UAVs) in 3D environment settings with numerous stationary and…”
Získať plný text
Journal Article -
9
The design of medical IoT operation information platform using reactive algorithm and e-commerce O2O mode
ISSN: 2192-6662, 2192-6670Vydavateľské údaje: Vienna Springer Vienna 01.12.2021Vydané v Network modeling and analysis in health informatics and bioinformatics (Wien) (01.12.2021)“… First, the theoretical basis of O2O mode of medical e-commerce is proposed, and the reactive algorithm in a cloud computing environment is proposed…”
Získať plný text
Journal Article -
10
A reactive algorithm for deducing nodal forwarding behavior in a multihop ad-hoc wireless network in the presence of errors
ISSN: 2081-8491, 2300-1933Vydavateľské údaje: Warsaw Polish Academy of Sciences 01.01.2020Vydané v International Journal of Electronics and Telecommunications (01.01.2020)“…A novel algorithm is presented to deduce individual nodal forwarding behavior from standard end-to-end acknowledgments. The algorithm is based on a…”
Získať plný text
Journal Article -
11
Adaptive Expected Reactive algorithm for Heterogeneous Patrolling Systems based on Target Uncertainty
Vydavateľské údaje: IEEE 01.06.2023Vydané v 2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC) (01.06.2023)“…Multi-robot patrolling for dynamic coverage in flat environments is proposed, through a systematic simulative analysis between the Greedy Bayesian Strategy and the Expected Reactive algorithm based…”
Získať plný text
Konferenčný príspevok.. -
12
Recovery management for a dial-a-ride system with real-time disruptions
ISSN: 0377-2217, 1872-6860, 1872-6860Vydavateľské údaje: Elsevier B.V 01.02.2020Vydané v European journal of operational research (01.02.2020)“…•Dial-a-ride problem with real-time disruptions.•Patient delays (appointment duration variation) and request cancellation.•Local search based on four operators…”
Získať plný text
Journal Article -
13
A Universal Reactive Approach for Graph-Based Persistent Path Planning Problems With Temporal Logic Constraints
ISSN: 2168-2216, 2168-2232Vydavateľské údaje: IEEE 01.10.2025Vydané v IEEE transactions on systems, man, and cybernetics. Systems (01.10.2025)“…This article introduces a reactive methodology tailored for a wide range of practical graph-based path planning applications. In these scenarios, a robot with…”
Získať plný text
Journal Article -
14
Redirected Walking Based on Historical User Walking Data
ISSN: 2642-5254Vydavateľské údaje: IEEE 01.03.2023Vydané v Proceedings (IEEE Conference on Virtual Reality and 3D User Interfaces. Online) (01.03.2023)“… Previous predictive algorithms place constraints on the user's path according to the spatial layouts of the virtual environment and work well when applicable, while reactive algorithms…”
Získať plný text
Konferenčný príspevok.. -
15
A Hybrid Global/Reactive Algorithm for Collision-Free Navigation of Mobile Ground Robots in Environments with Steady and Moving Obstacles
Vydavateľské údaje: IEEE 05.12.2022Vydané v 2022 IEEE International Conference on Robotics and Biomimetics (ROBIO) (05.12.2022)“…In this paper, we present an efficient hybrid navigation strategy for a low-computational non-holonomic mobile robot in an indoor environment with multiple…”
Získať plný text
Konferenčný príspevok.. -
16
Accelerating Distributed Graphical Fluid Simulations with Micro‐partitioning
ISSN: 0167-7055, 1467-8659Vydavateľské údaje: Oxford Blackwell Publishing Ltd 01.02.2020Vydané v Computer graphics forum (01.02.2020)“…‐deterministic and hard to debug. This paper proposes Birdshot scheduling, an automatic and purely static load balancing algorithm whose performance is close to expert decisions and reactive algorithms without their difficulty or complexity…”
Získať plný text
Journal Article -
17
An Effective Algorithm for Finding Shortest Paths in Tubular Spaces
ISSN: 1999-4893, 1999-4893Vydavateľské údaje: Basel MDPI AG 01.03.2022Vydané v Algorithms (01.03.2022)“…We propose a novel algorithm to determine the Euclidean shortest path (ESP) from a given point (source) to another point (destination) inside a tubular space…”
Získať plný text
Journal Article -
18
The design of regional medical cloud computing information platform based on deep learning
ISSN: 0975-6809, 0976-4348Vydavateľské údaje: New Delhi Springer India 01.08.2021Vydané v International journal of system assurance engineering and management (01.08.2021)“…In order to solve the imbalance of medical resources in different regions, a regional medical cloud computing information platform based on reactive algorithm is constructed…”
Získať plný text
Journal Article -
19
A reactive algorithm for deducing nodal forwarding behavior in a multihop ad-hoc wireless network in the presence of errors
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 04.02.2020Vydané v arXiv.org (04.02.2020)“…novel algorithm is presented to deduce individual nodal forwarding behavior from standard end-to-end acknowledgments. The algorithm is based on a…”
Získať plný text
Paper -
20
A Miniaturized Mechatronic System Inspired by Plant Roots for Soil Exploration
ISSN: 1083-4435, 1941-014XVydavateľské údaje: New York IEEE 01.04.2011Vydané v IEEE/ASME transactions on mechatronics (01.04.2011)“…This paper describes the principles and theoretical investigations, supported by experimental measurements, aimed at designing and developing a novel…”
Získať plný text
Journal Article

