| 臺大學術典藏 |
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:57Z |
Petri nets and semilinear sets
|
Yen, H.-C.; Yen, H.-C.; 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 |
| 臺大學術典藏 |
2020-06-16T06:39:54Z |
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:39:54Z |
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:39:54Z |
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:39:53Z |
Positional language modeling for extractive broadcast news speech summarization
|
Liu, S.-H.;Chen, K.-Y.;Chen, B.;Wang, H.-M.;Yen, H.-C.;Hsu, W.-L.; Liu, S.-H.; Chen, K.-Y.; Chen, B.; Wang, H.-M.; Yen, H.-C.; Hsu, W.-L.; HSU-CHUN YEN |
| 臺大學術典藏 |
2019-10-31T08:10:14Z |
Unfolding Some Classes of Orthogonal Polyhedra of Arbitrary Genus
|
HSU-CHUN YEN;H. Yen;Y. Chang;K. Ho; K. Ho; Y. Chang; H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T15:36:25Z |
V2V QoS Guaranteed Channel Access in IEEE 802.11p VANETs
|
C. Chang; H. Yen; D. Deng; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T15:26:00Z |
QoS/QoE Support for H.264/AVC Video Stream in IEEE 802.11ac WLANs
|
C. Chang;H. Yen;C. Lin;D. Deng; C. Chang; H. Yen; C. Lin; D. Deng; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T15:26:00Z |
Constrained floorplans in 2D and 3D
|
Y. Chang;H. Yen; Y. Chang; H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T15:26:00Z |
A Pragmatic VBR Stream Scheduling Policy for IEEE 802.11e HCCA Access Method
|
C. Chang;H. Yen;A. Benslimane;D. Deng; C. Chang; H. Yen; A. Benslimane; D. Deng; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T15:26:00Z |
Designing and Annotating Metro Maps with Circular Routes
|
H. Wu;S. Poon;S. Takahashi;M. Arikawa;C. Lin;H. Yen; H. Wu; S. Poon; S. Takahashi; M. Arikawa; C. Lin; H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T15:26:00Z |
A New Approach for Contact Graph Representations and Its Applications
|
Y. Chang;H. Yen; Y. Chang; H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T15:00:20Z |
Optimized Topological Surgery for Unfolding 3D Meshes
|
H. Yen; HSU-CHUN YEN; C. Lin; H. Wu; S. Saw; S. Takahashi; S. Takahashi;H. Wu;S. Saw;C. Lin;H. Yen |
| 臺大學術典藏 |
2018-09-10T15:00:20Z |
Rectilinear Duals Using Monotone Staircase Polygons
|
Y. Chang;H. Yen; Y. Chang; H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T09:50:27Z |
Spatially Efficient Design of Annotated Metro Maps
|
H. Wu;S. Takahashi;D. Hirono;M. Arikawa;C. Lin;H. Yen; H. Wu; S. Takahashi; D. Hirono; M. Arikawa; C. Lin; H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T09:50:27Z |
Voronoi-Based Label Placement for Metro Maps
|
H. Wu;S. Takahashi;D. Hirono;M. Arikawa;C. Lin;H. Yen; H. Wu; S. Takahashi; D. Hirono; M. Arikawa; C. Lin; H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T09:50:27Z |
Spatially Efficient Design of Annotated Metro Maps
|
H. Wu;S. Takahashi;D. Hirono;M. Arikawa;C. Lin,;H. Yen; H. Wu; S. Takahashi; D. Hirono; M. Arikawa; C. Lin,; H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T09:50:27Z |
On Orthogonally Convex Drawings of Plane Graphs
|
HSU-CHUN YEN; H. Yen; Y. Chang; Y. Chang;H. Yen |
| 臺大學術典藏 |
2018-09-10T09:24:52Z |
On the Containment and Equivalence Problems for Two-way Transducers
|
O. Ibarra;H. Yen; O. Ibarra; H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T09:24:52Z |
A New Force-directed Graph Drawing Method Based on Edge-edge Repulsion
|
C. Lin;H. Yen; C. Lin; H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T09:24:52Z |
Travel-Route-Centered Metro Map Layout and Annotation
|
H. Wu;S. Takahashi;C. Lin;H. Yen; H. Wu; S. Takahashi; C. Lin; H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T09:24:52Z |
Travel-Route-Centered Metro Map Layout and Annotation
|
H. Wu; S. Takahashi; C. Lin; H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T08:46:22Z |
Catalytic P systems
|
R. Freund;O.H. Ibarra;A. P;un;P. Sos;k;H.-C. Yen; R. Freund; O.H. Ibarra; A. P; un; P. Sos; k; H.-C. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T08:46:21Z |
On Almost-Sure Properties of Probabilistic Discrete Event Systems
|
H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T08:46:21Z |
Mental Map Preserving Graph Drawing Using Simulated Annealing
|
C. Lin; Y. Lee; H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T08:46:21Z |
On Two-Way Transducers
|
O. Ibarra; H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T08:46:21Z |
A Zone-Based Approach for Placing Annotation Labels on Metro Maps
|
H. Wu; S. Takahashi; C. Lin; H. Yen:; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T08:46:21Z |
One-and-a-Half-Side Boundary Labeling
|
C. Lin; S. Poon; S. Takahashi; H. Wu; H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T08:18:10Z |
Reachability Analysis of Augmented Marked Graphs via Integer Linear Programming
|
C. Chen;S. Chin;H. Yen; C. Chen; S. Chin; H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T08:18:10Z |
On Decision Problems for Parameterized Machines
|
O. Ibarra;I. Potapov;H. Yen; O. Ibarra; I. Potapov; H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T07:41:48Z |
Contrast Enhancement on Color Images Using Iterative Histogram Rearrangement
|
P. Lin;C. Shen;C. Lin;H. Yen; P. Lin; C. Shen; C. Lin; H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T07:41:48Z |
Boundary Labeling in Text Annotation
|
C. Lin;H. Wu;H. Yen; C. Lin; H. Wu; H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T07:41:47Z |
On Minimal Elements of Upward-closed Sets
|
H. Yen;C. Chen; H. Yen; C. Chen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T07:41:47Z |
Drawing Graphs with Nonuniform Nodes Using Potential Fields
|
C. Lin;H. Yen;J. Chuang; C. Lin; H. Yen; J. Chuang; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T07:41:47Z |
Path Decomposition and Semilinearity of Petri Nets
|
H. Yen; H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T07:41:47Z |
Tri-Histogram Equalization Based on First Order Statistics
|
P. Lin;C. Lin;H. Yen; P. Lin; C. Lin; H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T07:08:25Z |
Image Enhancement Using Piecewise Transfer Functions with Segmentations
|
C. Shen;P. Lin;C. Lin;H. Yen; C. Shen; P. Lin; C. Lin; H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T07:08:25Z |
A Template Alignment Algorithm for Question Classification
|
C. Sung; M. Day; H. Yen; W. Hsu; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T07:08:25Z |
Concurrency, Synchronization, and Conflicts in Petri Nets
|
H. Yen; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T07:08:24Z |
Location-Aware Routing Protocol with Dynamic Adaptation of Request Zone for Mobile Ad Hoc Networks
|
Shih, Tzay-Farn; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T07:08:24Z |
Many-to-One Boundary Labeling
|
Lin, Chun-Cheng;Kao, Hao-Jen;Yen, Hsu-Chun; Lin, Chun-Cheng; Kao, Hao-Jen; Yen, Hsu-Chun; HSU-CHUN YEN |
| 臺大學術典藏 |
2018-09-10T06:35:05Z |
Decidability and Complexity Analysis of Forbidden State Problems for Discrete Event Systems
|
H. Yen; HSU-CHUN YEN |
