检索结果-内蒙古大学图书馆

Faster R-CNN Deep Learning Model for Pedestrian Detection from Drone Images

SN computer science 2020年第2期1卷 1-9页

作者： Hung, Goon Li Sahimi, Mohamad Safwan Bin Samma, Hussein Almohamad, Tarik Adnan Lahasan, Badr Intelligent Biometric Group School of Electrical and Electronic Engineering Engineering Campus Universiti Sains Malaysia Penang Nibong Tebal 14300 Malaysia Department of Computer Programming Faculty of Education–Shabwa University of Aden Shabwa Yemen School of Information Science and Technology Xiamen University Malaysia Jalan Sunsuria Bandar Sunsuria Selangor Darul Ehsan Sepang 43900 Malaysia

Pedestrian detection from a drone-based images has many potential applications such as searching for missing persons, surveillance of illegal immigrants, and monitoring of critical infrastructure. However, it is considered as a very challenge computer vision problem due to the variations in camera point of view, distance from pedestrian, changes in illuminations and weather conditions, variation in the surrounding objects, as well as present of human-like objects. Recently, deep learning-based models are getting more attention, and they have proven a great success in many object detection problems such as the detection of faces, breast masses, and vehicles. As such, this work aims to develop a deep learning-based model that will be applied for the problem of pedestrian detection from a drone-based images. Particularly, faster region-based convolutional neural network (Faster R-CNN) will be used to search for the present of a pedestrian inside the captured drone-based images. To assess the performances, a total of 1500 images were collected by S30W drone and these images were captured at different places, with various views and weather conditions, and at daytime and night-time. Results show that Faster R-CNN was able to achieve a promising result with 98% precision, 99% recall, and 98% F1 measure. Further analysis has been conducted by comparing the outcomes of Faster R-CNN with YOLO deep model on UAV123 publicly available dataset. The reported results indicated that both detection models almost reported very similar results. © 2020, Springer Nature Singapore Pte Ltd.

关键词： Deep learning Drone images Faster R-CNN Pedestrian detection

来源：评论

学校读者我要写书评

暂无评论

Making Slicing Mainstream How can we be Weiser?

Making Slicing Mainstream How can we be Weiser?

引用

Beyond Program Slicing 2005

作者： Kalleberg, Karl Trygve Hall, Tracy Ettinger, Ran Institutt for Informatikk Universitetet i Bergen PB 7800 NorwayN-5020 Norway Department of Computer Science Hertfordshire University HertfordshireAL10 9LB United Kingdom Programming Tools Group Computing Laboratory Oxford University OxfordOX1 3QD United Kingdom

By now, the concept of program slicing has been known in the research community for around 25 years. As a research topic, it has enjoyed a fair share of popularity, evidenced by the number of articles published on the topic following Mark Weiser’s seminal paper. However, outside research circles, program slicing appears to be virtually unknown. In this report, we take the premise that program slicing is both technically relevant, and has a sufficient theoretical foundation, to be applied in practice within the software industry. With this premise in mind, we ask ourselves, "what are the mechanisms by which we as a community could make program slicing mainstream"? © 2006 Dagstuhl Seminar Proceedings. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Functional entropy and decision trees

Functional entropy and decision trees

引用

International Symposium on Multiple-Valued Logic

作者： V. Cheushev D.A. Simovici V. Shmerko S. Yanushkevich Department of Programming Technology State University Minsk Belarus Institute of Computer Science Technical University Szczecin Poland Department of Mathematics and ComputerScience University of Massachusetts Boston Boston MA USA

We introduce a technique to compute several information estimations for Boolean and multivalued functions. Special features of these estimations for completely and incompletely specified logic functions, including symmetric logic functions are investigated. Finally, we give an algorithm for determining various information measures for logical functions based on decision trees.

关键词： Entropy Decision trees Logic functions Boolean functions computer science Logic design Minimization Mathematical programming Mathematics Estimation theory

来源：评论

学校读者我要写书评

暂无评论

EkSarva: an intelligent collaboration framework

EkSarva: an intelligent collaboration framework

引用

International IEEE Conference on Intelligent Systems, IS

作者： R. Reddy S. Selliah V. Bharadwaj Jinqiao Yu S. Kankanahalli S. Reddy Smart Internet Programming Laboratory Concurrent Engineering Research Center Lane Department of Computer Science and Electrical Engineering West Virginia University Morgantown WV USA

