第 1 到 24 筆結果,共 24 筆。
公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 | |
---|---|---|---|---|---|---|---|
1 | 2021 | 資訊管理理論 (二版) | 梁定澎; 陳灯能; 彭志宏 | ||||
2 | 2015 | Effective healthcare advertising using latent dirichlet allocation and inference engine | Li, Y.-C.; CHIEN CHIN CHEN | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
3 | 2013 | GOAL for games, omega-automata, and logics | Tsai, M.-H.; YIH-KUEN TSAY ; Hwang, Y.-S. | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
4 | 2013 | A topic person multi-polarization method using friendship network analysis | Chen, Z.-Y.; CHIEN CHIN CHEN | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
5 | 2013 | A composite kernel approach for detecting interactive segments in Chinese topic documents | Chang, Y.-C.; CHIEN CHIN CHEN ; Hsu, W.-L. | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
6 | 2013 | A novel social event recommendation method based on social and collaborative friendships | Sun, Y.-C.; CHIEN CHIN CHEN | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
7 | 2012 | FISER: An effective method for detecting interactions between topic persons | Chang, Y.-C.; CHIEN CHIN CHEN | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
8 | 2011 | Büchi store: An open repository of Büchi automata | YIH-KUEN TSAY ; Tsai, M.-H.; Chang, J.-S.; Chang, Y.-W. | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
9 | 2011 | A model-based em method for topic person name multi-polarization | CHIEN CHIN CHEN ; Chen, Z.-Y.; Salem, Mohamed; Vall Mohamed; Shaalan, Khaled; Oroumchian, Farhad; Shakery, Azadeh; Khelalfa, Halim | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
10 | 2010 | An Efficient Circuit-Switched Broadcasting in Star Graph | Lee, Cheng-Ta; Lin, Yeong-Sung | ||||
11 | 2010 | Near Optimal Secret Sharing for Information Leakage Maximization | Lin, Yeong-Sung | ||||
12 | 2010 | Automated assume-guarantee reasoning through implicit learning | Chen, Y.-F.; Clarke, E.M.; Farzan, A.; Tsai, M.-H.; YIH-KUEN TSAY ; Wang, B.-Y. | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
13 | 2010 | Comparing learning algorithms in automated assume-guarantee reasoning | Chen, Y.-F.; Clarke, E.M.; Farzan, A.; He, F.; Tsai, M.-H.; YIH-KUEN TSAY ; Wang, B.-Y.; Zhu, L. | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
14 | 2009 | Video-based motion capturing for skeleton-based 3D models | Shih, L.-Y.; Chen, B.-Y.; Wu, J.-L.; Wada, Toshikazu; Huang, Fay; Lin, Stephen; JA-LING WU ; BING-YU CHEN | Lecture Notes in Computer Science | 4 | 0 | |
15 | 2009 | Learning minimal separating DFA's for compositional verification | Chen, Y.-F.; Farzan, A.; Clarke, E.M.; YIH-KUEN TSAY ; Wang, B.-Y. | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
16 | 2009 | Using an information quality framework to evaluate the quality of product reviews | Tseng, Y.-D.; CHIEN CHIN CHEN ; Lee, Gary Geunbae; Song, Dawei; Lin, Chin-Yew; Aizawa, Akiko; Kuriyama, Kazuko; Yoshioka, Masaharu; Sakai, Tetsuya | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
17 | 2008 | Automated compositional reasoning of intuitionistically closed regular properties | YIH-KUEN TSAY ; Wang, B.-Y.; Ibarra, Oscar H.; Ravikumar, Bala | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
18 | 2008 | THOR: A tool for reasoning about shape and arithmetic - Tool paper | Magill, S.; Tsai, M.-H.; Lee, P.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
19 | 2007 | GOAL: A graphical tool for manipulating Büchi automata and temporal formulae | YIH-KUEN TSAY ; Chen, Y.-F.; Tsai, M.-H.; Wu, K.-N.; Chan, W.-C. | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
20 | 2005 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface | Peled, D.A.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
21 | 2003 | Composing temporal-logic specifications with machine assistance | Teng, J.-W.; YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
22 | 2000 | Compositional verification in linear-time temporal logic | YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
23 | 1998 | Deriving a scalable algorithm for mutual exclusion | YIH-KUEN TSAY | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |||
24 | 1994 | Estimating packet (L3_PDU) loss probabilities from cell (L2_PDU) loss probabilities for networks supporting the SMDS service | YEONG-SUNG LIN ; Lu, Jonathan C. | IFIP Transactions C: Communication Systems |