We use cookies to improve your experience with our site.

New Algorithms for the Perspective-Three-Point Problem
GAO Xiaoshan, CHEN Hangfei
2001, 16(3)
Abstract
A Study on Wavelet Data Compression of a Real-Time Monitoring System for Large Hydraulic Machines
WANG Hai, ZHENG Liyuan
2001, 16(3)
Abstract
From Concepts to Consistent Object Specifications:Translation of a Domain-Oriented Feature Framework into Practice
Harald E.Otto
2001, 16(3)
Abstract
Dynamic Data Prefetching in Home-Based Software DSMs
HU Weiwu, ZHANG Fuxin, LIU Haiming
2001, 16(3)
Abstract
A New Approach to Pointer Analysis for Assignments
HUANG Bo, ZANG Binyu, LI Jing, ZHU Chuanqi
2001, 16(3)
Abstract
A Formal Software Development Approach Using Refinement Calculus
WANG Yunfeng, PANG Jun, ZHA Ming, YANG Zhaohui, ZHENG Guoliang
2001, 16(3)
Abstract
CWA Formalizations in Multi-Valued Logics
WU Jinzhao
2001, 16(3)
Abstract
Relaxation Algorithm of Piecing-Error for Sub-Images
LI Yueping, TANG Pushan
2001, 16(3)
Abstract
A Loop-Based Apparatus for At-Speed Self-Testing
LI Xiaowei, Paul Y.S.Cheung
2001, 16(3)
Abstract
Type System in Programming Languages
JIANG Hui, LIN Dong, ZHANG Xingyuan, XIE Xiren
2001, 16(3)
Abstract