Results 161 to 170 of about 1,341,656 (346)

Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial) [PDF]

, 2023
José Proença, Luc Edixhoven
openalex   +1 more source

Interactive Prompt‐Guided Robotic Grasping for Arbitrary Objects Based on Promptable Segment Anything Model and Force‐Closure Analysis

Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.
A laser pointer‐guided robotic grasping method for arbitrary objects based on promptable segment anything model and force‐closure analysis is presented. Grasp generation methods based on force‐closure analysis can calculate the optimal grasps for objects through their appearances. However, the limited visual perception ability makes robots difficult to
Yan Liu, Yaxin Liu, Ruiqing Han, Kai Zheng, Yufeng Yao, Ming Zhong   +5 more
wiley   +1 more source

Tensors of Comodels and Models for Operational Semantics

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

Large Language Model‐Based Chatbots in Higher Education

Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.
The use of large language models (LLMs) in higher education can facilitate personalized learning experiences, advance asynchronized learning, and support instructors, students, and researchers across diverse fields. The development of regulations and guidelines that address ethical and legal issues is essential to ensure safe and responsible adaptation
Defne Yigci, Merve Eryilmaz, Ail K. Yetisen, Savas Tasoglu, Aydogan Ozcan   +4 more
wiley   +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

Handcrafted Inversions Made Operational on Operational Semantics

International Conference on Interactive Theorem Proving, 2013
J. Monin, Xiaomu Shi
semanticscholar   +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

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

Proceedings Seventh Workshop on Structural Operational Semantics

, 2010
Luca Aceto, Paweł Sobociński
openalex   +1 more source