|
91-2
|
期刊論文 |
資工系 |
Video presentation recording and on-line broadcasting |
|
81-1
|
期刊論文 |
資工系 |
Verification of systolic architecture designs |
|
88-1
|
期刊論文 |
資工系 |
Using VCR to Support Different Styles and Types of Group Collaborations in Virtual Universities |
|
90-1
|
期刊論文 |
資工系 |
Universal Access for Roaming User via Mobile Agent Technology |
|
86-2
|
期刊論文 |
資工系 |
Tool integration in a knowledge abstraction environment |
|
82-1
|
會議論文 |
資工系 |
The use of fixed point induction in verifying systolic array designs : An applicative approach |
|
82-1
|
期刊論文 |
資工系 |
The use of fixed point induction in verifying systolic array designs : An applicative approach |
|
89-1
|
期刊論文 |
資工系 |
Supporting Well-Engineered Web Documentation Development - a Multimedia Software Engineering Approach toward Virtual University Courseware Designs |
|
86-1
|
期刊論文 |
資工系 |
Supporting the reuse of multimedia presentations |
|
93-2
|
期刊論文 |
資工系 |
Super-resolution inpainting |
|
88-1
|
期刊論文 |
資工系 |
Strengthen and Support the Maintenance of Object-Oriented Software |
|
89-2
|
期刊論文 |
資工系 |
Shape-based Image Retrieval Using Spatio-temporal Relation Computations |
|
85-2
|
會議論文 |
資工系 |
Multimedia abstract machine |
|
86-2
|
期刊論文 |
資工系 |
Participator dependent multimedia presentation |
|
83-2
|
期刊論文 |
資工系 |
On the construction of a prolog-based verifier for systolic array designs |
|
85-2
|
會議論文 |
資工系 |
On computing temporal/spatial relations |
|
86-2
|
期刊論文 |
資工系 |
On computing temporal/spatial relations |
|
90-1
|
專書單篇 |
資工系 |
Multimedia abstract machine |
|
86-2
|
期刊論文 |
資工系 |
Multimedia abstract machine |
|
90-1
|
期刊論文 |
資工系 |
Mobile agent evolution computing |
|
93-1
|
期刊論文 |
資工系 |
Merging Web Brower and Interactive Video – A HyperVideo System for e-Learning and e-Entertainment |
|
89-1
|
期刊論文 |
資工系 |
Macro University: A Framework for a Federation of Virtual Universities |
|
96-1
|
期刊論文 |
資工系 |
Integrating SPC Table Formative Assessment with SCORM |
|
85-2
|
期刊論文 |
資工系 |
Object-oriented software testing and metric in Z specification |
|
92-1
|
期刊論文 |
資工系 |
Guessing by neighbors: an efficient reconstruction method for transmitting image progressively |
|
82-1
|
期刊論文 |
資工系 |
Formalizing the design of systolic array designs |
|
85-2
|
期刊論文 |
資工系 |
Formal specification of a graph-based object-oriented software testing |
|
83-1
|
期刊論文 |
資工系 |
Formal specification and verification in Z for syncchronous concurrent compution |
|
94-2
|
期刊論文 |
資工系 |
Facilitating Metadata Creation-the MINE Metadata Wizard for IEEE LOM |
|
94-1
|
期刊論文 |
資工系 |
Courseware development using influence diagram supporting e-learning specification |
