Foreground detection is a fundamental step in visual surveillance.However,accurate foreground detection is still a challenging task especially in dynamic backgrounds.In this paper,we present a nonparametric approach t...Foreground detection is a fundamental step in visual surveillance.However,accurate foreground detection is still a challenging task especially in dynamic backgrounds.In this paper,we present a nonparametric approach to foreground detection in dynamic backgrounds.It uses a history of recently pixel values to estimate background model.Besides,the adaptive threshold and spatial coherence are introduced to enhance robustness against false detections.Experimental results indicate that our approach achieves better performance in dynamic backgrounds compared with several approaches.展开更多
We study Bd → φKs decay in extra down-type quarks （EDQS） model with a non-universal Z boson associated with flavor changing neutral currents （FCNCs） at the tree level. With the up-to-date experimental data of Br...We study Bd → φKs decay in extra down-type quarks （EDQS） model with a non-universal Z boson associated with flavor changing neutral currents （FCNCs） at the tree level. With the up-to-date experimental data of Br（Bd → φKs）, SCKs, and ACKs, we derive the bounds on the Z-b-s coupling parameter ｜Ubs ｜ and the new weak phase φ, using the constrained parameter spaces, we finally give predictions for Bd → φφ decay, which could be tested at the Fermilab Tevatron and the LHC-b experiments.展开更多
For a parametric algebraic system in finite fields, this paper presents a method for computing the cover and the refined cover based on the characteristic set method. From the cover, the author knows for what parametr...For a parametric algebraic system in finite fields, this paper presents a method for computing the cover and the refined cover based on the characteristic set method. From the cover, the author knows for what parametric values the system has solutions and at the same time presents the solutions in the form of proper chains. By the refined cover, the author gives a complete classification of the number of solutions for this system, that is, the author divides the parameter space into several disjoint components, and on every component the system has a fix number of solutions. Moreover, the author develops a method of quantifier elimination for first order formulas in finite fields.展开更多
基金supported by Fund of National Science & Technology monumental projects under Grants No.61105015,NO.61401239,NO.2012-364-641-209
文摘Foreground detection is a fundamental step in visual surveillance.However,accurate foreground detection is still a challenging task especially in dynamic backgrounds.In this paper,we present a nonparametric approach to foreground detection in dynamic backgrounds.It uses a history of recently pixel values to estimate background model.Besides,the adaptive threshold and spatial coherence are introduced to enhance robustness against false detections.Experimental results indicate that our approach achieves better performance in dynamic backgrounds compared with several approaches.
基金Supported by the Natural Science Foundation of Henan Province under Grant No.092300410205
文摘We study Bd → φKs decay in extra down-type quarks （EDQS） model with a non-universal Z boson associated with flavor changing neutral currents （FCNCs） at the tree level. With the up-to-date experimental data of Br（Bd → φKs）, SCKs, and ACKs, we derive the bounds on the Z-b-s coupling parameter ｜Ubs ｜ and the new weak phase φ, using the constrained parameter spaces, we finally give predictions for Bd → φφ decay, which could be tested at the Fermilab Tevatron and the LHC-b experiments.
基金supported by the National 973 Program of China under Grant No.2011CB302400the National Natural Science Foundation of China under Grant No.60970152
文摘For a parametric algebraic system in finite fields, this paper presents a method for computing the cover and the refined cover based on the characteristic set method. From the cover, the author knows for what parametric values the system has solutions and at the same time presents the solutions in the form of proper chains. By the refined cover, the author gives a complete classification of the number of solutions for this system, that is, the author divides the parameter space into several disjoint components, and on every component the system has a fix number of solutions. Moreover, the author develops a method of quantifier elimination for first order formulas in finite fields.
