Search - IFIP Open Digital Library Access content directly

Filter your results

42 results
Structure: Internal structure identifier : 469160
Image document

A Sound and Complete Axiomatic System for Modality $\Box\phi\equiv\Box_1\phi\land\Box_2\phi$

Shaobo Deng , Meiying Sun , Cungen Cao , Yuefei Sui
8th International Conference on Intelligent Information Processing (IIP), Oct 2014, Hangzhou, China. pp.152-160, ⟨10.1007/978-3-662-44980-6_17⟩
Conference papers hal-01383328v1
Image document

An EOQ-Based Lot Sizing Model with Working Capital Requirements Financing Cost

Yuan Bian , David Lemoine , Thomas G. Yeung , Nathalie Bostel , Vincent Hovelaque , et al.
APMS 2021: IFIP International Conference on Advances in Production Management Systems, Sep 2021, Nantes, France. pp.159-166, ⟨10.1007/978-3-030-85906-0_18⟩
Conference papers hal-03337499v1
Image document

Automatic Image Annotation Based on Semi-supervised Probabilistic CCA

Bo Zhang , Gang Ma , Xi Yang , Zhongzhi Shi , Jie Hao
9th International Conference on Intelligent Information Processing (IIP), Nov 2016, Melbourne, VIC, Australia. pp.211-221, ⟨10.1007/978-3-319-48390-0_22⟩
Conference papers hal-01614988v1
Image document

Automatic Inference of Taint Sources to Discover Vulnerabilities in SOHO Router Firmware

Kai Cheng , Dongliang Fang , Chuan Qin , Huizhao Wang , Yaowen Zheng , et al.
36th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), Jun 2021, Oslo, Norway. pp.83-99, ⟨10.1007/978-3-030-78120-0_6⟩
Conference papers hal-03746053v1
Image document

BGElasor: Elastic-Scaling Framework for Distributed Streaming Processing with Deep Neural Network

Weimin Mu , Zongze Jin , Weiping Wang , Weilin Zhu , Weiping Wang
16th IFIP International Conference on Network and Parallel Computing (NPC), Aug 2019, Hohhot, China. pp.120-131, ⟨10.1007/978-3-030-30709-7_10⟩
Conference papers hal-03770524v1
Image document

Brain-Machine Collaboration for Cyborg Intelligence

Zhongzhi Shi , Gang Ma , Shu Wang , Jianqing Li
9th International Conference on Intelligent Information Processing (IIP), Nov 2016, Melbourne, VIC, Australia. pp.256-266, ⟨10.1007/978-3-319-48390-0_26⟩
Conference papers hal-01615002v1
Image document

CCF-Based Awareness in Agent Model ABGP

Zhongzhi Shi , Jinpeng Yue , Gang Ma , Xi Yang
4th IFIP International Conference on Artificial Intelligence in Theory and Practice (AI 2015), Oct 2015, Daejeon, South Korea. pp.98-107, ⟨10.1007/978-3-319-25261-2_9⟩
Conference papers hal-01383949v1
Image document

Clas-Maze: An Edutainment Tool Combining Tangible Programming and Living Knowledge

Qian Xing , Danli Wang , Yanyan Zhao , Xueyu Wang
19th International Conference on Entertainment Computing (ICEC), Nov 2020, Xi'an, China. pp.353-368, ⟨10.1007/978-3-030-65736-9_32⟩
Conference papers hal-03686018v1
Image document

Collaborative Model in Brain-Computer Integration

Zhongzhi Shi , Gang Ma , Jianqing Li
2nd International Conference on Intelligence Science (ICIS), Oct 2017, Shanghai, China. pp.10-21, ⟨10.1007/978-3-319-68121-4_2⟩
Conference papers hal-01820938v1
Image document

Collecting Valuable Information from Fast Text Streams

