Sciweavers

3625 search results - page 187 / 725
» On choosing
Sort
View
CDC
2009
IEEE
144views Control Systems» more  CDC 2009»
15 years 10 months ago
Leader-following formation control of multiple vision-based autonomous robotic fish
— 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...
Wei Zhao, Yonghui Hu, Long Wang
ESIAT
2009
IEEE
15 years 10 months ago
A New Method of Image Denoise Using Contourlet Transform
—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 ...
Xingmei Li, Guoping Yan, Liang Chen
AAAI
2007
15 years 9 months ago
Reasoning from Desires to Intentions: A Dialectical Framework
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...
Nicolás D. Rotstein, Alejandro Javier Garc&...
AAAI
2008
15 years 9 months ago
Generating Application-Specific Benchmark Models for Complex Systems
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...
Jun Wang, Gregory M. Provan
AAAI
2007
15 years 9 months ago
Learning to Solve QBF
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...
Horst Samulowitz, Roland Memisevic