Results 41 to 50 of about 1,079,877 (335)
Interpreting Reo Circuits as PDL models
O Que Nos Faz Pensar, 2022 Reo is a coordination-based language with the proposal of connecting different systems and interfaces. It aims to develop communication between different systems with a high level of abstraction and without many restrictions.
Erick Grilo +2 more
doaj +1 more source
Image Captioning Optimization Strategy Based on Deep Learning [PDF]
Jisuanji kexue, 2023 Image captioning aims to describe image content with grammatically correct sentences and automatically generate text.Image captioning involves computer vision and natural language processing,which is a classic task in multimodal field.In recent years,a ...
ZHOU Ziyi, XIONG Hailing
doaj +1 more source
Heliyon, 2021 Collaborative Beamforming (CBF) is an essential tool towards increasing transmission range in Wireless Sensor Networks (WSNs). Owing to the random and complex nature of WSNs, development and use of improved metaheuristic algorithms in CBF is of essence ...
Robert Macharia Maina +2 more
doaj +1 more source
Continuous Markovian Logics - Axiomatization and Quantified Metatheory [PDF]
Logical Methods in Computer Science, 2012 Continuous Markovian Logic (CML) is a multimodal logic that expresses quantitative and qualitative properties of continuous-time labelled Markov processes with arbitrary (analytic) state-spaces, henceforth called continuous Markov processes (CMPs).
Radu Mardare +2 more
doaj +1 more source
Mathematical modeling of multimodal transportation in Ukraine using methods of the graph theory [PDF]
E3S Web of Conferences, 2021 One of the problems of modernizing multimodal transportation of goods in post-Soviet countries is the optimization of the transport supply chain. This requires, in particular, a software package that is to be adapted to local conditions, to the expanded ...
Perevozova Iryna +4 more
doaj +1 more source
A haptic-enabled multimodal interface for the planning of hip arthroplasty [PDF]
, 2006 Multimodal environments help fuse a diverse range of sensory modalities, which is particularly important when integrating the complex data involved in surgical preoperative planning.
Caldwell, DG +6 more
core +1 more source
Network modal innovation for distributed machine learning
Dianxin kexue, 2023 Distributed machine learning, as a popular computing architecture for artificial intelligence, still faces challenges of slow model training and poor data performance transmission.Traditional network modalities were un able to meet the communication ...
Zehua GUO, Haowen ZHU, Tongwen XU
doaj +2 more sources
Classical and Fuzzy Two-Layered Modal Logics for Uncertainty: Translations and Proof-Theory
International Journal of Computational Intelligence Systems, 2020 This paper is a contribution to the study of two distinct kinds of logics for modelling uncertainty. Both approaches use logics with a two-layered modal syntax, but while one employs classical logic on both levels and infinitely-many multimodal operators,
Paolo Baldi +2 more
doaj +1 more source
Do You See What I Mean? Visual Resolution of Linguistic Ambiguities [PDF]
, 2015 Understanding language goes hand in hand with the ability to integrate complex contextual information obtained via perception. In this work, we present a novel task for grounded language understanding: disambiguating a sentence given a visual scene which
Barbu, Andrei +4 more
core +4 more sources
Systematic Verification of the Modal Logic Cube in Isabelle/HOL [PDF]
, 2015 We present an automated verification of the well-known modal logic cube in Isabelle/HOL, in which we prove the inclusion relations between the cube's logics using automated reasoning tools. Prior work addresses this problem but without restriction to the
Benzmüller, Christoph +2 more
core +3 more sources