臺灣學術機構典藏系統 (Taiwan Academic Institutional Repository, TAIR)

About TAIR
	About TAIR

Browse By
	Institution
	Author
	Title
	Date
	Statistics Chart
	Institution Facts
	Trend

News
	2019臺灣學術機構典藏研討會
	機構典藏系統RC7版本已發佈

Copyright
	Publisher & Journal Policy
	TAIR Copyright Conference Minutes

Related Links
	機構典藏計畫網站
	ROAR
	OpenDOAR
	SHERPA
	OAIster
	JAIRO
	Ira
	DSPACE
	RWWR
	臺大學術典藏NTU Scholars

"s j lee"

Return to Browse by Author
Sorting by Title	Sort by Date

Showing items 81-126 of 126 (3 Page(s) Totally)
<< < 1 2 3 > >>
View [10|25|50] records per page

Institution	Date	Title	Author
國立中山大學	1996-10	An Improvement to Hous Approach of Deriving Minimal Conflict Sets	B. Han;S.J. Lee
國立中山大學	1996-10	Morphological Decomposition of Arbitrarily Shaped Images	H.T. Yang;S.J. Lee
國立中山大學	1996-10	EXPIDER: An Object-Based Expert System for VLSI Channel Routing	D.L. Shen;C.H. Wu;S.J. Lee
國立中山大學	1996-09	Optimal Decomposition of Morphological Structuring Elements	H.T. Yang;S.J. Lee
國立中山大學	1996-06	On Parallelism of Hyper-Linking Theorem Proving: A Preliminary Report	C.H. Wu;S.J. Lee
國立中山大學	1995-12	An Improved Neural Algorithm for Automatic Test Pattern Generation	H.L. Tsai;S.J. Lee
國立中山大學	1995-12	Run-Length Based Chinese Character Stroke Extraction	J.W. Lin;S.J. Lee
國立中山大學	1995-10	An Efficient Implementation of the Davis-Putnam Procedure Using Network Structures	H.T. Yang;C.H. Wu;S.J. Lee
國立中山大學	1995-10	An Entropy-Based Evaluation Function for Conceptual Clustering	C.H. Wu;C.J. Yu;S.J. Lee
國立中山大學	1995-09	A Study on Parallelism of a Hyper-Linking Based Theorem Prover	C.H. Wu;S.J. Lee
國立中山大學	1995-06	A Hybrid Diagnosis System for Digital Circuits	B. Han;H.T. Yang;S.J. Lee
國立中山大學	1995-06	A Refined FR Reservation Scheme for CRMA Networks	C.J. Chang;S.J. Lee
國立中山大學	1995-05	An Improved Path Sensitization Method in Test Pattern Generation for Combinational Circuits	C.W. Chang;S.J. Lee
國立中山大學	1995-02	Knowledge Validation with an Enhanced High-level Petri Net Model	C.H. Wu;S.J. Lee
國立中山大學	1994-12	A Fuzzy Feature Recognition Neural Networks for Character Recognition	S.L. Tsai;S.J. Lee
國立中山大學	1994-12	A Modified Fasnet Protocol	C.J. Chang;S.J. Lee
國立中山大學	1994-12	Construction of Multi-Class Neural Networks with Entropy Measure Approach	M.T. Jone;S.J. Lee
國立中山大學	1994-05	A Refined Unsupervised Classifier	S.J. Lee;C.J. Yu
國立中山大學	1994-05	A Neural Network Architecture for Supervised Learning using High-Order Net Functions	S.J. Lee;M.T. Jone
國立中山大學	1994-03	Dependency Analysis for Knowledge Validation in Rule-Based Expert Systems	C.H. Wu;S.J. Lee;H.S. Chou
國立中山大學	1993-12	Integrating Knowledge Validation into the Rete Rule Network for Rule-based Expert Systems	C.H. Wu;H.S. Chou;S.J. Lee;C.J. Yu
國立中山大學	1993-12	Initializing Neural Networks in Concept Learning	S.J. Lee;M.T. Jone
國立中山大學	1993-11	The Design and Implementation of a Rule-Based Expert System Language	C.H. Wu;S.J. Lee;H.S. Chou;C.J. Yu
國立中山大學	1993-07	A Model-Based Troubleshooter for Diagnosing Multiple Faults in Digital Systems	C.H. Wu;S.J. Lee;C.J. Yu;H.S. Chou
國立中山大學	1993-06	Building an Expert System Language Interpreter with the Rule Network Technique	C.H. Wu;S.J. Lee
國立中山大學	1993-05	An Object-Oriented Expert System for Local Area Network Design	C.H. Wu;S.J. Lee
國立中山大學	1993-05	Improving Efficiency of a Theorem Prover by Eliminating Redundant Unifications Using Network Structures	S.J. Lee;C.H. Wu
國立中山大學	1992-12	A Relevance-Based Model for Automated Reasoning	S.J. Lee
國立中山大學	1992-12	An Inference Engine for Non-Horn Deductive Database Systems	S.J. Lee
國立中山大學	1992-11	Application of Expert System Techniques to Computer Network Design	S.J. Lee;C.H. Wu
國立中山大學	1992-07	Conditional Term Rewriting and First-Order Theorem Proving	D. Plaisted;G. Alexander;H. Chu;S.J. Lee
國立中山大學	1992-07	Checking Adequacy and Correctness of the Axioms in a Non-Horn Deductive Database	S.J. Lee
國立中山大學	1992-07	LCD: A System for Diagnosing Digital Hardware Designs	S.J. Lee;W.J. Lin
國立中山大學	1992-07	Controlling Storage Consumption in Mechanical Theorem Proving	S.J. Lee;C.H. Wu
國立中山大學	1992-05	Making a Theorem Prover Easier to Use	S.J. Lee
國立中山大學	1992-05	Improving Efficiency on Mechanical Theorem Proving	S.J. Lee
國立中山大學	1992-05	A Refinement to Breadth-First Search in Automated Reasoning	S.J. Lee
國立中山大學	1992-05	Circuit Verification Using a Theorem Prover	S.J. Lee;W.J. Lin
國立中山大學	1992-05	Dynamic Addition/Deletion of Rules in Expert Systems	C.H. Wu;S.J. Lee
國立中山大學	1992-05	A Self-Guided Theorem Proving System	S.J. Lee
國立中山大學	1992-05	Use Unit Clauses and Clause Splitting in Axiomatic Deduction	S.J. Lee;D. Plaisted
國立中山大學	1991-12	Class Scheduling Using Rule-based Techniques	C.H. Wu;S.J. Lee
國立中山大學	1991-12	Searching for Small Proofs in Automatic Theorem Proving	S.J. Lee;D. Plaisted
國立中山大學	1990-10	Reasoning with Predicate Replacement	S.J. Lee;D. Plaisted
國立中山大學	1990-05	New Applications of a Fast Propositional Calculus Decision Procedure	S.J. Lee;D. Plaisted
國立中山大學	1989-10	Theorem Proving Using Hyper-Matching Strategy	S.J. Lee;D. Plaisted

Showing items 81-126 of 126 (3 Page(s) Totally)
<< < 1 2 3 > >>
View [10|25|50] records per page

	English \| 正體中文 \| 简体中文 \| Total items :0
	Visitors : 50703735 Online Users : 352 Project Commissioned by the Ministry of Education Project Executed by National Taiwan University Library