Sciweavers

3771 search results - page 236 / 755
» Subobject Transformation Systems
Sort
View
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
15 years 7 months ago
Model-Based Test Selection for Infinite-State Reactive Systems
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu
DICTA
2003
15 years 5 months ago
Automatic Image Mosaic System Using Image Feature Detection and Taylor Series
Image mosaicing has been collecting considerable attention in the field of computer vision and photogrammetry. Unlike previous methods using a tripod, we have developed which can h...
SooHyun Cho, YunKoo Chung, Jaeyeon Lee
97
Voted
AUTOMATICA
2006
66views more  AUTOMATICA 2006»
15 years 4 months ago
H2 control of preview systems
The H2-optimal controller for systems with preview, in which the knowledge of external input is available in advance for the controller, is derived. The single input case is first...
Agoes A. Moelja, Gjerrit Meinsma
RE
2006
Springer
15 years 3 months ago
Requirement Progression in Problem Frames Applied to a Proton Therapy System
A technique is presented for obtaining a specification from a requirement through a series of incremental steps. The starting point is a Problem Frame description involving a requ...
Robert Seater, Daniel Jackson
131
Voted
ICASSP
2010
IEEE
15 years 2 months ago
A HMM-based speech synthesis system using a new glottal source and vocal-tract separation method
This paper introduces a HMM-based speech synthesis system which uses a new method for the Separation of Vocal-tract and LiljencrantsFant model plus Noise (SVLN). The glottal sourc...
Pierre Lanchantin, Gilles Degottex, Xavier Rodet