Sciweavers

4451 search results - page 122 / 891
» Continuous model synthesis
Sort
View
AINA
2007
IEEE
15 years 9 months ago
Specification Synthesis for Monitoring and Analysis of MANET Protocols
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...
Natalia Stakhanova, Samik Basu, Wensheng Zhang, Xi...
ICASSP
2011
IEEE
14 years 9 months ago
Preserve ordering property of generated LSPS for minimum generation error training in HMM-based speech synthesis
Ordering property is an important property of LSP and closely connected with the naturalness of reconstructed speech. When LSP is adopted as spectrum feature in HMM-based parametr...
Ming Lei, Zhen-Hua Ling, Li-Rong Dai
ICCV
2001
IEEE
16 years 7 months ago
Euclidean Reconstruction and Auto-Calibration from Continuous Motion
This paper deals with the problem of incorporating natural regularity conditions on the motion in an MAP estimator for structure and motion recovery from uncalibrated image sequen...
Fredrik Kahl, Anders Heyden
ICTAI
2008
IEEE
15 years 12 months ago
Probabilistic Continuous Constraint Satisfaction Problems
Constraint programming has been used in many applications where uncertainty arises to model safe reasoning. The goal of constraint propagation is to propagate intervals of uncerta...
Elsa Carvalho, Jorge Cruz, Pedro Barahona
IWNAS
2008
IEEE
15 years 12 months ago
Optimal Implementation of Continuous Data Protection (CDP) in Linux Kernel
To protect data and recover data in case of failures, Linux operating system has built-in MD device that implements RAID architectures. Such device can recover data in case of sin...
Xu Li, Changsheng Xie, Qing Yang