— A framework for the deployment of multiple autonomous robotic fish to achieve leader-following formations with Bezier trajectory is presented. Each follower robot estimates th...
—In all methods of image denoising, there is a problem always exists that is how to distinguish noise and edge. Now wavelet and contourlet are main tools in image denoising, but ...
Here, we define a framework where defeasible argumentation is used for reasoning about beliefs, desires and intentions. A dialectical filtering process is introduced to obtain a...
Automated generators for synthetic models and data can play a crucial role in designing new algorithms/modelframeworks, given the sparsity of benchmark models for empirical analys...
We present a novel approach to solving Quantified Boolean Formulas (QBF) that combines a search-based QBF solver with machine learning techniques. We show how classification met...