Alexandria Digital Research Library

Modeling and Calibrating the Distributed Camera

Information Reliability on the Social Web Models and Applications in Intelligent User Interfaces

Mining clinical data for trauma patients

Data model verification via theorem proving