關鍵字:

教師資料查詢 | 教師:施國琛

# 學年期 類別 標題
91 82-1 會議論文 The use of fixed point induction in verifying systolic array designs : An applicative approach
92 81-1 會議論文 The specification and verification of synchronous concurrent computation
93 83-1 會議論文 A hierarchy testing of object-oreinted program structure
94 94-2 會議論文 the IEEE 20th International Conference on Advanced Information Networking and Applications
95 95-2 會議論文 Spatial-Temporal Method for Image Restoration in Aged Motion Pictures
96 85-1 會議論文 A graph-theoretical metric for object-oriented sofrware complexity
97 92-2 會議論文 Security and Privacy Technologies for Distance Education Applications
98 96-1 會議論文 Scratch Line Removal on Aged Films
99 84-2 會議論文 Reusable multimedia presentations
100 80-1 會議論文 Program generation and controls in a specification processing environment
101 86-1 會議論文 Multimedia presentation design using data flow diagrams
102 91-1 會議論文 Methodologies and Software Systems for e-Learning
103 84-1 會議論文 Level models automation for virtual environment
104 92-1 會議論文 International Conference on Information Technology and Applications(ICITA2004)
105 80-1 會議論文 Intelligence backstracking and controls based on a deduction status representation in logic programming
106 89-2 會議論文 Integrating agents into a virtual university via an open agent architecture
107 85-1 會議論文 Inheritance hierarchy metric
108 84-2 會議論文 Inheritance based metrics for measuring object-oriented design
109 80-1 會議論文 Inductive techniques for formal verification of systolic array designs in DSP applications approach
110 94-1 會議論文 Hyper-interactive video browsing by a remote controller and hand gestures
111 85-2 會議論文 Hypercode : a new approach to program documentation
112 95-2 會議論文 Ghost Shadow Removal in Multi-Layered Video Inpainting
113 85-1 會議論文 Formal specification of multimedia database modeling with Z notations
114 91-2 會議論文 Feedback and analysis from assessment metadata in e-learning
115 96-1 會議論文 Enhancing Reusability of Learning Objects with Object-Oriented Inheritance Relationships
116 86-2 會議論文 Distributed framework for multimedia application design
117 92-1 會議論文 Distance Learning Standards and Software Systems
118 95-1 會議論文 Digital Inpainting – Survey and Directions
119 96-1 會議論文 Digital Inpainting – A Tutorial
120 86-1 會議論文 Designing of a web-based multimedia document automation system