Results 11 to 20 of about 344 (214)
Quantified Multimodal Logics in Simple Type Theory [PDF]
Logica Universalis, 2012 ii + 22 ...
Benzmüller, Christoph +1 more
openaire +3 more sources
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
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
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
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
Prefixed tableaux for multi-modal logic of knowledge with inclusions
Lietuvos Matematikos Rinkinys, 2003 There is not abstract.
Jūratė Sakalauskaitė
doaj +3 more sources
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
Logistics aspects of organising multimodal deliveries in the sustainable development context [PDF]
E3S Web of ConferencesThe relevance of the chosen topic is determined to be the increasing role of multimodal connections of various transport modes and the need to identify theoretically justified and practically significant logistical aspects of organising multimodal ...
Shapoval Ganna +4 more
doaj +1 more source
Demand and Congestion in Multiplex Transportation Networks. [PDF]
PLoS ONE, 2016 Urban transportation systems are multimodal, sociotechnical systems; however, while their multimodal aspect has received extensive attention in recent literature on multiplex networks, their sociotechnical aspect has been largely neglected.
Philip S Chodrow +3 more
doaj +1 more source