Sciweavers

298 search results - page 43 / 60
» Sensitivity Analysis of Multivariable Systems in State Space
Sort
View
ICARCV
2006
IEEE
148views Robotics» more  ICARCV 2006»
15 years 5 months ago
Switched Linear Control of a Model Helicopter
—A mini scale helicopter poses a difficult control problem due to its complex dynamics. Compared to its full-size counterparts, the model helicopter exhibits not only increased s...
Herman Y. Sutarto, Agus Budiyono, Endra Joelianto,...
SIGMETRICS
2008
ACM
214views Hardware» more  SIGMETRICS 2008»
14 years 11 months ago
HMTT: a platform independent full-system memory trace monitoring system
Memory trace analysis is an important technology for architecture research, system software (i.e., OS, compiler) optimization, and application performance improvements. Many appro...
Yungang Bao, Mingyu Chen, Yuan Ruan, Li Liu, Jianp...
BMCBI
2010
178views more  BMCBI 2010»
14 years 12 months ago
Selecting high-dimensional mixed graphical models using minimal AIC or BIC forests
Background: Chow and Liu showed that the maximum likelihood tree for multivariate discrete distributions may be found using a maximum weight spanning tree algorithm, for example K...
David Edwards, Gabriel C. G. de Abreu, Rodrigo Lab...
83
Voted
MICAI
2000
Springer
15 years 3 months ago
Searching for a Solution to Program Verification=Equation Solving in CCS
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
Raul Monroy, Alan Bundy, Ian Green
79
Voted
CDC
2008
IEEE
129views Control Systems» more  CDC 2008»
15 years 6 months ago
Distributed motion constraints for algebraic connectivity of robotic networks
— This paper studies connectivity maintenance of robotic networks that communicate at discrete times and move in continuous space. We propose a distributed algorithm that allows ...
Michael Schuresko, Jorge Cortés