3D object detection is a critical task in autonomous driving. Recently multi-modal fusion-based methods, which combine the complementary advantages of LiDAR and camera, have shown great performance improvements over mono-modal methods. However, so far, no methods attempted to utilize instance-level contextual image semantics guide detection. In this paper, we propose simple effective Painting A...

Multi-modal image fusion can provide more information, which improves the quality for subsequent processing tasks. Because images acquired using photon counting devices always suffer from Poisson noise, this paper proposes a new three-step method based on fractional-order variational and data-driven tight frame to solve problem of multi-modal corrupted by noise. Thus, article obtains fused high...

the main objective of this article is evaluation of the simplified models which have been developed for analysis and design of liquid storage tanks. the empirical formulas of these models for predicting maximum sloshing wave height (mswh) are obtained from mass spring models (msm). a finite element modeling (fem) tool is used for investigating the behavior the some selected liquid storage tanks...

marine industry requires continued development of new technologies in order to produce oil. an essential requirement in design is to be able to compare experimental data from prototype structures with predicted information from a corresponding analytical finite element model. in this study, structural model updating may be defined as the fit of an existing analytical model in the light of measu...

Bisimulations and van Benthem’s celebrated theorem provide a direct insight how truth preserving operations in modal logics work. Apart from bisimulations, there are several other operations in basic modal logic that preserve the truth (Blackburn et al., 2001). However, there is a problem. Given a modal model, and several bisimilar copies of it, there is no method to compare or measure the diff...

A spatial logic is a modal logic of which the models are the mathematical models of space. Successively considering the mathematical models of space that are the incidence geometry and the projective geometry, we will successively establish the language, the semanti-cal basis, the axiomatical presentation, the proof of the decidability and the proof of the completeness of INC, the modal multilo...