Filters








138,169 Hits in 4.8 sec

Multi-valued Model Checking in Dense-Time [chapter]

Ana Fernández Vilas, José J. Pazos Arias, A. Belén Barragáns Martínez, Martín López Nores, Rebeca P. Díaz Redondo, Alberto Gil Solla, Jorge García Duque, Manuel Ramos Cabrer
2005 Lecture Notes in Computer Science  
A multi-valued quotient is defined which enables to reduce dense-time X TCTL model checking to the untimed case.  ...  In this paper we introduce X TCTL, a dense-time extension of the multi-valued Computation Tree Logic (X CTL) in [1].  ...  We have defined multi-valued Strong Time-abstracting Bisimulations and applied them to reduce model checking for dense-time and multi-valued models to the untimed multi-valued case.  ... 
doi:10.1007/11518655_54 fatcat:utfpwtafszc6nhoq76kfamtlou

SceneFlowFields++: Multi-frame Matching, Visibility Prediction, and Robust Interpolation for Scene Flow Estimation [article]

René Schuster, Oliver Wasenmüller, Christian Unger, Georg Kuschk, Didier Stricker
2019 arXiv   pre-print
With the successful concept of pixel-wise matching and sparse-to-dense interpolation, we push the limits of scene flow estimation.  ...  State-of-the-art scene flow algorithms pursue the conflicting targets of accuracy, run time, and robustness.  ...  These values are the result of a second independent consistency check for the disparity matches only.  ... 
arXiv:1902.10099v1 fatcat:ljs5iq57gvgwrodycqa4uvqsfi

Combating fake news by empowering fact-checked news spread via topology-based interventions [article]

Ke Wang, Waheeb Yaqub, Abdallah Lakhdari, Basem Suleiman
2021 arXiv   pre-print
The obtained results demonstrate that empowering the diffusion of fact-checked news combats the spread of false news further and deeper in social networks.  ...  As false information is often spreading faster in a social network, the proposed diffusion methodology inhibits the spread of false news by proactively diffusing the fact-checked information.  ...  We generate this one-community network fifty times using the same parameter values The results of one-community (dense and sparse) structures are shown in Figure 10 and Table 6 .  ... 
arXiv:2107.05016v1 fatcat:ebv3mgoc4zcdxgxyxjk6wy7hau

Research on the Application of Multi-view Image Matching Point Cloud in Engineering Quantity Calculation of Mining Area

Zhe Wang, XiTun Yuan, PengWei Gao, Lei Xing, S.O. Oladokun, S. Lu
2020 E3S Web of Conferences  
Comparative analysis shows that multi-view image matching point cloud technology has certain advantages in terms of time, accuracy, cost and security risks. 1, a*  ...  Based on the actual production, this paper systematically studies the key technology of multi-view image matching point cloud in the calculation of mining area engineering quantity, and verifies the feasibility  ...  Layout of image control points and check points; dense image control, in order to ensure the absolute accuracy of multi-view image matching point clouds, dense image control should be adopted, and the  ... 
doi:10.1051/e3sconf/202021802025 fatcat:zvtmkaabrjg4phus2td3ymacn4

Dense Hybrid Recurrent Multi-view Stereo Net with Dynamic Consistency Checking [article]

Jianfeng Yan, Zizhuang Wei, Hongwei Yi, Mingyu Ding, Runze Zhang, Yisong Chen, Guoping Wang, Yu-Wing Tai
2020 arXiv   pre-print
In this paper, we propose an efficient and effective dense hybrid recurrent multi-view stereo net with dynamic consistency checking, namely D^2HC-RMVSNet, for accurate dense point cloud reconstruction.  ...  Our novel hybrid recurrent multi-view stereo net consists of two core modules: 1) a light DRENet (Dense Reception Expanded) module to extract dense feature maps of original size with multi-scale context  ...  Dynamic Consistency Checking The above DH-RMVSNet generates dense pixel-wise depth map for each input multi-view images.  ... 
arXiv:2007.10872v1 fatcat:m2qqs7ad75c63i5ud2v4ofulfe

Semi-automatic building footprint using multirotor and fixed wing UAV

