![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
A Generalized Formal Semantic Framework for Smart Contracts
Smart contracts can be regarded as one of the most popular blockchain-based applications. The decentralized nature of the blockchain introduces vulnerabilities absent in other programs. Furthermore, it is very...
-
Chapter and Conference Paper
VisDrone-DET2018: The Vision Meets Drone Object Detection in Image Challenge Results
Object detection is a hot topic with various applications in computer vision, e.g., image understanding, autonomous driving, and video surveillance. Much of the progresses have been driven by the availability of ...
-
Chapter and Conference Paper
The Sixth Visual Object Tracking VOT2018 Challenge Results
The Visual Object Tracking challenge VOT2018 is the sixth annual tracker benchmarking activity organized by the VOT initiative. Results of over eighty trackers are presented; many are state-of-the-art trackers...
-
Chapter and Conference Paper
Correction to: MiDBench: Multimodel Industrial Big Data Benchmark
In the version of this paper that was originally published, reference 3 linked to the wrong website. This has been corrected.
-
Chapter and Conference Paper
S3D-UNet: Separable 3D U-Net for Brain Tumor Segmentation
Brain tumor is one of the leading causes of cancer death. Accurate segmentation and quantitative analysis of brain tumor are critical for diagnosis and treatment planning. Since manual segmentation is time-con...
-
Chapter and Conference Paper
Modeling Longitudinal Voxelwise Feature Change in Normal Aging with Spatial-Anatomical Regularization
Image voxel/vertex-wise feature in the brain is widely used for automatic classification or significant region detection of various dementia syndromes. In these studies, the non-imaging variables, such as age,...
-
Chapter and Conference Paper
Liquid Pouring Monitoring via Rich Sensory Inputs
Humans have the amazing ability to perform very subtle manipulation task using a closed-loop control system with imprecise mechanics (i.e., our body parts) but rich sensory information (e.g., vision, tactile, ...
-
Chapter and Conference Paper
FOD Restoration for Enhanced Map** of White Matter Lesion Connectivity
To achieve improved understanding of white matter (WM) lesions and their effect on brain functions, it is important to obtain a comprehensive map of their connectivity. However, changes of the cellular environ...
-
Chapter and Conference Paper
Cross-Lingual Entity Alignment via Joint Attribute-Preserving Embedding
Entity alignment is the task of finding entities in two knowledge bases (KBs) that represent the same real-world object. When facing KBs in different natural languages, conventional cross-lingual entity alignm...
-
Chapter and Conference Paper
Culturally Informed Notions of Mobile Context Awareness - Lessons Learned from User-Centred Exploration of Concepts of Context and Context Awareness
Mobile context awareness is an elusive concept within extant literature on human-computer interaction. Despite extensive research into context awareness, past studies have accentuated the architectural aspect...
-
Chapter and Conference Paper
Satisfiability Modulo Heap-Based Programs
In this work, we present a semi-decision procedure for a fragment of separation logic with user-defined predicates and Presburger arithmetic. To check the satisfiability of a formula, our procedure iteratively...
-
Chapter and Conference Paper
Free-Form Deformation Using Lower-Order B-spline for Nonrigid Image Registration
In traditional free-form deformation (FFD) based registration, a B-spline basis function is commonly utilized to build the transformation model. As the B-spline order increases, the corresponding B-spline func...
-
Chapter and Conference Paper
Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions
A major obstacle for using partial order reduction in the context of real time verification is that the presence of clocks and clock constraints breaks the usual diamond structure of otherwise independent transit...
-
Chapter and Conference Paper
Detecting Emotion from Dialogs and Creating Personal Ambient in a Context Aware System
This paper presents a personal ambient creation systme, IlluMe, which detects users’ emotion from their chatting context in instant messages and then analyze them to recommend suitable lighting and music to cr...
-
Chapter and Conference Paper
PSyHCoS: Parameter Synthesis for Hierarchical Concurrent Real-Time Systems
Real-time systems are often hard to control, due to their complicated structures, quantitative time factors and even unknown delays. We present here PSyHCoS, a tool for analyzing parametric real-time systems s...
-
Chapter and Conference Paper
Geodesic Saliency Using Background Priors
Generic object level saliency detection is important for many vision tasks. Previous approaches are mostly built on the prior that “appearance contrast between objects and backgrounds is high”. Although variou...
-
Chapter and Conference Paper
Research and Application of Cultivation-Simulation-Optimization Decision Making System for Rapeseed (Brassica Napus L.)
The objectives of this study were to develop Rapeseed Cultivation Simulation-Optimization-Decision Making System (Rape-CSODS), and validate it in order to design rapeseed planting, regulate and control its gro...
-
Chapter and Conference Paper
Re-envisioning the Museum Experience: Combining New Technology with Social-Networking
The goal of the project was to design an integrated system for the California Academy of Sciences that combined new technology with a social-networking based website to promote educational learning. Five mini-...
-
Chapter and Conference Paper
Efficient Iris Spoof Detection via Boosted Local Binary Patterns
Recently, spoof detection has become an important and challenging topic in iris recognition. Based on the textural differences between the counterfeit iris images and the live iris images, we propose an effici...
-
Chapter and Conference Paper
Nonlinear Iris Deformation Correction Based on Gaussian Model
Current iris recognition systems can achieve high level of success under restricted conditions, while they still face challenges of utilizing images with heavy deformation caused by illumination variations. De...