Sciweavers

5600 search results - page 398 / 1120
» Synthesizing robust systems
Sort
View
FORTE
2008
15 years 8 months ago
Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning
Network-based fuzz testing has become an effective mechanism to ensure the security and reliability of communication protocol systems. However, fuzz testing is still conducted in a...
Guoqiang Shu, Yating Hsu, David Lee
LREC
2008
106views Education» more  LREC 2008»
15 years 8 months ago
Methodologies for Designing and Recording Speech Databases for Corpus Based Synthesis
In this paper we share our experience and describe the methodologies that we have used in designing and recording large speech databases for applications requiring speech synthesi...
Luís C. Oliveira, Sérgio Paulo, Lu&i...
AAAI
2004
15 years 8 months ago
Reconstruction of 3D Models from Intensity Images and Partial Depth
This paper addresses the probabilistic inference of geometric structures from images. Specifically, of synthesizing range data to enhance the reconstruction of a 3D model of an in...
Luz Abril Torres-Méndez, Gregory Dudek
DAGSTUHL
2004
15 years 8 months ago
The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and c...
Xin Li, Reinhard von Hanxleden
197
Voted
DAGSTUHL
2003
15 years 8 months ago
Preset based interaction with high dimensional parameter spaces
Many systems require the setting of a large number of parameters. This is often a difficult and time consuming task, especially for novice users. A framework is presented to simp...
Jarke J. van Wijk, Cornelius W. A. M. van Overveld