Sciweavers

2740 search results - page 35 / 548
» Typing the Specialization Interface
Sort
View
IROS
2006
IEEE
155views Robotics» more  IROS 2006»
14 years 3 months ago
Design of Android type Humanoid Robot Albert HUBO
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...
MVA
1996
100views Computer Vision» more  MVA 1996»
13 years 11 months ago
Range Data Segmentation with Principal Vectors and Surface Types
A new method for segmenting range data including curved surfaceisproposed.Themethod isbasedonrobust principal vectors calculation using ISL-primary-axis method. First a normal vec...
Takashi Yoshimi, Yoshihiro Kawai, Fumiaki Tomita
CORR
2007
Springer
79views Education» more  CORR 2007»
13 years 10 months ago
Type-II/III DCT/DST algorithms with reduced number of arithmetic operations
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...
Xuancheng Shao, Steven G. Johnson
CORR
2007
Springer
93views Education» more  CORR 2007»
13 years 10 months ago
Type-IV DCT, DST, and MDCT algorithms with reduced numbers of arithmetic operations
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...
Xuancheng Shao, Steven G. Johnson
LPAR
2010
Springer
13 years 7 months ago
Verifying Pointer and String Analyses with Region Type Systems
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
Lennart Beringer, Robert Grabowski, Martin Hofmann