Nabila Ismail, Khairul Nizam Tahar
2020 Indonesian Journal of Electrical Engineering and Computer Science  
The UAV is proposed to acquire aerial imagery in this study as it is more efficient, time-efficient, and inexpensive, especially for small budget projects.  ...  Lastly, it can be summarised that the area displayed better results with multi rotor UAV, in comparison to the area obtained by using fixed wing UAV.  ...  The authors would also like to thank the people who were directly or indirectly involved in this research.  ... 
doi:10.11591/ijeecs.v17.i3.pp1298-1305 fatcat:gbm7y6vbkbffzj7d63we3nymlm

A Multi-Resolution Photogrammetric Framework for Digital Geometric Recording of Large Archeological Sites: Ajloun Castle-Jordan

A'kif Al-Fugara, Rida Al-Adamat, Yahya Al-Shawabkeh, Omar Al-Kour, Abdel Rahman Al-Shabeeb
2016 International journal of geosciences  
The interdisciplinary 3D modeling framework consists of fusion of multi resolution images from both overlapped low-altitude aerial and multi-view terrestrial imagery.  ...  The generation of reality-based 3D models of archeological sites is the future of representing existing ancient structures.  ...  The SURE solution incorporates a Dense image matching algorithms (SGM), in particular, a hierarchical multi-view stereo based on the Semi-Global Matching, with a multi-view stereo triangulation [29]  ... 
doi:10.4236/ijg.2016.73033 fatcat:ixxhxmir55cu3h3jmmt6a4lqha

Detecting Defects on Solid Wood Panels Based on an Improved SSD Algorithm

Fenglong Ding, Zilong Zhuang, Ying Liu, Dong Jiang, Xiaoan Yan, Zhengguang Wang
2020 Sensors  
Wood is widely used in construction, the home, and art applications all over the world because of its good mechanical properties and aesthetic value.  ...  To solve the issues of high labor costs and low efficiency in the detection of wood defects, we used machine vision and deep learning methods in this work.  ...  Acknowledgments: In addition to the funds we received, we would also like to thank China Jiangsu Jiangjia Machinery Co., Ltd. for providing us with materials and support for the image collection.  ... 
doi:10.3390/s20185315 pmid:32957519 pmcid:PMC7570981 fatcat:gdecvqqu3rcfnk5zbhdp7cr45u

Modeling and Testing Multi-Agent Traffic Rules within Interactive Behavior Planning [article]

Klemens Esterle, Luis Gressenbuch, Alois Knoll
2020 arXiv   pre-print
To study how multi-agent and time-dependent traffic rules shall be modeled, a framework is needed that restricts the behavior to rule-conformant actions during planning, and that can eventually evaluate  ...  Especially in situations with traffic participants that interact densely, the interactions with other agents need to be accounted for during planning.  ...  Instead, our approach can incorperate multi-agent and time-dependent traffic rules in an efficient way, by exploiting automata-based model checking in the search tree.  ... 
arXiv:2009.14186v1 fatcat:sg7s4xpolzgqzmwuc6goxjrxju

ViolenceNet: Dense Multi-Head Self-Attention with Bidirectional Convolutional LSTM for Detecting Violence

Fernando J. Rendón-Segador, Juan A. Álvarez-García, Fernando Enríquez, Oscar Deniz
2021 Electronics  
Finally, to check if the generated model is able to generalize violence, a cross-dataset analysis is performed, which shows the complexity of this approach: using three datasets to train and testing on  ...  In this paper we present a new deep learning architecture, using an adapted version of DenseNet for three dimensions, a multi-head self-attention layer and a bidirectional convolutional long short-term  ...  Data Availability Statement: Data available in a publicly accessible repository.  ... 
doi:10.3390/electronics10131601 fatcat:xac2hbengnbc3fwph2vjubl3yu

POLYFIT ASSISTED MONOSCOPIC MULTI-IMAGE MEASUREMENT SYSTEMS