Ubiquitous computing and universal network connectivity have given rise to expectations of building a Digital Society, where many aspects of business and social activities may be accomplished by remote participants. Intelligent, context-aware, and workflow-centric collaboration is an essential prerequisite to fulfill that expectation. EkSarva is a framework, which enables realization of such collaborations in diverse domains. This is accomplished by identifying the key concepts and their inter-relationships (dubbed the PPP/SST paradigm), which form the foundation of this framework. The key concepts include: (a) Project, (b) Person, (c) Place, (d) Signal, (e) Situation, and (f) Transcript. This paper describes how these concepts collectively can give rise to an intelligent collaboration environment.

关键词： Collaboration Collaborative work Internet Java computer networks Intelligent networks Signal processing Intelligent structures Intelligent agent Laboratories

来源：评论

学校读者我要写书评

暂无评论

Seven more myths of formal methods: Dispelling industrial prejudices 2nd

引用

2nd International Symposium of Formal Methods Europe, FME 1994

作者： Bowen, Jonathan P. Hinchey, Michael G. Oxford University Computing Laboratory Programming Research Group Wolfson Building Parks Road OxfordOX1 3QD United Kingdom University of Cambridge Computer Laboratory New Museums Site Pembroke Street CambridgeCB2 3QG United Kingdom Department of Computer and Information Science New Jersey Institute of Technology United States

ISBN: (纸本)9783540585558

For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it is still the case that the vast majority of potential users of formal methods fail to become actual users. A paper by Hall in 1990 [31] exaznined a number of ‘myths’ concerning formal methods, assumed by some to be valid. This paper considers a few more beliefs held by many and presents some counter examples. © 1994, Springer Verlag. All rights reserved.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

Comparative analysis of signal processing methods secondary surveillance radar

Comparative analysis of signal processing methods secondary ...

引用

2018 International Conference on Information and Telecommunication Technologies and Radio Electronics, UkrMiCo 2018

作者： Goriushkina, A.E. Svyd, I.V. Zavolodko, G.E. Maistrenko, G.V. National Technical University KhPI NTU KhPI Department of Computer Science and Programming Kharkiv Ukraine Kharkiv National University of Radio Electronics KNURE Dept. Radiotechnologies Information and Communication Systems Kharkiv Ukraine National Technical University KhPI NTU KhPI Department of Information Systems Kharkiv Ukraine Kharkiv National University of Radio Electronics KNURE Department of Electronic Computers Kharkiv Ukraine

ISBN: (纸本)9781538652640

In the paper, based on a comparative analysis of the methods of processing time-interval codes used as secondary surveillance radar information signals consisting of a different sequence of performing joint decoding operations, selecting signals by duration and time position, it is shown that the most effective is the signal processing method in which first the signals are decoded, then the signals are selected in accordance with the duration and in the future with the selection according to the time position, which provides the lowest probability of a false alarm of the first kind. © 2018 IEEE.

关键词： Errors

来源：评论

学校读者我要写书评

暂无评论

WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+

arXiv

引用

arXiv 2024年

作者： Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Software and Systems Laboratory Department of Computer Science Loyola University Chicago United States Institute for Software Engineering and Programming Languages University of Lübeck Germany

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts. Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included midway into one’s undergraduate studies, (3) demonstrate how to address successive "failures" through progressively stringent safety and liveness requirements, and (4) establish an ongoing framework for assessing interest and relevance among students. Methods: We detail our pedagogical strategy for embedding TLA+ into an intermediate course on formal methods at our institution. After starting with a refresher on mathematical logic, students specify the rules of simple puzzles in TLA+ and use its included model checker (known as TLC) to find a solution. We gradually escalate to more complex, dynamic, event-driven systems, such as the control logic of a microwave oven, where students will study safety and liveness requirements. We subsequently discuss explicit concurrency, along with thread safety and deadlock avoidance, by modeling bounded counters and buffers. Results: Our initial findings suggest that through careful curricular design and choice of examples and tools, it is possible to inspire and cultivate a new generation of software engineers proficient in formal methods. Conclusions: Our initial efforts suggest that 84% of our students had a positive experience in our formal methods course. Our future plans include a longitudinal analysis within our own institution and

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Robust initialization of differential algebraic equations

Robust initialization of differential algebraic equations

引用