Baoyuan Qi , Gang Ma , Zhongzhi Shi , Wei Wang
8th International Conference on Intelligent Information Processing (IIP), Oct 2014, Hangzhou, China. pp.96-105, ⟨10.1007/978-3-662-44980-6_11⟩
Conference papers hal-01383321v1
Image document

Compiler-Assisted Operator Template Library for DNN Accelerators

Jiansong Li , Wei Cao , Xiao Dong , Guangli Li , Xueying Wang , et al.
17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.3-16, ⟨10.1007/978-3-030-79478-1_1⟩
Conference papers hal-03768760v1
Image document

DAFL: Deep Adaptive Feature Learning for Network Anomaly Detection

Shujian Ji , Tongzheng Sun , Kejiang Ye , Wenbo Wang , Cheng-Zhong Xu
16th IFIP International Conference on Network and Parallel Computing (NPC), Aug 2019, Hohhot, China. pp.350-354, ⟨10.1007/978-3-030-30709-7_32⟩
Conference papers hal-03770566v1
Image document

Deep Fusion: A Software Scheduling Method for Memory Access Optimization

Yimin Zhuang , Shaohui Peng , Xiaobing Chen , Shengyuan Zhou , Tian Zhi , et al.
16th IFIP International Conference on Network and Parallel Computing (NPC), Aug 2019, Hohhot, China. pp.277-288, ⟨10.1007/978-3-030-30709-7_22⟩
Conference papers hal-03770545v1
Image document

Difference Bound Constraint Abstraction for Timed Automata Reachability Checking

Weifeng Wang , Li Jiao
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.146-160, ⟨10.1007/978-3-319-19195-9_10⟩
Conference papers hal-01767323v1
Image document

Discovering Trip Patterns from Incomplete Passenger Trajectories for Inter-zonal Bus Line Planning

Zhaoyang Wang , Beihong Jin , Fusang Zhang , Ruiyang Yang , Qiang Ji
13th IFIP International Conference on Network and Parallel Computing (NPC), Oct 2016, Xi'an, China. pp.160-171, ⟨10.1007/978-3-319-47099-3_13⟩
Conference papers hal-01647997v1
Image document

DLIR: An Intermediate Representation for Deep Learning Processors

Huiying Lan , Zidong Du
15th IFIP International Conference on Network and Parallel Computing (NPC), Nov 2018, Muroran, Japan. pp.169-173, ⟨10.1007/978-3-030-05677-3_19⟩
Conference papers hal-02279553v1
Image document

DROAllocator: A Dynamic Resource-Aware Operator Allocation Framework in Distributed Streaming Processing

Fan Liu , Zongze Jin , Weimin Mu , Weilin Zhu , Yun Zhang , et al.
17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.349-360, ⟨10.1007/978-3-030-79478-1_30⟩
Conference papers hal-03768731v1
Image document

Efficient Management for Hybrid Memory in Managed Language Runtime

Chenxi Wang , Ting Cao , John Zigman , Fang Lv , Yunquan Zhang , et al.
13th IFIP International Conference on Network and Parallel Computing (NPC), Oct 2016, Xi'an, China. pp.29-42, ⟨10.1007/978-3-319-47099-3_3⟩
Conference papers hal-01647992v1
Image document

Evaluation Metrics of Physical Non-invasive Security

Huiyun Li , Keke Wu , Fengqi Yu , Hai Yuan
4th IFIP WG 11.2 International Workshop on Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices (WISTP), Apr 2010, Passau, Germany. pp.60-75, ⟨10.1007/978-3-642-12368-9_5⟩
Conference papers hal-01056066v1
Image document

Extracting Part-Whole Relations from Online Encyclopedia

Fei Xia , Cungen Cao
8th International Conference on Intelligent Information Processing (IIP), Oct 2014, Hangzhou, China. pp.57-66, ⟨10.1007/978-3-662-44980-6_7⟩
Conference papers hal-01383317v1
Image document

