637 Result(s)

Chapter and Conference Paper

A Comprehensive Specification and Verification of the L4 Microkernel API

The L4 API (Application Programming Interface) is a core component of the operating system, which serves as the interface between user-level processes and the microkernel, facilitating communication and intera...

Le** Zhang, Yongwang Zhao, Jianxin Li in Tools and Algorithms for the Construction … (2024)

Chapter and Conference Paper

Ultimate Automizer and the Abstraction of Bitwise Operations

The verification of Ultimate Automizer works on an SMT-LIB-based model of a C program. If we choose an SMT-LIB theory of (mathematical) integers, the translation is not precise, because we overapproximate bitwise...

Frank Schüssele, Manuel Bentele… in Tools and Algorithms for the Construction … (2024)

Chapter and Conference Paper

Modeling of the Human Cognition for the Metaverse-Oriented Design System Development

Metaverse can fully satisfy users’ design scenarios, meeting their emotional and functional imaginations without any physical constraints, and its superior functionality makes it particularly suitable for the ...

Yan Hong, Zhonghua Jiang, Song Guo, **anyi Zeng, ** Li in AI, Data, and Digitalization (2024)

Chapter and Conference Paper

Correction to: Half-Tree: Halving the Cost of Tree Expansion in COT and DPF

**aojie Guo, Kang Yang, **ao Wang, Wenhao Zhang… in Advances in Cryptology – EUROCRYPT 2023 (2023)

Chapter and Conference Paper

AOA: Adaptive Overclocking Algorithm on CPU-GPU Heterogeneous Platforms

Although GPUs have been used to accelerate various convolutional neural network algorithms with good performance, the demand for performance improvement is still continuously increasing. CPU/GPU overclocking t...

Zhixin Ou, Juan Chen, Yuyang Sun, Tao Xu… in Algorithms and Architectures for Parallel … (2023)

Chapter and Conference Paper

Correction to: SimFormer: Real-to-Sim Transfer with Recurrent Restoration

In the originally published version of chapter 33, erroneously, a second, incorrect affiliation had been added for all of the authors. This has been corrected.

Yingnan Ma, Fan Yang, Xudong Li, Chen Jiang, Anup Basu in Smart Multimedia (2022)

Chapter and Conference Paper

Correction to: Anonymizing Global Edge Weighted Social Network Graphs

In the originally published chapter 9 some of the paragraphs were presented in their unfinished version, which affected the readability of the paper. The sections Introduction, Preliminary and References have ...

Jiaru Wang, Ziyi Wan, Jiankang Song… in Security and Privacy in Social Networks an… (2021)

Chapter and Conference Paper

Correction to: Federated Learning for Non-IID Data: From Theory to Algorithm

In the originally published version of chapter 3 the second affiliation of the author Bojian Wei was incorrect. The second affiliation of the author Bojian Wei has been corrected as “School of Cyber Security, ...

Bojian Wei, Jian Li, Yong Liu, Wei** Wang in PRICAI 2021: Trends in Artificial Intellig… (2021)

Chapter and Conference Paper

Similarity Evaluation with Wikipedia Features

Wikipedia provides rich semantic features e.g., text, link, and category structure. These features can be used to compute semantic similarity (SS) between words or concepts. However, some existing Wikipedia-ba...

Shahbaz Wasti, Jawad Hussain, Guangjiang Huang… in Intelligent Information Processing X (2020)

Chapter and Conference Paper

Perosonalized Differentially Private Location Collection Method with Adaptive GPS Discretization

In recent years, with the development of mobile terminals, geographic location has attracted the attention of many researchers because of its convenience in collection and its ability to reflect user profile. ...

Huichuan Liu, Yong Zeng, Jiale Liu, Zhihong Liu, Jianfeng Ma, **aoyan Zhu in Cyber Security (2020)

Chapter and Conference Paper

A Novel Fuzzy C-means Clustering Algorithm Based on Local Density

