Sciweavers

5570 search results - page 702 / 1114
» Applications of Fair Testing
Sort
View
TSI
2010
15 years 1 months ago
Greta, une plateforme d'agent conversationnel expressif et interactif
This paper presents a generic ,modular and interactive architecture for embodied conversational agent called Greta. It is 3D agent able to communicate with users using verbal and n...
Etienne de Sevin, Radoslaw Niewiadomski, Elisabett...
NFM
2011
335views Formal Methods» more  NFM 2011»
15 years 1 months ago
CORAL: Solving Complex Constraints for Symbolic PathFinder
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
Matheus Souza, Mateus Borges, Marcelo d'Amorim, Co...
ICASSP
2011
IEEE
14 years 10 months ago
Pitch transposition and breathiness modification using a glottal source model and its adapted vocal-tract filter
The transformation of the voiced segments of a speech recording has many applications such as expressivity synthesis or voice conversion. This paper addresses the pitch transposit...
Gilles Degottex, Axel Röbel, Xavier Rodet
ICASSP
2011
IEEE
14 years 10 months ago
Intra-frame prediction with lapped transforms for image coding
In this paper we propose the use of intra-frame prediction with lapped transforms for image coding. Both lapped transforms and intra prediction exploit the redundancies of neighbo...
Rafael Galvao de Oliveira, Béatrice Pesquet...
ICASSP
2011
IEEE
14 years 10 months ago
Distributed linear discriminant analysis
Linear discriminant analysis (LDA) is a widely used feature extraction method for classification. We introduce distributed implementations of different versions of LDA, suitable ...
Sergio Valcarcel Macua, Pavle Belanovic, Santiago ...