Abstract. We describe a theorem prover that is used in the Why2Atlas tutoring system for the purposes of evaluating the correctness of a student’s essay and for guiding feedback ...
Given a large collection of medical images of several conditions and treatments, how can we succinctly describe the characteristics of each setting? For example, given a large col...
We propose a recommendation technique that works by collecting text descriptions of items and using this textual aura to compute the similarity between items using techniques draw...
Stephen J. Green, Paul Lamere, Jeffrey Alexander, ...
The use of functional magnetic resonance imaging (fMRI) to measure functional connectivity among brain areas has the potential to identify neural networks associated with particul...
Michael A. Silver, Ayelet N. Landau, Thomas Z. Lau...
This paper addresses the issue of tracking translation and rotation simultaneously. Starting with a kernel-based spatial-spectral model for object representation, we define an ?-n...