1004 search results - page 118 / 201 » Modeling and Control - Flexible Structure Spacecraft |
135
click to vote
AAAI
2010
15 years 5 months ago
2010
We present an interactive learning method that enables a user to iteratively refine a regression model. The user examines the output of the model, visualized as the vertical axis ...
164
click to vote
JSA
2008
15 years 3 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
154
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We introduce streaming tree transducers as an analyzable and expressive model for transforming hierarchically structured data in a single pass. Given a linear encoding of the inpu...
175
click to vote
INFOCOM
2008
IEEE
15 years 10 months ago
2008
IEEE
—Robustness of optimization models for networking problems has been an under-explored area. Yet most existing algorithms for solving robust optimization problems are centralized,...
110
click to vote
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
Fully autonomous aerial robots are needed to accomplish near-Earth missions such as search and rescue, and bio-chemical sensing. Recent advances in sensor technologies ([6], [8], ...