16862 |
97-1
|
研究報告
|
林其誼
教授
|
邁向U校園---一個多樣性數位學習試驗基地之建構-子計畫三-促進學習動機的XNA冒險遊戲式學習策略之設計發展與實證
|
16861 |
92-2
|
期刊論文
|
范俊海
副教授
|
應用模糊群聚理論發展夜間車輛偵測模式之研究
|
16860 |
92-1
|
期刊論文
|
范俊海
副教授
|
速度與心念的感受
|
16859 |
83-1
|
期刊論文
|
金琍琍
講師
|
多媒體課程軟體評鑑:哥倫布課程軟體之介面設計
|
16858 |
89-2
|
期刊論文
|
施國琛
教授
|
An Infrastructure for Developing Agents for Distance Education on the Internet
|
16857 |
91-1
|
期刊論文
|
施國琛
教授
|
An Agent-Based Multi-Issue Negotiation System in E-Commerce
|
16856 |
93-1
|
期刊論文
|
施國琛
教授
|
Using Ontology as Scaffolding for Authoring Teaching Materials
|
16855 |
88-1
|
期刊論文
|
施國琛
教授
|
Formal Specification in Software Reuse Designs: an Object-Oriented Database Example
|
16854 |
83-1
|
期刊論文
|
施國琛
教授
|
An operational semantics approach to disciplined exceptions in logic programming
|
16853 |
87-1
|
期刊論文
|
施國琛
教授
|
An Object-Oriented Specification and Verification System for Systolic Array Designs
|
16852 |
86-1
|
期刊論文
|
施國琛
教授
|
A Z Specification Approach to Multimedia Modeling
|
16851 |
87-1
|
期刊論文
|
施國琛
教授
|
A VDM approach to continuation-based semantics of prolog
|
16850 |
83-1
|
期刊論文
|
施國琛
教授
|
A Temporal Arithmetic Based Reasoning System for Systolic Array Designs
|
16849 |
87-1
|
期刊論文
|
施國琛
教授
|
A multimedia documentation environment supports well-engineered software development and maintenance
|
16848 |
88-2
|
期刊論文
|
施國琛
教授
|
The complexity measurement of software through program decomposition
|
16847 |
90-2
|
期刊論文
|
施國琛
教授
|
Web learning assessment and adaptive tutoring
|
16846 |
86-2
|
期刊論文
|
施國琛
教授
|
Using a Revised Data Flow Diagrammatic Technique to Design Dynamic Multimedia Presentations
|
16845 |
83-1
|
期刊論文
|
施國琛
教授
|
Spec: A Specification Processing Environment with Controls
|
16844 |
88-2
|
期刊論文
|
施國琛
教授
|
A Qualitative Approach to Content-Based Color Image Retrieval with Chinese Captions
|
16843 |
89-1
|
期刊論文
|
施國琛
教授
|
An Efficient Approach to Holding a Virtual Conference
|
16842 |
87-1
|
期刊論文
|
施國琛
教授
|
Temporal Properties Underlying Multimedia Presentations with Z Notations
|
16841 |
89-1
|
期刊論文
|
施國琛
教授
|
The Distributed Multimedia Presentation System Based on Extended Timed Petri Nets
|
16840 |
90-2
|
期刊論文
|
施國琛
教授
|
Maintaining persistent look-and-feel for roaming user with mobile agent in distributed environment
|
16839 |
90-1
|
期刊論文
|
施國琛
教授
|
A well-evaluated cohesion metrics for software quality
|
16838 |
86-1
|
期刊論文
|
施國琛
教授
|
Using Z to specify object-oriented software complexity measures
|
16837 |
86-1
|
期刊論文
|
施國琛
教授
|
Case studies in intelligent multimedia presentation design systems in terms of the standard reference model: the IMMPS project, the PreGen system, and the StrMP system
|
16836 |
90-1
|
期刊論文
|
施國琛
教授
|
An integrated framework for recommendation systems in e-commerce
|
16835 |
82-2
|
期刊論文
|
王慶林
副教授
|
Using procedural parameters and continuations in combinatorial searches
|
16834 |
81-1
|
期刊論文
|
劉虎城
副教授
|
International journal of information management & engineering
|
16833 |
81-1
|
期刊論文
|
劉虎城
副教授
|
Two Efficient Global-Perspective Boundary Extracting Methods for Bilevel Images
|