Sciweavers

2826 search results - page 428 / 566
» A resource-based analysis of IT sourcing
Sort
View
FMCAD
2009
Springer
15 years 8 months ago
Software model checking via large-block encoding
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
Dirk Beyer, Alessandro Cimatti, Alberto Griggio, M...
GECCO
2009
Springer
305views Optimization» more  GECCO 2009»
15 years 8 months ago
Evolving competitive car controllers for racing games with neuroevolution
Modern computer games are at the same time an attractive application domain and an interesting testbed for the evolutionary computation techniques. In this paper we apply NeuroEvo...
Luigi Cardamone, Daniele Loiacono, Pier Luca Lanzi
ICIAR
2009
Springer
15 years 8 months ago
Speech-Video Synchronization Using Lips Movements and Speech Envelope Correlation
In this paper, we propose a novel correlation based method for speech-video synchronization (synch) and relationship classification. The method uses the envelope of the speech sig...
Amar A. El-Sallam, Ajmal S. Mian
ICMI
2009
Springer
125views Biometrics» more  ICMI 2009»
15 years 8 months ago
Speaker change detection with privacy-preserving audio cues
In this paper we investigate a set of privacy-sensitive audio features for speaker change detection (SCD) in multiparty conversations. These features are based on three different...
Sree Hari Krishnan Parthasarathi, Mathew Magimai-D...
113
Voted
ICVS
2009
Springer
15 years 8 months ago
White-Box Evaluation of Computer Vision Algorithms through Explicit Decision-Making
Traditionally computer vision and pattern recognition algorithms are evaluated by measuring differences between final interpretations and ground truth. These black-box evaluations ...
Richard Zanibbi, Dorothea Blostein, James R. Cordy