5525 search results - page 246 / 1105 » Verification of Model Transformations |
134
Voted
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
126
Voted
COLING
2008
15 years 6 months ago
2008
Our goal is to use natural language processing to identify deceptive and nondeceptive passages in transcribed narratives. We begin by motivating an analysis of language-based dece...
140
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we investigate imposture using synthetic speech. Although this problem was first examined over a decade ago, dramatic improvements in both speaker verification (S...
150
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
The standard approach to speaker verification is to extract cepstral features from the speech spectrum and model them by generative or discriminative techniques. We propose a nov...
154
click to vote
COMPUTER
2006
15 years 4 months ago
2006
The role of intuition in software development was discussed in a most original fashion by Peter Naur in 1984. Yet there has been little subsequent interest in elaborating on Naur&#...