Sciweavers

1446 search results - page 174 / 290
» Testing for Concise Representations
Sort
View
BMVC
1996
13 years 11 months ago
Spatial-Temporal Reasoning Based on Object Motion
This paper describes the continuing development of a system for tracking multiple man made objects, (typically vehicles) moving in a natural open world scene, where the detected m...
M. K. Teal, Tim J. Ellis
PSTV
1993
123views Hardware» more  PSTV 1993»
13 years 11 months ago
On the Verification of Temporal Properties
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
Patrice Godefroid, Gerard J. Holzmann
IJCAI
1989
13 years 11 months ago
Experimental Evaluation of Preprocessing Techniques in Constraint Satisfaction Problems
This paper presents an evaluation of two orthogonal schemes for improving the efficiency of solving constraint satisfaction problems (CSPs). The first scheme involves a class of p...
Rina Dechter, Itay Meiri
ICASSP
2010
IEEE
13 years 10 months ago
An exploratory study of manifolds of emotional speech
This study explores manifold representations of emotionally modulated speech. The manifolds are derived in the articulatory space and two acoustic spaces (MFB and MFCC) using isom...
Jangwon Kim, Sungbok Lee, Shrikanth S. Narayanan
ICASSP
2010
IEEE
13 years 10 months ago
Fishervioce: A discriminant subspace framework for speaker recognition
We propose a new framework for speaker recognition, referred as Fishervoice. It includes the design of a feature representation known as the structured score vector (SSV), which r...
Zhifeng Li, Weiwu Jiang, Helen M. Meng