Department of Computer Science and Information Engineering

Filter
Conference contribution

Search results

  • 2000

    A Cohesion Metrics for Assessing Software Quality

    Shih, T. K., Lee, M. C., Huang, T. S. & Chen, Y. H., 2000, Proceedings of the Fifth Joint Conference on Information Sciences, JCIS 2000, Volume 1. Wang, P. P. & Wang, P. P. (eds.). 1 ed. p. 619-622 4 p. (Proceedings of the Joint Conference on Information Sciences; vol. 5, no. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A color-triangle-based approach to the detection of human face

    Lin, C. & Fan, K. C., 2000, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Poggio, T., Lee, S.-W. & Bulthoff, H. H. (eds.). Springer Verlag, p. 359-368 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1811).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • A constant queue partial permutation routing algorithm for cube-connected-cycles multicomputer systems

    Jan, G. E., Lin, M. B., Chao, A. & Liang, D., 2000, Proceedings - 7th International Conference on Parallel and Distributed Systems: Workshops. Shibata, Y. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 35-40 6 p. 884512. (Proceedings - 7th International Conference on Parallel and Distributed Systems: Workshops).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A K-means Algorithm with a Novel Non-Metric Distance

    Su, M. C. & Chou, C. H., 2000, Proceedings of the Fifth Joint Conference on Information Sciences, JCIS 2000, Volume 1. Wang, P. P. & Wang, P. P. (eds.). 1 ed. p. 417-420 4 p. (Proceedings of the Joint Conference on Information Sciences; vol. 5, no. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • An efficient color-spatial indexing and retrieval scheme for image database

    Shih, T. K., Wang, C. S., Chang, A. Y., Kao, C. H. & Tyan, H. R., 2000, Proceedings - 7th International Conference on Parallel and Distributed Systems: Workshops. Shibata, Y. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 117-122 6 p. 884524. (Proceedings - 7th International Conference on Parallel and Distributed Systems: Workshops).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • An Efficient Indexing and Retrieval Scheme of the Color Image Database Based on Color and Shape

    Lin, H. J., Shih, T. K., Wang, C. S., Kao, C. H., Chen, Y. H. & Lin, N. H., 2000, Proceedings of the Fifth Joint Conference on Information Sciences, JCIS 2000, Volume 2. Wang, P. P. & Wang, P. P. (eds.). 2 ed. p. 693-696 4 p. (Proceedings of the Joint Conference on Information Sciences; vol. 5, no. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A Neural-Network-based Method for the Recognition of Node Heads from Printed Music Scores

    Su, M. C., Chiang, J. S. & Chen, H. H., 2000, Proceedings of the Fifth Joint Conference on Information Sciences, JCIS 2000, Volume 1. Wang, P. P. & Wang, P. P. (eds.). 1 ed. p. 575-578 4 p. (Proceedings of the Joint Conference on Information Sciences; vol. 5, no. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A principled approach for formative Web learning assessment and adaptive tutoring

    Shih, T. K., Chang, S. K., Ma, J. & Huang, R., 2000, Workshops. Zhou, X., Zhang, Y., Jia, X., Kambayashi, Y. & Fong, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 196-203 8 p. 882880. (Proceedings of the 1st International Conference on Web Information Systems Engineering, WISE 2000; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • A SOM-based fuzzy system and its application in handwritten digit recognition

    Su, M. C., Lai, E. & Tew, C. Y., 2000, Proceedings - International Symposium on Multimedia Software Engineering. Institute of Electrical and Electronics Engineers Inc., p. 253-258 6 p. 897219. (Proceedings - International Symposium on Multimedia Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    8 Scopus citations

  • Chip design of mel frequency cepstral coefficients for speech recognition

    Wang, J. C., Wang, J. F. & Weng, Y. S., 2000, Design and Implementation of Signal Processing SystemNeural Networks for Signal Processing Signal Processing EducationOther Emerging Applications of Signal ProcessingSpecial Sessions. Institute of Electrical and Electronics Engineers Inc., p. 3658-3661 4 p. 860195. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 6).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    9 Scopus citations

  • Content-based Image Retrieval with Intensive Signature in Shape Matching

    Keh, H. C., Shih, T. K., Deng, L. Y. & Chen, Y. H., 2000, Proceedings of the Fifth Joint Conference on Information Sciences, JCIS 2000, Volume 2. Wang, P. P. & Wang, P. P. (eds.). 2 ed. p. 689-692 4 p. (Proceedings of the Joint Conference on Information Sciences; vol. 5, no. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Content-based image retrieval with intensive signature via affine invariant transformation

    Shih, T. K., Deng, L. Y., Wang, C. S. & Yeh, S. E., 2000, Proceedings - International Symposium on Multimedia Software Engineering. Institute of Electrical and Electronics Engineers Inc., p. 393-400 8 p. 897241. (Proceedings - International Symposium on Multimedia Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Database support of Web course development with design patterns

    Shih, T. K., Chang, S. K. & Arndt, T., 2000, Workshops. Zhou, X., Zhang, Y., Jia, X., Kambayashi, Y. & Fong, J. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 212-217 6 p. 882882. (Proceedings of the 1st International Conference on Web Information Systems Engineering, WISE 2000; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • GPS-based message broadcasting for inter-vehicle communication

    Sun, M. T., Feng, W. C., Lai, T. H., Yamada, K., Okada, H. & Fujimura, K., 2000, Proceedings - 2000 International Conference on Parallel Processing, ICPP 2000. Lilja, D. J. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 279-286 8 p. 876143. (Proceedings of the International Conference on Parallel Processing; vol. 2000-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    144 Scopus citations

  • Indexing semistructured data using PATRICIA tree

    Wu, L. C., Horng, J. T., Liu, B. J., Wang, C. Y. & Chen, G. D., 2000, Database and Expert Systems Applications - 11th International Conference, DEXA 2000, Proceedings. Ibrahim, M., Kung, J. & Revell, N. (eds.). Springer Verlag, p. 859-868 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1873).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Infrastructure for future network learning

    Chan, T. W., 2000, Intelligent Tutoring Systems - 5th International Conference, ITS 2000, Proceedings. Gauthier, G., Frasson, C. & VanLehn, K. (eds.). Springer Verlag, p. 8 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1839).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Proceedings of the Joint Conference on Information Science: Preface

    Shih, T. K. & Huang, C. M., 2000, Proceedings of the Fifth Joint Conference on Information Sciences, JCIS 2000, Volume 2. Wang, P. P. & Wang, P. P. (eds.). 2 ed. p. 446 1 p. (Proceedings of the Joint Conference on Information Sciences; vol. 5, no. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Reducing the location query cost based on behavior-based strategy

    Jin, M. H., Horng, J. T., Wu, H. K. & Liu, B. J., 2000, Database and Expert Systems Applications - 11th International Conference, DEXA 2000, Proceedings. Ibrahim, M., Kung, J. & Revell, N. (eds.). Springer Verlag, p. 397-406 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1873).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • The Application of Mobile Storage Techniques in Distance Learning - An Electronic Notebook

    Ma, J., Keh, H. C., Shih, T. K., Hung, J. C. & Wang, D. H., 2000, Proceedings of the Fifth Joint Conference on Information Sciences, JCIS 2000, Volume 2. Wang, P. P. & Wang, P. P. (eds.). 2 ed. p. 624-627 4 p. (Proceedings of the Joint Conference on Information Sciences; vol. 5, no. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • The Development and Validation of Multimedia Virtual Course DBMS and Software Architecture

    Chung, C. M., Shih, T. K., Chiu, C. F. & Hung, J. C., 2000, Proceedings of the Fifth Joint Conference on Information Sciences, JCIS 2000, Volume 2. Wang, P. P. & Wang, P. P. (eds.). 2 ed. p. 647-650 4 p. (Proceedings of the Joint Conference on Information Sciences; vol. 5, no. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • The specification and implementation of a virtual university software system

    Shih, T. K., Chang, A. Y., Chen, Y. H., Ma, J. & Huang, R., 2000, Proceedings - 7th International Conference on Parallel and Distributed Systems: Workshops. Shibata, Y. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 385-392 8 p. 857721. (Proceedings - 7th International Conference on Parallel and Distributed Systems: Workshops).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 1999

    A hierarchical routing protocol for large scale ad hoc network

    Jin, M. H., Wu, H. K. & Horng, J. T., 1999, 1999 IEEE International Performance, Computing and Communications Conference, IPCCC 1999. Institute of Electrical and Electronics Engineers Inc., p. 379-385 7 p. 749462. (1999 IEEE International Performance, Computing and Communications Conference, IPCCC 1999).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Connection admission control for QoS guarantees in mobile networks

    Tseng, Y. E., Wu, H. K. & Hsieh, M. I., 1999, Proceedings - 8th International Conference on Computer Communications and Networks, ICCCN 1999. Somani, A., Park, E. & Dixit, S. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 542-547 6 p. 805571. (Proceedings - 8th International Conference on Computer Communications and Networks, ICCCN 1999).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Dynamic QoS allocation for multimedia ad hoc wireless networks

    Chuang, P. H., Wu, H. K. & Liao, M. K., 1999, Proceedings - 8th International Conference on Computer Communications and Networks, ICCCN 1999. Somani, A., Park, E. & Dixit, S. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 480-485 6 p. 805562. (Proceedings - 8th International Conference on Computer Communications and Networks, ICCCN 1999).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    9 Scopus citations

  • Intelligent routing for global broadband satellite internet

    Chang, C. H., Wu, H. K., Jin, M. H. & Tseng, Y. O., 1999, High-Performance Computing and Networking - 7th International Conference, HPCN Europe 1999, Proceedings. Sloot, P., Hoekstra, A., Hertzberger, B. & Bubak, M. (eds.). Springer Verlag, p. 80-89 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1593).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Scopus citations

  • Lexbfs-ordering in asteroidal triple-free graphs

    Chang, J. M., Ho, C. W. & Ko, M. T., 1999, Algorithms and Computation - 10th International Symposium, ISAAC 1999, Proceedings. Rangan, C. P. & Aggarwal, A. (eds.). Springer Verlag, p. 163-172 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1741).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    12 Scopus citations

  • Performance analysis of broadcast in synchronized multihop wireless networks

    Pan, K. H., Wu, H. K., Shang, R. J. & Lai, F., 1999, High-Performance Computing and Networking - 7th International Conference, HPCN Europe 1999, Proceedings. Sloot, P., Hoekstra, A., Hertzberger, B. & Bubak, M. (eds.). Springer Verlag, p. 493-502 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1593).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Quality of service support for broadband satellite multimedia service

    Chang, C. H., Wu, H. K. & Tseng, Y. O., 1999, 1999 IEEE Wireless Communications and Networking Conference, WCNC. Institute of Electrical and Electronics Engineers Inc., p. 187-191 5 p. 797812. (IEEE Wireless Communications and Networking Conference, WCNC; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • Self-organizing neural networks for data projection

    Su, M. C. & Chang, H. T., 1999, Internet Applications - 5th International Computer Science Conference ICSC 1999, Proceedings. Hui, L.C.-K. & Lee, D. L. (eds.). Springer Verlag, p. 206-215 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1749).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • The design and implementation of a distributed Web document database

    Shih, T. K., Ma, J. & Huang, R., 1999, Proceedings - 1999 lnternational Workshops on Parallel Processing, ICPP 1999. Institute of Electrical and Electronics Engineers Inc., p. 562-567 6 p. 800116. (Proceedings of the International Conference on Parallel Processing; vol. 1999-September).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • The design and implementation of modularized wrappers/monitors in a data warehouse

    Horng, J. T., Lu, J., Liu, B. J. & Yang, R. D., 1999, Data Warehousing and Knowledge Discovery - 1st International Conference, DaWaK 1999, Proceedings. Tjoa, A. M. & Mohania, M. (eds.). Springer Verlag, p. 23-32 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1676).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Winckp: a transparent checkpointing and rollback recovery tool for Windows NT applications

    Emerald Chung, P., Liang, D., Lee, W. J., Huang, Y. & Wang, C. Y., 1999, Proceedings - Annual International Conference on Fault-Tolerant Computing. IEEE, p. 220-223 4 p. (Proceedings - Annual International Conference on Fault-Tolerant Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    10 Scopus citations
  • 1998

    A browser-based switch management system for distance learning over ATM networks

    Chou, L. D., Tseng, L. M., Fan, Y. C., Chen, C. H., Kang, M. C., Chen, U. H., Chen, T. P. & Chen, H. C., 1998, Proceedings - 12th International Conference on Information Networking, ICOIN 1998. Institute of Electrical and Electronics Engineers Inc., p. 665-668 4 p. (Proceedings - 12th International Conference on Information Networking, ICOIN 1998).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A CASE approach to visual presentation designs

    Shih, T. K., Lin, H. J., Hung, J. C., Jiang, D. R., Wang, C. C. & Pai, W. C., 1998, Proceedings - 12th International Conference on Information Networking, ICOIN 1998. Institute of Electrical and Electronics Engineers Inc., p. 714-717 4 p. (Proceedings - 12th International Conference on Information Networking, ICOIN 1998).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A linear-time algorithm for constructing an optimal node-search strategy of a tree

    Peng, S. L., Ho, C. W., Hsu, T. S., Ko, M. T. & Tang, C. Y., 1998, Computing and Combinatorics - 4th Annual International Conference COCOON 1998, Proceedings. Hsu, W.-L. & Kao, M.-Y. (eds.). Springer Verlag, p. 279-289 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1449).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    9 Scopus citations

  • A new evolutionary approach to developing neural autonomous agents

    Yang, J. M., Horng, J. T. & Kao, C. Y., 1998, Proceedings - 1998 IEEE International Conference on Robotics and Automation, ICRA 1998. Institute of Electrical and Electronics Engineers Inc., p. 1411-1416 6 p. 677302. (Proceedings - IEEE International Conference on Robotics and Automation; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    3 Scopus citations

  • A new simple parallel tree contraction scheme and its application on distance-hereditary graphs

    Hsieh, S. Y., Ho, C. W., Hsu, T. S., Ko, M. T. & Chen, G. H., 1998, Solving Irregularly Structured Problems in Parallel - 5th International Symposium, IRREGULAR 1998, Proceedings. Springer Verlag, p. 298-309 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1457 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • An Object-Oriented Application Framework for Distributed Multimedia

    Wang, Y. H., Chung, C. M., Shih, T. K., Keh, H. C. & Lin, H. Z., 1998, 13th International Conference on Computers and Their Applications 1998, CATA 1998. Debnath, N. C. (ed.). The International Society for Computers and Their Applications (ISCA), p. 258-261 4 p. (13th International Conference on Computers and Their Applications 1998, CATA 1998).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • An optimal parallel algorithm for the perfect dominating set problem on distance-hereditary graphs

    Hsieh, S. Y., Chen, G. H. & Ho, C. W., 1998, Advances in Computing Science ASIAN 1998 - 4th Asian Computing Science Conference, Proceedings. Hsiang, J. & Ohori, A. (eds.). Springer Verlag, p. 113-124 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1538).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Asynchronous multimedia presentation design machine

    Shih, T. K., Wang, Y. H., Jiang, D. R., Hung, J. C., Wang, C. C. & Pai, W. C., 1998, Proceedings - 12th International Conference on Information Networking, ICOIN 1998. Institute of Electrical and Electronics Engineers Inc., p. 718-721 4 p. (Proceedings - 12th International Conference on Information Networking, ICOIN 1998).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Asynchronous Multimedia Processing Using Timed Petri Nets

    Shih, T. K., Jiang, D. R., Hung, J. C., Pai, W. C. & Wang, C. C., 1998, 13th International Conference on Computers and Their Applications 1998, CATA 1998. Debnath, N. C. (ed.). The International Society for Computers and Their Applications (ISCA), p. 314-317 4 p. (13th International Conference on Computers and Their Applications 1998, CATA 1998).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Characterization of efficiently solvable problems on distance-hereditary graphs

    Hsieh, S. Y., Ho, C. W., Hsu, T. S., Ko, M. T. & Chen, G. H., 1998, Algorithms and Computation - 9th International Symposium, ISAAC'98, Proceedings. Springer Verlag, p. 257-266 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1533 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Constructing personalized information agents

    Chang, C. H. & Hsu, C. C., 1998, Research and Development in Knowledge Discovery and Data Mining - 2nd Pacific-Asia Conference, PAKDD 1998, Proceedings. Wu, X., Kotagiri, R. & Korb, K. B. (eds.). Springer Verlag, p. 374-375 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1394).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Embed longest rings onto star graphs with vertex faults

    Hsieh, S. Y., Chen, G. H. & Ho, C. W., 1998, Proceedings - 1998 International Conference on Parallel Processing, ICPP 1998. Lai, T. H. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 140-147 8 p. (Proceedings of the International Conference on Parallel Processing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    16 Scopus citations

  • Evaluating speech quality in large wireless networks: A case for hybrid simulation

    Wu, H. K., Hung, C. H., Gerla, M. & Bagrodia, R., 1998, ICC 1998 - 1998 IEEE International Conference on Communications: New Century Communications, Conference Record; Affiliated with SUPERCOMM 1998. p. 498-502 5 p. 682909. (International Conference on Communications - Proceedings; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Maintaining execution histories for understanding the execution of business processes

    Chen, G. D., Liu, C. C. & Horng, J. T., 1998, Proceedings - 22nd Annual International Computer Software and Applications Conference, Compsac 1998. IEEE Computer Society, p. 528-533 6 p. (Proceedings - International Computer Software and Applications Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Rule base verification using Petri nets

    Yang, S. J. H., Lee, A. S., Chu, W. C. & Yang, H., 1998, Proceedings - 22nd Annual International Computer Software and Applications Conference, Compsac 1998. IEEE Computer Society, p. 476-481 6 p. (Proceedings - International Computer Software and Applications Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Specifying and verifying temporal behavior of high assurance systems using reachability tree logic

    Yang, S. J. H., Chu, W., Lin, S. & Lee, J., 1998, Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998. Institute of Electrical and Electronics Engineers Inc., p. 150-156 7 p. 731607. (Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998; vol. 1998-November).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • The algebra of spatio-temporal intervals

    Shih, T. K. & Chang, A. Y., 1998, Proceedings - 12th International Conference on Information Networking, ICOIN 1998. Institute of Electrical and Electronics Engineers Inc., p. 116-121 6 p. (Proceedings - 12th International Conference on Information Networking, ICOIN 1998).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Scopus citations

  • Using Temporal Reasoning Approach to Solve the Resource Schedule Conflicts of Multimedia Presentation

    Shih, T. K., Wang, Y. H. & Lo, S. K. C., 1998, 13th International Conference on Computers and Their Applications 1998, CATA 1998. Debnath, N. C. (ed.). The International Society for Computers and Their Applications (ISCA), p. 250-253 4 p. (13th International Conference on Computers and Their Applications 1998, CATA 1998).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review