Sciweavers

717 search results - page 66 / 144
» Establishing relationships for designing rural information s...
Sort
View
CORR
2010
Springer
140views Education» more  CORR 2010»
14 years 11 months ago
Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance
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...
William Lovas, Frank Pfenning
BMCBI
2010
137views more  BMCBI 2010»
14 years 11 months ago
Biana: a software framework for compiling biological interactions and analyzing networks
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...
FDG
2009
ACM
15 years 5 months ago
Evaluation of intelligent camera control systems based on cognitive models of comprehension
We propose a novel evaluation methodology for intelligent camera control systems based on established techniques of measuring story comprehension from cognitive psychology. The pr...
Arnav Jhala, R. Michael Young
CBMS
2004
IEEE
15 years 2 months ago
A Web-Based Protocol Tracking Management System For Clinical Research
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...
TIM
2010
194views Education» more  TIM 2010»
14 years 5 months ago
An Online System of Multispectral Palmprint Verification
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 ...