Results 121 to 130 of about 100,374 (308)

C Program Verication in the Multilanguage System Spectrum

Моделирование и анализ информационных систем, 2010
This paper presents the expendable multi-language analysis and verication system SPECTRUM, which is being developed within the framework of the project SPEC- TRUM. The project prospects are discussed using the example of C program verication. The project
V. A. Nepomniashy, I. S. Anureev, M. M. Atuchin, I. V. Maryasov, A. A. Petrov, A. V. Promsky   +5 more
doaj  

A Shared Control Method of Multiobjective Motion Fusion for Surgical Robot

Advanced Intelligent Systems, EarlyView.
This paper proposes an innovative shared control method that can handle multiple objectives task by integrating various types of controllers. It not only takes into account the priorities among the objectives but also allows for the flexible addition or removal of objective controllers.
Xilin Xiao, Xiaojian Li, Hangjie Mo, Yudong Shi, Jing Fang, Ling Li, Bo Ouyang, Shanlin Yang   +7 more
wiley   +1 more source

Typical Examples of Atoment Language Using

Моделирование и анализ информационных систем, 2011
Atoment is a domain-specific language of executable specifications, used to describe methods and techniques of program verification. In this paper a collection of typical examples of the use of the Atoment language, covering topics such as program models,
I. S. Anureev
doaj  

Structural operational semantics as a basis for static program analysis [PDF]

, 1996
Daniel Le Métayer, David Schmidt
openalex   +1 more source

Artificial Intelligence‐Enhanced, Closed‐Loop Wearable Systems Toward Next‐Generation Diabetes Management

Advanced Intelligent Systems, EarlyView.
Recent advancements in wearable healthcare have brought accessible continuous glucose monitoring systems (CGMs) for diabetes management. To address the limitations of CGMs, closed‐loop systems utilizing monitored glucose levels for insulin dosing are being developed.
Wei Huang, Ivo Pang, Jing Bai, Binbin Cui, Xiaojuan Qi, Shiming Zhang   +5 more
wiley   +1 more source

Applied Artificial Intelligence in Materials Science and Material Design

Advanced Intelligent Systems, EarlyView.
AI‐driven methods are transforming materials science by accelerating material discovery, design, and analysis, leveraging large datasets to enhance predictive modeling and streamline experimental techniques. This review highlights advancements in AI applications across spectroscopy, microscopy, and molecular design, enabling efficient material ...
Emigdio Chávez‐Angel, Martin Børstad Eriksen, Alejandro Castro‐Alvarez, Jose H. Garcia, Marc Botifoll, Oscar Avalos‐Ovando, Jordi Arbiol, Aitor Mugarza   +7 more
wiley   +1 more source

Higher Order Operational Techniques in Semantics edited by Andrew D. Gordon and Andrew M. Pitts, Cambridge University Press 1998, ISBN 0 521 63168 8 (hardback). [PDF]

, 1998
Stefan Kahrs
openalex   +1 more source

AKG‐VO: Adaptive Keyframe Generation Method for Improving Visual Odometry in Autonomous Vehicles

Advanced Intelligent Systems, EarlyView.
An adaptive keyframe generation method for pose estimation is proposed, incorporating optical flow‐based interframe gap estimation and video frame interpolation techniques. By limiting interframe gaps, meaningful keyframes are generated to enhance tracking reliability.
Donghyun Lee, I Made Putra Arya Winata, Beomsu Cho, Junghyun Oh   +3 more
wiley   +1 more source

Defeasible logic programming: language definition, operational semantics, and parallelism

Journal of Computer Science and Technology, 2001
This thesis defines Defeasible Logic Programming and provides a concrete specification of this new language through its operational semantics. Defeasible Logic Programming, or DeLP for short, has been defined based on the Logic Programming paradigm and ...
Alejandro Javier García
doaj  

Operational Semantics for Agent Communication Languages [PDF]

, 2000
Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John‐Jules Ch. Meyer   +3 more
openalex   +1 more source