Results 11 to 20 of about 163,062 (337)

Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with B\"uchi Objectives [PDF]

, 2012
We consider Markov decision processes (MDPs) with \omega-regular specifications given as parity objectives. We consider the problem of computing the set of almost-sure winning states from where the objective can be ensured with probability 1.
Chatterjee, Krishnendu, Henzinger, Monika, Joglekar, Manas, Shah, Nisarg   +3 more
core   +1 more source

A Novel Gated Recurrent Unit Network Based on SVM and Moth-Flame Optimization Algorithm for Behavior Decision-Making of Autonomous Vehicles

IEEE Access, 2021
The behavior decision-making algorithm plays an important role in ensuring the safe driving of autonomous vehicles. However, existing behavior decision-making methods lack the capability to cope with future motion uncertainty in traffic, because the ...
Taiqiao Yin, Ying Li, Jiahao Fan, Tan Wang, Yunxia Shi   +4 more
doaj   +1 more source

Detecting Hot Topics From Academic Big Data

IEEE Access, 2019
Detecting hot topics from massive academic data is a very challenging task. Because various types of academic information are overgrowing, e.g., papers, news, and blogs, which has gone far beyond the limits that researchers can accept.
Beibei Wang, Bo Yang, Shuangshuang Shan, Hechang Chen   +3 more
doaj   +1 more source

SFA: Small Faces Attention Face Detector

IEEE Access, 2019
Tremendous strides have been made in face detection thanks to convolutional neural network. However, the performance of previous face detectors deteriorates dramatically as the face scale shrinks.
Shi Luo, Xiongfei Li, Rui Zhu, Xiaoli Zhang   +3 more
doaj   +1 more source

Understanding socialbot behavior on end hosts

International Journal of Distributed Sensor Networks, 2017
Server-side socialbot detection approaches can identify malicious accounts and spams in online social networks. However, they cannot detect socialbot processes, residing on user hosts, which control these accounts. Therefore, new approaches are needed to
Yukun He, Qiang Li, Jian Cao, Yuede Ji, Dong Guo   +4 more
doaj   +1 more source

Detection and Independent Validation of Model-Based Quantitative Transcriptional Regulation Relationships Altered in Lung Cancers

Frontiers in Bioengineering and Biotechnology, 2020
Differential expressions of genes are widely evaluated for the diagnosis and prognosis correlations with diseases. But limited studies investigate how transcriptional regulations are quantitatively altered in diseases.
Meiyu Duan, Haoqiu Song, Haoqiu Song, Chaoyu Wang, Jiaxin Zheng, Hui Xie, Yupeng He, Lan Huang, Fengfeng Zhou   +8 more
doaj   +1 more source

GroupFound: An effective approach to detect suspicious accounts in online social networks

International Journal of Distributed Sensor Networks, 2017
Online social networks are an important part of people’s life and also become the platform where spammers use suspicious accounts to spread malicious URLs.
Bo Feng, Qiang Li, Xiaowen Pan, Jiahao Zhang, Dong Guo   +4 more
doaj   +1 more source

MuscNet, a Weighted Voting Model of Multi-Source Connectivity Networks to Predict Mild Cognitive Impairment Using Resting-State Functional MRI

IEEE Access, 2020
The neurological disorder mild cognitive impairment (MCI) demonstrates minor impacts on the patient's daily activities and may be ignored as the status of normal aging.
Jialiang Li, Zhaomin Yao, Meiyu Duan, Shuai Liu, Fei Li, Haiyang Zhu, Zhiqiang Xia, Lan Huang, Fengfeng Zhou   +8 more
doaj   +1 more source

Symbolic Computation Software Composability [PDF]

, 2008
We present three examples of the composition of Computer Algebra Systems to illustrate the progress on a composability infrastructure as part of the SCIEnce (Symbolic Computation Infrastructure for Europe) project1. One of the major results of the project so far is an OpenMath based protocol called SCSCP (Symbolic Computation Software Composability ...
Freundt, S., Horn, P., Konovalov, A., Linton, S., Roozemond, D.A.   +4 more
openaire   +1 more source

Software Engineering and Complexity in Effective Algebraic Geometry [PDF]

, 2012
We introduce the notion of a robust parameterized arithmetic circuit for the evaluation of algebraic families of multivariate polynomials. Based on this notion, we present a computation model, adapted to Scientific Computing, which captures all known ...
Heintz, Joos, Kuijpers, Bart, Paredes, Andres Rojas   +2 more
core   +2 more sources