![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
AutoQ: An Automata-Based Quantum Circuit Verifier
We present a specification language and a fully automated tool named AutoQ for verifying quantum circuits symbolically. The tool implements the automata-based algorithm from [14] and extends it with the capabilit...
-
Chapter and Conference Paper
Same Stats, Different Graphs
Data analysts commonly utilize statistics to summarize large datasets. While it is often sufficient to explore only the summary statistics of a dataset (e.g., min/mean/max), Anscombe’s Quartet demonstrates how...
-
Chapter and Conference Paper
Multi-modality Gesture Detection and Recognition with Un-supervision, Randomization and Discrimination
We describe in this paper our gesture detection and recognition system for the 2014 ChaLearn Looking at People (Track 3: Gesture Recognition) organized by ChaLearn in conjunction with the ECCV 2014 conference....
-
Chapter and Conference Paper
Object-Layout-Aware Image Retrieval for Personal Album Management
This demo shows a real-time object-layout-aware image retrieval system for personal album management. The query of the system is image’s object layout and the system retrieves images based on the layout simila...
-
Chapter and Conference Paper
Displacement Template with Divide-&-Conquer Algorithm for Significantly Improving Descriptor Based Face Recognition Approaches
This paper proposes a displacement template structure for improving descriptor based face recognition approaches. With this template structure, a face is represented by a template consisting of a set of piled ...
-
Chapter and Conference Paper
A Theoretical Analysis of Camera Response Functions in Image Deblurring
Motion deblurring is a long standing problem in computer vision and image processing. In most previous approaches, the blurred image is modeled as the convolution of a latent intensity image with a blur kernel...
-
Chapter and Conference Paper
Reorder the Write Sequence by Virtual Write Buffer to Extend SSD’s Lifespan
The limited lifespan is the Achilles’s heel of Solid State Drive (SSD) based on NAND flash memory. NAND flash has two drawbacks that degrade SSD’s lifespan. One is the out-of-place update. Another is the seque...
-
Chapter and Conference Paper
Efficient Pipelining Parallel Methods for Image Compositing in Sort-Last Rendering
It is well known that image compositing is the bottleneck in Sort-Last rendering. Many methods have been developed to reduce the compositing time. In this paper, we present a series of pipeline methods for ima...
-
Chapter and Conference Paper
Study on Parallel Computing
In this talk, we present a general survey on parallel computing. The main contents include parallel computer system which is the hardware platform of parallel computing, parallel algorithm which is the theoret...
-
Chapter and Conference Paper
Study on Controller with Online Decision Support System for Laser-Controlled Leveling
A controller and its hardware structure for laser-controlled field leveling was developed that has online decision support function. S3C44B0X and μC/OS-II were adopted as the CPU and operating system respectiv...
-
Chapter and Conference Paper
Life Cycle Modeling of News Events Using Aging Theory
In this paper, an adaptive news event detection method is proposed. We consider a news event as a life form and propose an aging theory to model its life span. A news event becomes popular with a burst of news...