Fault Diagnosis and Knowledge Extraction Using Fast Logical Analysis of Data with Multiple Rules Discovery Ability

Xiwei Bai , Jie Tan , Xuelei Wang
2nd International Conference on Intelligence Science (ICIS), Nov 2018, Beijing, China. pp.412-421, ⟨10.1007/978-3-030-01313-4_44⟩
Conference papers hal-02118838v1
Image document

FEB3D: An Efficient FPGA-Accelerated Compression Framework for Microscopy Images

Wanqi Liu , Yewen Li , Dawei Zang , Guangming Tan
17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.217-230, ⟨10.1007/978-3-030-79478-1_19⟩
Conference papers hal-03768750v1
Image document

Forward Learning Convolutional Neural Network

Hong Hu , Xin Hong , Dan Yang Hou , Zhongzhi Shi
10th International Conference on Intelligent Information Processing (IIP), Oct 2018, Nanning, China. pp.51-61, ⟨10.1007/978-3-030-00828-4_6⟩
Conference papers hal-02197796v1
Image document

Gadget Weighted Tagging: A Flexible Framework to Protect Against Code Reuse Attacks

Liwei Chen , Mengyu Ma , Wenhao Zhang , Gang Shi , Dan Meng
32th IFIP International Conference on ICT Systems Security and Privacy Protection (SEC), May 2017, Rome, Italy. pp.568-584, ⟨10.1007/978-3-319-58469-0_38⟩
Conference papers hal-01649002v1
Image document

HiNetSim: A Parallel Simulator for Large-Scale Hierarchical Direct Networks

Zhiguo Fan , Zheng Cao , Yong Su , Xiaoli Liu , Zhan Wang , et al.
11th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2014, Ilan, Taiwan. pp.120-131, ⟨10.1007/978-3-662-44917-2_11⟩
Conference papers hal-01403072v1
Image document

Image Caption Combined with GAN Training Method

Zeqin Huang , Zhongzhi Shi
11th International Conference on Intelligent Information Processing (IIP), Jul 2020, Hangzhou, China. pp.310-316, ⟨10.1007/978-3-030-46931-3_29⟩
Conference papers hal-03456989v1
Image document

KT-Store: A Key-Order and Write-Order Hybrid Key-Value Store with High Write and Range-Query Performance

Haobo Wang , Yinliang Yue , Shuibing He , Weiping Wang
15th IFIP International Conference on Network and Parallel Computing (NPC), Nov 2018, Muroran, Japan. pp.64-76, ⟨10.1007/978-3-030-05677-3_6⟩
Conference papers hal-02279544v1
Image document

Labeled Network Stack: A Co-designed Stack for Low Tail-Latency and High Concurrency in Datacenter Services

Wenli Zhang , Ke Liu , Hui Song , Lan Yu , Mingyu Chen
15th IFIP International Conference on Network and Parallel Computing (NPC), Nov 2018, Muroran, Japan. pp.132-136, ⟨10.1007/978-3-030-05677-3_12⟩
Conference papers hal-02279543v1
Image document

Leveraging Subgraph Extraction for Performance Portable Programming Frameworks on DL Accelerators

Xiao Zhang , Huiying Lan , Tian Zhi
15th IFIP International Conference on Network and Parallel Computing (NPC), Nov 2018, Muroran, Japan. pp.179-184, ⟨10.1007/978-3-030-05677-3_21⟩
Conference papers hal-02279540v1
Image document

MTLAT: A Multi-Task Learning Framework Based on Adversarial Training for Chinese Cybersecurity NER

Yaopeng Han , Zhigang Lu , Bo Jiang , Yuling Liu , Chen Zhang , et al.
17th IFIP International Conference on Network and Parallel Computing (NPC), Sep 2020, Zhengzhou, China. pp.43-54, ⟨10.1007/978-3-030-79478-1_4⟩
Conference papers hal-03768765v1