關鍵字:

教師資料查詢 | 類別:會議論文

# 學年期 單位 教師 名稱
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