Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
— In this paper, the modeling and control design of a vertical flight attitude control for a mini tail-sitter with variable pitch propeller is discussed. Tail-sitters VTOL-UAVs ...
K. C. Wong, Jose Alfredo Guerrero Mata, David Lara...
— In this paper we propose an active control strategy for scanning laser sensors on autonomous vehicles traveling offroad at high speeds. As speed increases the amount of sensor ...
Kayur Patel, Walter Macklem, Sebastian Thrun, Mich...
Abstract. In this paper, we embed the minimization scheme of an automatic 3D non-rigid registration method in a multi-scale framework. The initial model formulation was expressed a...
Ioannis Pratikakis, Christian Barillot, Pierre Hel...
IBM founded the Austin Research Laboratory to investigate high-performance microprocessorbased systems. Initial e orts have focused on design for high frequency. This resulted in ...