Abstract— We study the problem of designing control strategies for nondeterministic transitions systems enforcing the satisfaction of Linear Temporal Logic (LTL) formulas over th...
We suggest a new heuristic for solving unconstrained continuous optimization problems. It is based on a generalized version of the variable neighborhood search metaheuristic. Diff...
Nenad Mladenovic, Milan Drazic, Vera Kovacevic-Vuj...
At present, the development in the nascent field of synthetic gene networks is still difficult. Most newly created gene networks are nonfunctioning due to intrinsic parameter fluct...
In this paper, we propose a new and accurate 3D reconstruction technique for the scoliotic spine from a pair planar and conventional radiographic images (postero-anterior and late...
Said Benameur, Max Mignotte, Stefan Parent, Hubert...
Processing of stereo images has become more and more important in recent years because of the availability of various stereo displaying devices. In particular, stabilizing of ster...
Kai Ki Lee, Kin-hong Wong, Man Kin Leung, Michael ...