Publication
(All)



Results 1-20 of 49 (Search time: 0.009 seconds).

Issue DateTitleAuthor(s)SourcescopusWOSFulltext/Archive link
12013A composite kernel approach for detecting interactive segments in Chinese topic documentsChang, Y.-C.; Chen, C.C.; Hsu, W.-L.; CHIEN CHIN CHEN Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10
22008A knowledge discovery approach to diagnosing intracranial hematomas on brain CT: Recognition, measurement and classificationFU-REN XIAOLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 
32011A model-based em method for topic person name multi-polarizationChen, C.C.; Chen, Z.-Y.; Salem, Mohamed; Vall Mohamed; Shaalan, Khaled; Oroumchian, Farhad; Shakery, Azadeh; Khelalfa, Halim; CHIEN CHIN CHEN Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 00
42013A novel social event recommendation method based on social and collaborative friendshipsSun, Y.-C.; Chen, C.C.; CHIEN CHIN CHEN Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 120
52013A topic person multi-polarization method using friendship network analysisChen, Z.-Y.; Chen, C.C.; CHIEN CHIN CHEN Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 00
62010Automated assume-guarantee reasoning through implicit learningChen, Y.-F.; Clarke, E.M.; Farzan, A.; Tsai, M.-H.; Tsay, Y.-K.; Wang, B.-Y.; YIH-KUEN TSAY Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 370
72008Automated compositional reasoning of intuitionistically closed regular propertiesTsay, Y.-K.; Wang, B.-Y.; Ibarra, Oscar H.; Ravikumar, Bala; YIH-KUEN TSAY Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10
82011Büchi store: An open repository of Büchi automataTsay, Y.-K.; Tsai, M.-H.; Chang, J.-S.; Chang, Y.-W.; YIH-KUEN TSAY Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 150
92007Chinese chief complaint classification for syndromic surveillanceFUH-YUAN SHIHLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 
102007Chinese chief complaint classification for syndromic surveillanceLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 
112006Collaborative localization – enhancing WiFi-based position estimation with neighborhood links in clustersChan, Li-wei; Chiang, Ji-rung; Chen, Yi-chao; Ke, Chia-nan; YUNG-JEN HSU ; Chu, Hao-huaLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 540
122010Comparing learning algorithms in automated assume-guarantee reasoningChen, Y.-F.; Clarke, E.M.; Farzan, A.; He, F.; Tsai, M.-H.; Tsay, Y.-K.; Wang, B.-Y.; Zhu, L.; YIH-KUEN TSAY Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 60
132003Composing temporal-logic specifications with machine assistanceTeng, J.-W.; Tsay, Y.-K.; YIH-KUEN TSAY Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 
142000Compositional verification in linear-time temporal logicTsay, Y.-K.; YIH-KUEN TSAY Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 
152011Consecutive edge-colorings of generalized θ-graphsGERARD JENNHWA CHANG Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10
162004Dependency structure matrix analysis: Offline utility of the dependency structure matrix genetic algorithmTIAN-LI YU Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 
171998Deriving a scalable algorithm for mutual exclusionTsay, Y.-K.; YIH-KUEN TSAY Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 
182008Design and prototype of a large-scale and fully sense-tagged corpusKer, S.-J.; Huang, C.-R.; Hong, J.-F.; Liu, S.-Y.; Jian, H.-L.; Su, I.-L.; Hsieh, S.-K.; SHU-KAI HSIEH Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 20
192014Different solvers evaluation for a bucking problemChou, C.-Y.; Lee, J.-H.; Cheng, Y.-F.; Hsieh, C.-W.; Wang, W.; WEICHUNG WANG Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 00
202015Effective healthcare advertising using latent dirichlet allocation and inference engineLi, Y.-C.; Chen, C.C.; CHIEN CHIN CHEN Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)