Previous approaches in query processing do not consider queries to automatically combine results obtained from different information sources, i.e. they do not support information...
: We use the term 'Strong Artificial Life' to refer to the thesis that a sufficiently sophisticated computer simulation of a life-form is a life-form in its own right. Ca...
Our research deals with a fully automatic and fast visualization of possible tumoral areas on CT Scan images. To achieve this task, we use the bilateral symmetry of the human body...
Security views are a flexible and effective mechanism for controlling access to confidential information. Rather than allowing untrusted users to access source data directly, th...
J. Nathan Foster, Benjamin C. Pierce, Steve Zdance...
Abstraction and application, tupling and projection: these provide the ‘software engineering’ superstructure for programs, and our familiar type systems ensure that these opera...