498 search results - page 49 / 100 » Model Validation using Automatically Generated Requirements-... |
IGARSS
2010
13 years 2 months ago
2010
Polarimetric scene phenomenology yields a remote sensing modality that can be used in tandem with or alternative to panchromatic, multispectral, hyperspectral, or infrared intensi...
TAP
2010
Springer
13 years 5 months ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...
ADS
2004
Springer
14 years 1 months ago
2004
Springer
This paper describes an initial approach to emotional speech synthesis in Catalan based on a diphone concatenation TTS system. The main goal of this work is to develop a simple pro...
LREC
2010
13 years 9 months ago
2010
Automatically translating natural language into machine-readable instructions is one of major interesting and challenging tasks in Natural Language (NL) Processing. This problem c...
DATE
2009
IEEE
14 years 2 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...