Results 11 to 20 of about 801,080 (268)
Logic Journal of IGPL, 2002 We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the result of modeling errors or recent modifications of the system. Despite such discrepancies we can still attempt to perform automatic verification.
Alex Groce +2 more
openaire +1 more source
International Journal of Prognostics and Health Management, 2021 Model-based prognostic approaches use first-principle or regression models to estimate and predict the system’s health state in order to determine the remaining useful life (RUL).
Ferhat Tamssaouet +3 more
doaj +1 more source
Adaptive deformable models [PDF]
Proceedings. 17th Brazilian Symposium on Computer Graphics and Image Processing, 2004 Deformable models are a powerful tool in both computer graphics and computer vision. The description and implementation of the deformations have to be simultaneously flexible and powerful, otherwise the technique may not satisfy the requirements of all the distinct applications. In this paper we introduce a new method for deformable model specification:
Siome Goldenstein +2 more
openaire +1 more source
A Generic Adaptivity Model in Adaptive Hypermedia [PDF]
, 2004 For adaptive hypermedia there is a strong model in form of the AHAM model and the AHA! system. This model, based on the Dexter Model, however is limited to application in hypermedia systems. In this paper we propose a new Generic Adaptivity Model. This state-machine based model can be used as the basis for adaptation in all kinds of applications.
Paul de Vrieze +2 more
openaire +1 more source
Improved Point-Line Feature Based Visual SLAM Method for Indoor Scenes
Sensors, 2018 In the study of indoor simultaneous localization and mapping (SLAM) problems using a stereo camera, two types of primary features—point and line segments—have been widely used to calculate the pose of the camera.
Runzhi Wang +3 more
doaj +1 more source
Dynamic and thermodynamic models of adaptation [PDF]
Physics of Life Reviews, 2021 The concept of biological adaptation was closely connected to some mathematical, engineering and physical ideas from the very beginning. Cannon in his "The wisdom of the body" (1932) used the engineering vision of regulation. In 1938, Selye enriched this approach by the notion of adaptation energy.
A.N. Gorban +3 more
openaire +3 more sources
Adaptive Weapon-to-Target Assignment Model Based on the Real-Time Prediction of Hit Probability
IEEE Access, 2019 Weapon-to-target assignment (WTA), which minimizes the damage to our forces by launching interceptor missiles (weapons) against ballistic missiles of the enemy (targets), is a critical decision-making problem of ballistic missile defense missions.
Jaeyeon Jang +3 more
doaj +1 more source
Buildings, 2022 The use of an air conditioner (AC) becomes essential, particularly in a hot and humid climate, to provide a comfortable environment for human activities.
Nurul Izzati +5 more
doaj +1 more source
Aerospace, 2021 One of the most important parts of a turboshaft engine, which has a direct impact on the performance of the engine and, as a result, on the performance of the propulsion system, is the engine fuel control system.
Maria Grazia De Giorgi +2 more
doaj +1 more source
Memory Models of Adaptive Behavior [PDF]
IEEE Transactions on Neural Networks and Learning Systems, 2013 Adaptive response to a varying environment is a common feature of biological organisms. Reproducing such features in electronic systems and circuits is of great importance for a variety of applications. Here, we consider memory models inspired by an intriguing ability of slime molds to both memorize the period of temperature and humidity variations ...
Fabio L. Traversa +2 more
openaire +3 more sources