1st International Workshop on Equation-Based Object-Oriented Languages and Tools, EOOLT 2007 - In Conjunction with the ECOOP 2007 Conference

作者： Bachmann, Bernhard Aronsson, Peter Fritzson, Peter Dept. Mathematics and Engineering University of Applied Sciences D-33609 Bielefeld Germany MathCore Engineering AB Teknikringen 1F SE-583 30 Linköping Sweden Department of Computer Science PELAB Programming Environments Lab Linköping University SE-581 83 Linköping Sweden

This paper describes a new solution method applied to the problem initializing DAEs using the Modelica language. Modelica is primarily an object- oriented equ-tion-based modeling language that allows specification of mathematical models of complex natural or man-made systems. Major features of Modelica are the multidomain modeling capability and the reusability of model components corresponding to physical objects, which allow to build and simulate highly complex systems. However, initializing such models has been quite cumbersome, since initial equations have to be pro-vided at the system level, where the user needs to know details on the underlying transformation and index-reduction algorithms, that in general are applied to simulate a Modelica model.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

Design and testing tool for a safe monitoring system for neurodegenerative disorder patients

Design and testing tool for a safe monitoring system for neu...

引用

International Conference on Advances in Computational Tools for Engineering Applications, ACTEA

作者： Nashaat El Halabi Roger Achkar Roy Abi Zeid Daou Ali Hayek Josef Börcsök Department of Computer and Communications Engineering American University of Science and Technology Beirut Lebanon Department of Biomedical Technologies Faculty of Public Health Lebanese German University Sahel Alma Lebanon Department of Computer Architecture and System Programming University of Kassel Germany

This paper aims to develop a sensor based monitoring and analyzing system for Neuro-Degenerative Disorder patients (NDD); this may consist on SpO2 sensor, Electrophysiological sensors, NIBP, Motion Capture sensors and Eye Monitoring sensor, taking into consideration an acceptable cost for the whole system. Recorded data will be sent to an embedded decision making unit where detection, analysis, classification, prediction and action control will occur. The sensors and the decision making unit will be implemented in a comfortable jacket that doesn't affect the patients' movements and that can be used by several patients with reduced sensor placement alterations. The decision that can be made is creating a stimulus to avoid falling in case of sudden stop while moving, initiating an alarm, sending a notification to a mobile phone application, and/or telemedicine monitoring features. Artificial Neural Networks will be used to classify and predict the abnormal cases where action should be taken, and since the sensors will be continuously recording, it is possible to achieve continuous learning for the ANN as a first phase. Initial models will be defined by testing normal behaviors and some known abnormal behaviors or symptoms related to the electrical activity and other characteristics of the heart, oxygen saturation level, eye activity and body motion.

关键词： Alzheimer's disease Parkinson's disease Monitoring Artificial neural networks Decision making Biomedical monitoring

来源：评论

学校读者我要写书评

暂无评论

Synchronizing the timestamps of concurrent events in traces of hybrid MPI/OpenMP applications

Synchronizing the timestamps of concurrent events in traces ...

引用

作者： Becker, Daniel Geimer, Markus Rabenseifner, Rolf Wolf, Felix German Research School for Simulation Sciences Laboratory for Parallel Programming 52062 Aachen Germany RWTH Aachen University Department of Computer Science 52056 Aachen Germany Forschungszentrum Jülich Jülich Supercomputing Centre 52428 Jülich Germany University of Stuttgart High Performance Computing-Center 70550 Stuttgart Germany

ISBN: (纸本)9780769542201

Event traces are helpful in understanding the performance behavior of parallel applications since they allow the indepth analysis of communication and synchronization patterns. However, the absence of synchronized clocks on most cluster systems may render the analysis ineffective because inaccurate relative event timings may misrepresent the logical event order and lead to errors when quantifying the impact of certain behaviors or confuse the users of time-line visualization tools by showing messages flowing backward in time. In our earlier work, we have developed a scalable algorithm that eliminates inconsistent inter-process timings postmortem in traces of pure MPI applications. Since hybrid programming, the combination of MPI and OpenMP in a single application, is becoming more popular on clusters in response to rising numbers of cores per chip and widening shared-memory nodes, we present an extended version of the algorithm that in addition to message-passing event semantics also preserves and restores shared-memory event semantics. © 2010 IEEE.

关键词： Message passing

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：