-
Chapter and Conference Paper
A Pointer-Generator Based Abstractive Summarization Model with Knowledge Distillation
The use of large-scale pre-trained models for text summarization has attracted increasing attention in the computer science community. However, pre-training models with millions of parameters and long training...
-
Article
Leveraging citation influences for Modeling scientific documents
This paper studies a link-text algorithm to model scientific documents by citation influences, which is applied to document clustering and influence prediction. Most existing link-text algorithms ignore the di...
-
Chapter and Conference Paper
Efficient Multi-scale Plane Extraction Based RGBD Video Segmentation
To improve the robustness and efficiency of RGBD video segmentation, we propose a novel video segmentation method combining multi-scale plane extraction and hierarchical graph-based video segmentation. Firstly...
-
Chapter and Conference Paper
Local Associated Features for Pedestrian Detection
Local features are usually used to describe pedestrian appearance. While most of existing pedestrian detection methods don’t make full use of context cues, such as associated relationships between local differ...
-
Chapter and Conference Paper
Related HOG Features for Human Detection Using Cascaded Adaboost and SVM Classifiers
Robust and fast human detection in static image is very important for real applications. Although different feature descriptors have been proposed for human detection, for HOG descriptor, how to select and com...
-
Chapter and Conference Paper
Real-Time Plane Segmentation and Obstacle Detection of 3D Point Clouds for Indoor Scenes
Scene analysis is an important issue in computer vision and extracting structural information is one of the fundamental techniques. Taking advantage of depth camera, we propose a novel fast plane segmentation ...
-
Chapter and Conference Paper
The PICA Framework for Performance Analysis of Pattern Recognition Systems and Its Application in Broadcast News Segmentation
In this paper, the performance influencing class analysis (PI-CA) framework is proposed for performance analysis of pattern recognition systems dealing with data with great variety and diversity. Through the P...
-
Chapter and Conference Paper
UML in Action: Integrating Formal Methods in Industrial Design Education
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification methods such as the Universal M...
-
Chapter and Conference Paper
Turning Photo Annotating Tasks into Instant Messaging Fun: Prototy**, User Trials, and Roadmap**
In this article we report on our research that integrates photo annotation tasks into online chatting. Users of our system can share and annotate digital photos online while chatting. There are two major innov...
-
Article
A syntactic proof of the conservativity of λω over λ2
In this paper, the relationship between the second order typed λ-calculus λ2 and its higher order version λω is discussed. A purely syntactic proof of the conservativity of λω over λ2 is given.