4930 search results - page 573 / 986 » Testing a Safety-Critical Application |
201
click to vote
TITS
2010
15 years 2 months ago
2010
Abstract--In this paper, a new algorithm for vehicle logo recognition on the basis of an enhanced scale-invariant feature transform (SIFT)-based feature-matching scheme is proposed...
307
click to vote
TSI
2010
15 years 2 months ago
2010
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...
316
click to vote
NFM
2011
15 years 2 months ago
2011
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...
171
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
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...
237
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
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...