: Given two testable properties P1 and P2, under what conditions are the union, intersection or set-difference of these two properties also testable? We initiate a systematic study...
Modeling of optimized motion controller is one of the interesting problems in the context of behavior based mobile robotics. Behavior based mobile robots should have an ideal contr...
Meenakshi Gupta, Laxmidhar Behera, Venkatesh K. S.
We consider the problem of human parsing with partbased models. Most previous work in part-based models only considers rigid parts (e.g. torso, head, half limbs) guided by human a...
This paper addresses the problem of reproducing oscillations generated by the well-known slugging phenomenon in multiphase flow. Reported investigations show how to determine the p...
Florent Di Meglio, Glenn-Ole Kaasa, Nicolas Petit,...
The primary contribution of this paper is an algorithm capable of identifying parameters in certain mixed linear/nonlinear state-space models, containing conditionally linear Gauss...