Sciweavers

10890 search results - page 1667 / 2178
» Automatic Complexity Analysis
Sort
View
FGR
2011
IEEE
237views Biometrics» more  FGR 2011»
14 years 10 months ago
The motion in emotion - A CERT based approach to the FERA emotion challenge
—This paper assesses the performance of measures of facial expression dynamics derived from the Computer Expression Recognition Toolbox (CERT) for classifying emotions in the Fac...
Gwen Littlewort, Jacob Whitehill, Tingfan Wu, Nich...
HPCA
2011
IEEE
14 years 10 months ago
Checked Load: Architectural support for JavaScript type-checking on mobile processors
Dynamic languages such as Javascript are the de-facto standard for web applications. However, generating efficient code for dynamically-typed languages is a challenge, because it...
Owen Anderson, Emily Fortuna, Luis Ceze, Susan Egg...
ICASSP
2011
IEEE
14 years 10 months ago
Graphical models for localization of the seizure focus from interictal intracranial EEG
Decision algorithms are developed that use periods of intracranial non-seizure (interictal) EEG to localize epileptogenic networks. Depth and surface recordings are considered fro...
Justin Dauwels, Emad N. Eskandar, Andy Cole, Dan H...
ICASSP
2011
IEEE
14 years 10 months ago
An adaptive approach to abnormal heart sound segmentation
Heart sound is one of the significant bio-signals to diagnose certain cardiac anomalies. Aiming to provide an automatic heart sounds analysis to medical professionals, we present...
Dinesh Kumar, Paulo Carvalho, Manuel Antunes, Rui ...
CAV
2011
Springer
202views Hardware» more  CAV 2011»
14 years 10 months ago
Simplifying Loop Invariant Generation Using Splitter Predicates
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...
Rahul Sharma 0001, Isil Dillig, Thomas Dillig, Ale...
« Prev « First page 1667 / 2178 Last » Next »