The quality of a statistical machine translation (SMT) system is heavily dependent upon the amount of parallel sentences used in training. In recent years, there have been several...
Binary Decision Diagrams (BDDs) are widely used in formal verification. They are also widely known for consuming large amounts of memory. For larger problems, a BDD computation wi...
The procedure of drug approval is time-consuming, costly and risky. Accidental findings regarding multispecificity of approved drugs led to block-busters in new indication areas. ...
Joachim von Eichborn, Manuela S. Murgueitio, Mathi...
The perplexing effects of noise and high feature dimensionality greatly complicate functional magnetic resonance imaging (fMRI) classification. In this paper, we present a novel f...
This work addresses the important problem of the discovery
and analysis of social networks from surveillance video.
A computer vision approach to this problem is made possible
b...
Ting Yu, Ser Nam Lim, Kedar A. Patwardhan, Nils Kr...