Sciweavers

783 search results - page 80 / 157
» A Framework for Exploring Optimization Properties
Sort
View
CDC
2009
IEEE
144views Control Systems» more  CDC 2009»
14 years 2 days 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
IJCAI
2007
13 years 10 months ago
A Hybridized Planner for Stochastic Domains
Markov Decision Processes are a powerful framework for planning under uncertainty, but current algorithms have difficulties scaling to large problems. We present a novel probabil...
Mausam, Piergiorgio Bertoli, Daniel S. Weld
SC
2009
ACM
14 years 3 months ago
Robust workflows for science and engineering
Scientific workflow tools allow users to specify complex computational experiments and provide a good framework for robust science and engineering. Workflows consist of pipelines ...
David Abramson, Blair Bethwaite, Colin Enticott, S...
AI
2007
Springer
13 years 9 months ago
A spectrum of compromise aggregation operators for multi-attribute decision making
In many decision making problems, a number of independent attributes or criteria are often used to individually rate an alternative from an agent’s local perspective and then th...
Xudong Luo, Nicholas R. Jennings
FAC
2000
114views more  FAC 2000»
13 years 8 months ago
Representational Reasoning and Verification
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
Gavin J. Doherty, José Creissac Campos, Mic...