|
"yen hsu chun"的相關文件
顯示項目 1-25 / 119 (共5頁)
1 2 3 4 5 > >>
每頁顯示[10|25|50]項目
| 臺大學術典藏 |
2020-06-16T06:40:08Z |
On almost-sure properties of probabilistic discrete event systems.
|
Yen, Hsu-Chun; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:40:08Z |
Alignment-based surface patterns for factoid question answering systems
|
Sung, Cheng-Lung;Lee, Cheng-Wei;Yen, Hsu-Chun;Hsu, Wen-Lian; Sung, Cheng-Lung; Lee, Cheng-Wei; Yen, Hsu-Chun; Hsu, Wen-Lian; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:40:08Z |
Guest Editors' Foreword.
|
Rahman, Md. Saidur;Yen, Hsu-Chun;Poon, Sheung-Hung; Rahman, Md. Saidur; Yen, Hsu-Chun; Poon, Sheung-Hung; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:40:07Z |
Preface.
|
Yen, Hsu-Chun;Ibarra, Oscar H.; Yen, Hsu-Chun; Ibarra, Oscar H.; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:40:07Z |
Special Issue Algorithms and Computation Preface
|
Ibarra, Oscar H.;Yen, Hsu-Chun; Ibarra, Oscar H.; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:40:07Z |
Some Complexity Results for Rings of Petri Nets.
|
Yen, Hsu-Chun;Wang, Bow-Yaw;Yang, Ming-Sheng; Yen, Hsu-Chun; Wang, Bow-Yaw; Yang, Ming-Sheng; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:40:06Z |
Logspace Hierarchies, Polynomial Time and the Complexity of Fairness Problems Concerning Omega-Machines.
|
Rosier, Louis E.;Yen, Hsu-Chun; Rosier, Louis E.; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:40:02Z |
Special Issue on Selected Papers from the 11th International Conference and Workshops on Algorithms and Computation (WALCOM 2017) Preface
|
Yen, Hsu-Chun;Rahman, Md Saidur;Poon, Sheung-Hung; Yen, Hsu-Chun; Rahman, Md Saidur; Poon, Sheung-Hung; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:40:02Z |
On multiterminal single bend wirability.
|
Yen, Hsu-Chun; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:40:01Z |
A Multiparameter Analysis of the Boundedness Problem for Vector Addition Systems.
|
Rosier, Louis E.;Yen, Hsu-Chun; Rosier, Louis E.; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:40:01Z |
Some Complexity Bounds for Problems Concerning Finite and 2-Dimensional Vector Addition Systems with States.
|
Howell, Rodney R.;Rosier, Louis E.;Huynh, Dung T.;Yen, Hsu-Chun; Howell, Rodney R.; Rosier, Louis E.; Huynh, Dung T.; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:40:01Z |
On the Complexity of Deciding fair Termination of Probabilistic Concurrent Finite-State Programs.
|
Rosier, Louis E.;Yen, Hsu-Chun; Rosier, Louis E.; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:40:01Z |
Boundedness, Empty Channel Detection, and Synchronization for Communicating Finite Automata.
|
Rosier, Louis E.;Yen, Hsu-Chun; Rosier, Louis E.; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:40:01Z |
An O(n^(1.5)) Algorithm to Decide Boundedness for Conflict-Free Vector Replacement Systems.
|
Howell, Rodney R.;Rosier, Louis E.;Yen, Hsu-Chun; Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:40:01Z |
On Optimal Parallelization of Sorting Networks.
|
Gannett, Ethan;Kothari, Suresh C.;Yen, Hsu-Chun; Gannett, Ethan; Kothari, Suresh C.; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:40:00Z |
A multiparameter analysis of the boundedness problem for vector addition systems.
|
Rosier, Louis E.;Yen, Hsu-Chun; Rosier, Louis E.; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:40:00Z |
Boundedness, Empty Channel Detection and Synchronization for Communicating Finite State Machines.
|
Rosier, Louis E.;Yen, Hsu-Chun; Rosier, Louis E.; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:39:59Z |
Deciding Bisimulation and Trace Equivalences for Systems with Many Identical Processes.
|
Yen, Hsu-Chun;Jian, Shi-Tsuen;Lao, Ta-Pang; Yen, Hsu-Chun; Jian, Shi-Tsuen; Lao, Ta-Pang; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:39:59Z |
A Taxonomy of Fairness and Temporal Logic Problems for Petri Nets.
|
Howell, Rodney R.;Rosier, Louis E.;Yen, Hsu-Chun; Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:39:58Z |
Communicating Processes, Scheduling, and the Complexity of Nondeterminism.
|
Yen, Hsu-Chun; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:39:58Z |
Unfolding Some Classes of Orthogonal Polyhedra of Arbitrary Genus.
|
Ho, Kuan-Yi;Chang, Yi-Jun;Yen, Hsu-Chun; Ho, Kuan-Yi; Chang, Yi-Jun; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:39:57Z |
Characterizing the Valuedness of Two-Way Finite Transducers.
|
Yen, Di-De;Yen, Hsu-Chun; Yen, Di-De; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:39:57Z |
On Orthogonally Convex Drawings of Plane Graphs - (Extended Abstract).
|
Chang, Yi-Jun;Yen, Hsu-Chun; Chang, Yi-Jun; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:39:56Z |
Normal and Sinkless Petri Nets.
|
Howell, Rodney R.;Rosier, Louis E.;Yen, Hsu-Chun; Howell, Rodney R.; Rosier, Louis E.; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2020-06-16T06:39:56Z |
A Unified Approach for Reasoning about Conflict-Free Petri Nets.
|
Yen, Hsu-Chun;Wang, Bow-Yaw;Yang, Ming-Sheng; Yen, Hsu-Chun; Wang, Bow-Yaw; Yang, Ming-Sheng; HSU-CHUN YEN |
顯示項目 1-25 / 119 (共5頁)
1 2 3 4 5 > >>
每頁顯示[10|25|50]項目
|
