Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
Andreas Abel, Marcin Benke, Ana Bove, John Hughes,...
To celebrate the 100th anniversary of the announcement of the special relativity theory of Albert Einstein, KAIST HUBO team and hanson robotics team developed android type humanoi...
Jun-Ho Oh, David Hanson, Won-Sup Kim, Young Han, J...
A new method for segmenting range data including curved surfaceisproposed.Themethod isbasedonrobust principal vectors calculation using ISL-primary-axis method. First a normal vec...
We present algorithms for the discrete cosine transform (DCT) and discrete sine transform (DST), of types II and III, that achieve a lower count of real multiplications and additi...
We present algorithms for the type-IV discrete cosine transform (DCT-IV) and discrete sine transform (DST-IV), as well as for the modified discrete cosine transform (MDCT) and it...