..............page:608-617
..............page:521-526
aht b zier curves and nuaht b-spline curves
Gang Xu Guo-Zhao Wang 1 Institute of Computer Graphics and Image Processing;Zhejiang University;Hangzhou 310027;China 2 Department of Mathematics;Zhejiang University;Hangzhou 310027;China
..............page:597-607
..............page:618-625
..............page:569-574
..............page:562-568
an improvement of herbrand's theorem and its application to model generation theorem proving
Yu-Yan Chao~ Li-Feng He~ Tsuyoshi Nakamura~5 Zheng-Hao Shi~5 Kenji Suzuki~6 Hidenori Itoh~5 1 Graduate School of Environment Management;Nagoya Sangyo University;Aichi;Japan 2 College of Mechanical and Electrical Engineering;Shaanxi University of Science and Technology;China 3 Graduate School of Information Science and Technology;Aichi Prefectural University;Aichi;Japan 4 College of Computer and Information Engineering;Shaanxi University of Science and Technology;China 5 Graduate School of Computer Science and Engineering;Nagoya Institute of Technology;Nagoya;Japan 6 Department of Radiology;The University of Chicago;Chicago;U.S.A.
..............page:541-553
..............page:497-504
..............page:633-640
..............page:515-520
..............page:532-540
..............page:527-531
real-time texture synthesis using s-tile set
Feng Xue~1 You-Sheng Zhang~1 Ju-Lang Jiang~2 Min Hu~1 Xin-Dong Wu~ Rong-Gui Wang~1 1 School of Computer Science and Information Engineering;Hefei University of Technology;Hefei 230009;China 2 School of Physics and Electrical Engineering;Anqing Teachers College;Anqing 246011;China 3 Department of Computer Science;University of Vermont;Burlington;VT 05405;U.S.A.
..............page:590-596
..............page:580-589
consistency property of finite fc-normal logic programs
Yi-Song Wang~1 Ming-Yi Zhang~2 Yu-Ping Shen~3 1 College of Computer Science and Technology;Guizhou University;Guiyang 550025;China 2 Guizhou Academy of Sciences;Guiyang 550001;China 3 Institute of Logic and Cognition;Sun Yat-Sen University;Guangzhou 510275;China
..............page:554-561
..............page:505-514
..............page:575-579
facial feature extraction method based on coefficients of variances
Feng-Xi Song~ David Zhang~3 Cai-Kou Chen~4 Jing-Yu Yang~4 1 New Star Research Institute of Applied Technology in Hefei City;Hefei 230031;China 2 Shenzhen Graduate School;Harbin Institute of Technology;Shenzhen 518055;China 3 Hong Kong Polytechnic University;Hong Kong;China 4 Nanjing University of Science and Technology;Nanjing 210094;China
..............page:626-632