Sciweavers

1092 search results - page 144 / 219
» aime 2009
Sort
View
KR
2010
Springer
15 years 2 months ago
Walking the Decidability Line for Rules with Existential Variables
We consider positive rules in which the conclusion may contain existentially quantified variables, which makes reasoning tasks (such as Deduction) undecidable. These rules have t...
Jean-François Baget, Michel LeClere, Marie-...
CDC
2009
IEEE
154views Control Systems» more  CDC 2009»
15 years 2 months ago
On the optimal design of structured feedback gains for interconnected systems
— We consider the design of optimal static feedback gains for interconnected systems subject to architectural constraints on the distributed controller. These constraints are in ...
Makan Fardad, Fu Lin, Mihailo R. Jovanovic
CDC
2009
IEEE
142views Control Systems» more  CDC 2009»
15 years 2 months ago
Towards STEM control: Modeling framework and development of a sensor for defocus control
— Scanning transmission electron microscopes are indispensable tools for material science research, since they can reveal the internal structure of a wide range of specimens. Thu...
Arturo Tejada, Wouter Van den Broek, Saartje W. va...
CEC
2009
IEEE
15 years 2 months ago
Overcoming the bootstrap problem in evolutionary robotics using behavioral diversity
— The bootstrap problem is often recognized as one of the main challenges of evolutionary robotics: if all individuals from the first randomly generated population perform equal...
Jean-Baptiste Mouret, Stéphane Doncieux
CLUSTER
2009
IEEE
15 years 2 months ago
Numerically stable, single-pass, parallel statistics algorithms
—Statistical analysis is widely used for countless scientific applications in order to analyze and infer meaning from data. A key challenge of any statistical analysis package a...
Janine Bennett, R. Grout, Philippe P. Pébay...