關鍵字：

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

# 學年期 類別 標題
1 90-1 期刊論文 An integrated framework for recommendation system in e-commerce
2 82-1 期刊論文 The use of fixed point induction in verifying systolic array designs : An applicative approach
3 90-1 專書單篇 Multimedia abstract machine
4 96-1 期刊論文 A Cross Domain Framework for SCORM Based on Web Service Architecture
5 91-2 期刊論文 Video presentation recording and on-line broadcasting
6 81-1 期刊論文 Verification of systolic architecture designs
7 88-1 期刊論文 Using VCR to Support Different Styles and Types of Group Collaborations in Virtual Universities
8 90-1 期刊論文 Universal Access for Roaming User via Mobile Agent Technology
9 86-2 期刊論文 Tool integration in a knowledge abstraction environment
10 82-1 會議論文 The use of fixed point induction in verifying systolic array designs : An applicative approach
11 89-1 期刊論文 Supporting Well-Engineered Web Documentation Development - a Multimedia Software Engineering Approach toward Virtual University Courseware Designs
12 86-1 期刊論文 Supporting the reuse of multimedia presentations
13 93-2 期刊論文 Super-resolution inpainting
14 88-1 期刊論文 Strengthen and Support the Maintenance of Object-Oriented Software
15 89-2 期刊論文 Shape-based Image Retrieval Using Spatio-temporal Relation Computations
16 85-2 會議論文 Multimedia abstract machine
17 86-2 期刊論文 Participator dependent multimedia presentation
18 83-2 期刊論文 On the construction of a prolog-based verifier for systolic array designs
19 85-2 會議論文 On computing temporal/spatial relations
20 86-2 期刊論文 On computing temporal/spatial relations
21 86-2 期刊論文 Multimedia abstract machine
22 90-1 期刊論文 Mobile agent evolution computing
23 93-1 期刊論文 Merging Web Brower and Interactive Video – A HyperVideo System for e-Learning and e-Entertainment
24 89-1 期刊論文 Macro University: A Framework for a Federation of Virtual Universities
25 96-1 期刊論文 Integrating SPC Table Formative Assessment with SCORM
26 85-2 期刊論文 Object-oriented software testing and metric in Z specification
27 92-1 期刊論文 Guessing by neighbors: an efficient reconstruction method for transmitting image progressively
28 82-1 期刊論文 Formalizing the design of systolic array designs
29 85-2 期刊論文 Formal specification of a graph-based object-oriented software testing
30 83-1 期刊論文 Formal specification and verification in Z for syncchronous concurrent compution