Fuzzy C-means (FCM) clustering algorithm is a fuzzy clustering algorithm based on objective function. FCM is the most perfect and widely used algorithm in the theory of fuzzy clustering. However, in the proces...

Jian-jun Liu, Jian-cong Fan in Intelligent Information Processing X (2020)

Chapter and Conference Paper

Visual Compiler: Towards Translating Digital UI Design Draft to Front-End Code Automatically

One assignment of a front-end engineer is to transform the User Interface (UI) design drafts to arrangements with program compatibilities. To furnish the customer requirement, engineers usually need to consid...

Jiemao Pan, **ang Chen, Ting Chen, Bin Tang… in Human Interface and the Management of Info… (2020)

Chapter and Conference Paper

A Content-Based Deep Hybrid Approach with Segmented Max-Pooling

Convolutional matrix factorization (ConvMF), which integrates convolutional neural network (CNN) into probabilistic matrix factorization (PMF), has been recently proposed to utilize the contextual information...

Dapeng Zhang, Liu Yajun, Jiancheng Liu in Intelligent Information Processing X (2020)

Chapter and Conference Paper

Multi-pose Face Recognition Based on Block Adaptation

Considering that the SRC algorithm cannot solve the error offset problem between the testing and training samples, we propose one method as the affine transformation and partition by integrating into the linea...

Jianguo Shi, Yuanyuan Zhao in Digital Human Modeling and Applications in… (2020)

Chapter and Conference Paper

An Exploration of the Development of Visual Design in Taiwan - A Case Study of the Cover Design of Industrial Design Magazine

This study took the cover design of the first ten issues of the Taiwanese design magazine founded in the 1960s, “Industrial Design”, as the research target. The purpose of the study is to examine the similari...

Po-Hsien Lin, Jian** Huang, Rungtai Lin… in Cross-Cultural Design. User Experience of … (2020)

Chapter and Conference Paper

MHDNE: Network Embedding Based on Multivariate Hawkes Process

With the evolution of the network, the interactions among nodes in networks make networks exhibit dynamic properties. Mining the rich information behind dynamic networks is of great importance for network anal...

Ying Yin, Jianpeng Zhang, Yulong Pei… in Machine Learning and Knowledge Discovery i… (2020)

Chapter and Conference Paper

An Interactive Game for Changing Youth Behavior Regarding E-cigarettes

The aim of this study is to develop an educational video game and to assess its feasibility to influence youths’ interest in e-cigarettes. We first built a prototype storytelling game with facts about e-cigare...

Angela Xu, Muhammad Amith, Jianfu Li, Lu Tang, Cui Tao in HCI International 2020 - Posters (2020)

Chapter and Conference Paper

Machine Learning Assisted Optical Network Resource Scheduling in Data Center Networks

Parallel computing allows us to process incredible amounts of data in a timely manner by distributing the workload across multiple nodes and executing computation simultaneously. However, the performance of t...

Hongxiang Guo, Cen Wang, Yinan Tang, Yong Zhu… in Optical Network Design and Modeling (2020)

Chapter and Conference Paper

How Drivers Categorize ADAS Functions

Advanced driver assistance systems (ADAS) are intelligent systems that can help vehicle drivers to drive with ease and safety. A growing body of ADAS technologies bring benefits to vehicle drivers. However, u...

Li** Li, Hsinwen Chang, Weihan Sun… in Cross-Cultural Design. User Experience of … (2020)

Chapter and Conference Paper

Ballistocardiogram Artifact Removal for Concurrent EEG-fMRI Recordings Using Blind Source Separation Based on Dictionary Learning

Simultaneous recording of electroencephalography (EEG) and functional magnetic resonance imaging (fMRI) have attracted extensive attention and research owing to their high spatial and temporal resolution. Howe...

Yuxi Liu, Jianhai Zhang, Bohui Zhang, Wanzeng Kong in Intelligent Information Processing X (2020)