A major limitation of Brain-Computer Interfaces (BCI) is their long calibration time, as much data from the user must be collected in order to tune the BCI for this target user. I...
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...
Abstract--We propose a new Consistent Weighted Sampling method, where the probability of drawing identical samples for a pair of inputs is equal to their Jaccard similarity. Our me...
With the increasing number of prototypes and market applications of interactive storytelling, the understanding and optimization of how end users respond to computer-mediated inter...
Ivar E. Vermeulen, Christian Roth, Peter Vorderer,...
Compressed sensing is applied to multiview image sets and interimage disparity compensation is incorporated into image reconstruction in order to take advantage of the high degree...
Maria Trocan, Thomas Maugey, Eric W. Tramel, James...