Sciweavers

1519 search results - page 250 / 304
» Experience based sampling technique for multimedia analysis
Sort
View
CHI
2004
ACM
16 years 4 months ago
Designing a compelling user interface for morphing
We present a new user interface for the common morphing tool found in animation packages. Previously this interface has been based on the features of the underlying algorithm, wit...
David Vronay, Shuo Wang
ICASSP
2010
IEEE
15 years 4 months ago
Comparison of modulation features for phoneme recognition
In this paper, we compare several approaches for the extraction of modulation frequency features from speech signal using a phoneme recognition system. The general framework in th...
Sriram Ganapathy, Samuel Thomas, Hynek Hermansky
FASE
2012
Springer
14 years 22 hour ago
Integration Testing of Software Product Lines Using Compositional Symbolic Execution
Software product lines are families of products defined by feature commonality and variability, with a well-managed asset base. Recent work in testing of software product lines ha...
Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer
FLAIRS
2006
15 years 5 months ago
Context-based Term Disambiguation in Biomedical Literature
The huge volumes of unstructured texts available online drives the increasing need for automated techniques to analyze and extract knowledge from these repositories of information...
Ping Chen, Hisham Al-Mubaid
CAV
2009
Springer
212views Hardware» more  CAV 2009»
16 years 4 months ago
Beaver: Engineering an Efficient SMT Solver for Bit-Vector Arithmetic
We present the key ideas in the design and implementation of Beaver, an SMT solver for quantifier-free finite-precision bit-vector logic (QF BV). Beaver uses an eager approach, enc...
Susmit Jha, Rhishikesh Limaye, Sanjit A. Seshia