D. Suwardhi, S. W. Trisyanti, L. Kamal, H. A. Permana, A. Murtiyoso, K. N. Fauzan
2019 The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences  
multi-image measurement system.  ...  Nowadays, in light of the latest development in three-dimensional (3D) modeling technology, an essential role is given to the research and development of fully-automated or semi-automated processes in  ...  Check Point (ICPs) and their value The SmartMatch and DSM (Dense Surface Modeling) tools are used to automatically detect and match features across multiple overlapping photos.  ... 
doi:10.5194/isprs-archives-xlii-2-w17-347-2019 fatcat:4jcl7q7s2bc2pn3uh5gbpllffi

Predictive algorithms for aggregation and disaggregation in mixed mode simulation

Benjamin Yuan Wei Chua, Malcolm Yoke Hean Low
2009 Proceedings of the 2009 Winter Simulation Conference (WSC)  
This is achieved in part through aggregation/disaggregation, Multi Resolution Entities or other methods, which deal with the interoperability and believability issues with different amounts of success.  ...  These approaches can be improved with the inclusion of predictive algorithms that can reduce the amount of aggregation/disaggregation in dense or thrashing scenarios.  ...  Multi Resolution Modeling Multi Resolution Modeling (MRM) is defined as (1) building a single model with alternative user modes having different levels of resolution for the same phenomena; (2) building  ... 
doi:10.1109/wsc.2009.5429284 dblp:conf/wsc/ChuaL09 fatcat:4pu5dogv7be6tcdafcgxeiao2i

Multi-Resolution 3D Mapping with Explicit Free Space Representation for Fast and Accurate Mobile Robot Motion Planning [article]

Nils Funk, Juan Tarrio, Sotiris Papatheodorou, Marija Popovic, Pablo F. Alcantarilla, Stefan Leutenegger
2021 arXiv   pre-print
We introduce a method for choosing resolution -- on the fly -- in real-time by means of a multi-scale max-min pooling of the input depth image.  ...  mobile robot motion planning, we propose an efficient system that leverages the concept of adaptive-resolution volumetric mapping, which naturally integrates with the hierarchical decomposition of space in  ...  A major milestone in on-line RGB-D 3D reconstruction systems is the KinectFusion algorithm of [9] , which enables dense volumetric modelling in real-time at sub-centimetre resolutions.  ... 
arXiv:2010.07929v5 fatcat:as2eaqmg6zgg7j46zxmklzm2v4

Self-organising comprehensive handover strategy for multi-tier LTE-Advanced heterogeneous networks

Mohammadreza Behjati, Giuseppe Araniti, Rajagopal Nilavalan, Massimo Condoluci, John Paul Cosmas
2014 IET Science, Measurement & Technology  
Using indoor short-range low-power cellular base stations e.g. femtocells, in cooperation with existing long-range macrocells are considered as the key technical challenge of this multi-tier configuration  ...  Furthermore shortage of network spectrum is a major concern for network operators which forces them to spend additional attentions to overcome the degradation in performance and quality of services in  ...  Figure 12 The MAC traffic received in downlink for different systems This higher value for the received traffic in MAC layer is due to the mitigation of unnecessary handovers by applying the multi-check  ... 
doi:10.1049/iet-smt.2014.0035 fatcat:hsty36kpozftpakdpwgteix3gq

Temporally Coherent 4D Reconstruction of Complex Dynamic Scenes

Armin Mustafa, Hansung Kim, Jean-Yves Guillemaut, Adrian Hilton
2016 2016 IEEE Conference on Computer Vision and Pattern Recognition (CVPR)  
Sparse-to-dense temporal correspondence is integrated with joint multi-view segmentation and reconstruction to obtain a complete 4D representation of static and dynamic objects.  ...  Temporal coherence is exploited to overcome visual ambiguities resulting in improved reconstruction of complex scenes.  ...  Acknowledgements: This research was supported by the European Commission, FP7 Intelligent Management Platform for Advanced Real-time Media Processes project (grant 316564).  ... 
doi:10.1109/cvpr.2016.504 dblp:conf/cvpr/MustafaKGH16 fatcat:5iz2zxxs35hudkwnqo5hoftf3a
« Previous Showing results 1 — 15 out of 138,169 results