1720 search results - page 290 / 344 » Evaluation of a High Performance Code Compression Method |
AMAI
2010
Springer
13 years 5 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
This paper discusses a real time stimulus timing detection for a Brain-Machine-Interface (BMI). We present a low complexity detector for detecting the stimulus onset time from rea...
CVPR
2009
IEEE
15 years 3 months ago
2009
IEEE
Multi-modal image registration is a challenging problem in medical imaging. The goal is to align anatomically identical structures; however, their appearance in images acquired wit...
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
This paper proposes a novel facial expression recognition approach based on two sets of features extracted from the face images: texture features and global appearance features. T...
ICASSP
2008
IEEE
14 years 2 months ago
2008
IEEE
CALL (Computer Assisted Language Learning) systems using ASR (Automatic Speech Recognition) for second language learning have received increasing interest recently. However, it st...