Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for...
Background: The analysis and usage of biological data is hindered by the spread of information across multiple repositories and the difficulties posed by different nomenclature sy...
Javier Garcia-Garcia, Emre Guney, Ramon Aragues, J...
We propose a novel evaluation methodology for intelligent camera control systems based on established techniques of measuring story comprehension from cognitive psychology. The pr...
Clinical research approval processes are complex since they involve human subject welfare as well as regulatory and ethical concerns. Typically, clinical research institutions hav...
Huey Cheung, Yang Fann, Shaohua Alex Wang, Barg Up...
Abstract--Palmprint is a unique and reliable biometric characteristic with high usability. With the increasing demand of highly accurate and robust palmprint authentication system,...
David Zhang, Zhenhua Guo, Guangming Lu, Lei Zhang ...