Results 131 to 140 of about 103,776 (269)

Tensors of Comodels and Models for Operational Semantics

, 2008
Gordon Plotkin, John Power
openalex   +1 more source

An operational semantics for process algebra [PDF]

, 1988
Jcm Jos Baeten, JA Jan Bergstra, JW Jan Willem Klop   +2 more
openalex   +1 more source

Recent Advancements in Topic Modeling Techniques for Healthcare, Bioinformatics, and Other Potential Applications

Advanced Intelligent Systems, EarlyView.
This article offers a comprehensive review of topic modeling techniques, tracing their evolution from inception to recent developments. It explores methods such as latent Dirichlet allocation, latent semantic analysis, non‐negative matrix factorization, probabilistic latent semantic analysis, Top2Vec, and BERTopic, highlighting their strengths ...
Pratima Kumari, Sachin Kadian, Mukund Vora, Pradyumna Vemuri, Sumit Kumar, Om Prakash Verma, Roger J. Narayan   +6 more
wiley   +1 more source

A Task and Motion Planning Framework for Partially Observable Household Manipulation Scenes

Advanced Intelligent Systems, EarlyView.
This paper presents a novel TAMP framework tackling partial observability, cluttered scenes, and vague goals via symbolic reasoning and occlusion‐aware planning. It outperforms prior learning, policy, and LLM‐based methods in six real and simulated household tasks.
Yuhong Ma, Yeqing Yuan, Shaoquan Wu, Han Yuan   +3 more
wiley   +1 more source

Selective strictness and parametricity in structural operational semantics, inequationally [PDF]

, 2007
Janis Voigtländer, Patricia Johann
openalex   +1 more source

Intelligent Supportive System for People with Profound Intellectual and Multiple Disabilities

Advanced Intelligent Systems, EarlyView.
A holistic INSENSION system is developed—a novel intelligent decision support system leveraging state‐of‐the‐art noninvasive audio‐visual sensor technologies together with machine learning algorithms and expert knowledge, to detect and interpret behaviors and communications (nonverbal signals—NVSs) of people with PIMD in challenging real‐world ...
Gašper Slapničar, Michał Kosiedowski, Arkadiusz Radziuk, Erik Dovgan, Torsten Hammann, Meike Engelhardt, Christin Kupitz, Carmen Campomanes‐Alvarez, Dorota Janczewska, Peter Zentel, Mitja Luštrek   +10 more
wiley   +1 more source

An Operational Semantics for Situated Ideological Systems, with a Case Study Concerning a Paradigmatic Religious Conflict

, 2022
Antônio Carlos da Rocha Costa
openalex   +2 more sources

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

A congruence theorem for structured operational semantics with predicates

, 1993
J. C. M. Baeten, C. Verhoef
openalex   +2 more sources

Forecasting Research Trends Using Knowledge Graphs and Large Language Models

Advanced Intelligent Systems, EarlyView.
When research trends can be anticipated, academia and industry are able to allocate limited resources more effectively and accelerate innovation. By constructing knowledge graphs using large language models, this study analyzes the time evolution of nuclear materials research concepts and suggests a data‐driven approach of forecasting research trends ...
Maciej Tomczak, Yang Jeong Park, Chia‐Wei Hsu, Payden Brown, Dario Massa, Piotr Sankowski, Ju Li, Stefanos Papanikolaou   +7 more
wiley   +1 more source