18331 |
80-1
|
資工系
|
施國琛
教授
|
A specification processing environment for making well engineered logic programs
|
18332 |
92-2
|
資工系
|
施國琛
教授
|
A petri nets-based approach to modeling SCORM
|
18333 |
83-1
|
資工系
|
施國琛
教授
|
A metric of inheritance hierarchy for object-oreinted software complexity
|
18334 |
93-1
|
資工系
|
施國琛
教授
|
Workshop on the Next Decade of Science and Technology of Learning
|
18335 |
80-1
|
資工系
|
施國琛
教授
|
Using prolog as a tool for systolic array designs
|
18336 |
95-1
|
資工系
|
施國琛
教授
|
Using AJAX to build an on-line QTI based assessment system
|
18337 |
95-2
|
資工系
|
施國琛
教授
|
Traffic Flow Based EDCF for QoS Enhancement in IEEE 802.11e Wireless LAN
|
18338 |
82-1
|
資工系
|
施國琛
教授
|
The use of fixed point induction in verifying systolic array designs : An applicative approach
|
18339 |
81-1
|
資工系
|
施國琛
教授
|
The specification and verification of synchronous concurrent computation
|
18340 |
83-1
|
資工系
|
施國琛
教授
|
A hierarchy testing of object-oreinted program structure
|
18341 |
94-2
|
資工系
|
施國琛
教授
|
the IEEE 20th International Conference on Advanced Information Networking and Applications
|
18342 |
95-2
|
資工系
|
施國琛
教授
|
Spatial-Temporal Method for Image Restoration in Aged Motion Pictures
|
18343 |
85-1
|
資工系
|
施國琛
教授
|
A graph-theoretical metric for object-oriented sofrware complexity
|
18344 |
92-2
|
資工系
|
施國琛
教授
|
Security and Privacy Technologies for Distance Education Applications
|
18345 |
96-1
|
資工系
|
施國琛
教授
|
Scratch Line Removal on Aged Films
|
18346 |
84-2
|
資工系
|
施國琛
教授
|
Reusable multimedia presentations
|
18347 |
80-1
|
資工系
|
施國琛
教授
|
Program generation and controls in a specification processing environment
|
18348 |
86-1
|
資工系
|
施國琛
教授
|
Multimedia presentation design using data flow diagrams
|
18349 |
91-1
|
資工系
|
施國琛
教授
|
Methodologies and Software Systems for e-Learning
|
18350 |
84-1
|
資工系
|
施國琛
教授
|
Level models automation for virtual environment
|
18351 |
92-1
|
資工系
|
施國琛
教授
|
International Conference on Information Technology and Applications(ICITA2004)
|
18352 |
80-1
|
資工系
|
施國琛
教授
|
Intelligence backstracking and controls based on a deduction status representation in logic programming
|
18353 |
89-2
|
資工系
|
施國琛
教授
|
Integrating agents into a virtual university via an open agent architecture
|
18354 |
85-1
|
資工系
|
施國琛
教授
|
Inheritance hierarchy metric
|
18355 |
84-2
|
資工系
|
施國琛
教授
|
Inheritance based metrics for measuring object-oriented design
|
18356 |
80-1
|
資工系
|
施國琛
教授
|
Inductive techniques for formal verification of systolic array designs in DSP applications approach
|
18357 |
94-1
|
資工系
|
施國琛
教授
|
Hyper-interactive video browsing by a remote controller and hand gestures
|
18358 |
85-2
|
資工系
|
施國琛
教授
|
Hypercode : a new approach to program documentation
|
18359 |
95-2
|
資工系
|
施國琛
教授
|
Ghost Shadow Removal in Multi-Layered Video Inpainting
|
18360 |
85-1
|
資工系
|
施國琛
教授
|
Formal specification of multimedia database modeling with Z notations
|