Abstract is missing.
- Queueing theory and its applications: a personal viewJános Sztrik. 1 [doi]
- Personalized modeling in computational life scienceTuan D. Pham. 2 [doi]
- Critical systems development methodology using formal techniquesDominique Méry, Neeraj Kumar Singh. 3-12 [doi]
- Faithfully formalizing OSEK/VDX operating system specificationDieu-Huong Vu, Toshiaki Aoki. 13-20 [doi]
- A type system for finding upper resource bounds of multi-threaded programs with nested transactionsXuan-Tung Vu, Thi-Mai-Thuong Tran, Anh-Hoang Truong, Martin Steffen. 21-30 [doi]
- Timed traces and their applications in specification and verification of distributed real-time systemsDo Van Chieu, Dang Van Hung. 31-40 [doi]
- Efficient label propagation for classification on information networksNguyen Thi Kim Anh, Vu Minh Thanh, Ngo Van Linh. 41-46 [doi]
- Improving Vietnamese web page clustering by combining neighbors' content and using iterative feature selectionLe Viet Hung, Nguyen Thi Kim Anh, Nguyen Hai Dang. 47-54 [doi]
- Refining lexical translation training scheme for improving the quality of statistical phrase-based translationCuong Hoang, Cuong Anh Le, Son Bao Pham. 55-62 [doi]
- A keyword-topic model for contextual advertisingDo Viet Phuong, Tu Minh Phuong. 63-70 [doi]
- Enhancing search result clustering with semantic indexingSinh Hoa Nguyen, Grzegorz Jaskiewicz, Wojciech Swieboda, Hung Son Nguyen. 71-80 [doi]
- Mesh connection with RBF local interpolation and wavelet transformAnh-Cang Phan, Romain Raffin, Marc Daniel. 81-90 [doi]
- Robust speech recognition based on binaural speech enhancement system as a preprocessing stepQuoc Cuong Nguyen, Tien Dung Tran, Dang Khoa Nguyen, Huu Binh Nguyen. 91-96 [doi]
- Augmented media for traditional magazinesVinh-Tiep Nguyen, Minh-Triet Tran, Trung-Nghia Le, Quoc-Minh Bui, Anh Duc Duong. 97-106 [doi]
- Building a license plate recognition system for Vietnam tollboothVinh Du Mai, Duoqian Miao, Ruizhi Wang. 107-114 [doi]
- Boundary extraction and simplification of a surface defined by a sparse 3D volumeVan-Sinh Nguyen, Alexandra Bac, Marc Daniel. 115-124 [doi]
- GridLDA of Gabor wavelet features for palmprint identificationHoang Thien Van, Thai Hoang Le. 125-134 [doi]
- An efficient method for on-line Vietnamese handwritten character recognitionDe Cao Tran. 135-141 [doi]
- Fusion of bidirectional image matrices and 2D-LDA: an efficient approach for face recognitionHung Phuoc Truong, Thai Hoang Le. 142-148 [doi]
- Energy-balanced and fault-tolerant clustering routing protocol for event driven WSNsMai Thi Quynh Banh, Giang Trung Nguyen, Thu Quynh Ngo. 149-158 [doi]
- Impact of mesh topology in cost reduction of survivable hybrid WDM-TDM PON networksLinh D. Truong, Thuan P. Do, Nga T. Nguyen, Huy Q. Duong. 159-164 [doi]
- Implementation of model predictive control with modified minimal model on low-power RISC microcontrollersBinh P. Nguyen, Yvonne Ho, Zimei Wu, Chee-Kong Chui. 165-171 [doi]
- Multipath routing for cluster-based and event-based protocols in wireless sensor networksThu Ngo Quynh, Thuy Tran Vinh, Mai Banh Thi Quynh. 172-179 [doi]
- A general solution supporting real-time and remote electrocardiogram diagnostic based on embedded and mobile technologyDung Cao Tuan, Thuan Pham Van, Viet Hoang Anh. 181-189 [doi]
- ELBAR: efficient load balanced routing scheme for wireless sensor networks with holesNguyen Phi Le, Nguyen Trung Hieu, Nguyen Khanh Van. 190-199 [doi]
- Comparing three lower bounding methods for DTW in time series classificationNguyen Cong Thuong, Duong Tuan Anh. 200-206 [doi]
- Time series discord discovery using WAT algorithm and iSAX representationNguyen Dang Kim Khanh, Duong Tuan Anh. 207-213 [doi]
- Ant colony optimization for model predictive control for blood glucose regulationYvonne Ho, Binh P. Nguyen, Chee-Kong Chui. 214-217 [doi]
- Fast point quadrupling on elliptic curvesDuc-Phong Le, Binh P. Nguyen. 218-222 [doi]
- Parallel PageRank computation using GPUsNhat Tan Duong, Quang Anh Pham Nguyen, Anh Tu Nguyen, Huu-Duc Nguyen. 223-230 [doi]
- A bisimulation-based method of concept learning for knowledge bases in description logicsQuang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen, Andrzej Szalas, Thanh-Luong Tran. 241-249 [doi]
- Improving document retrieval using special characteristics of lecture recording documentsChristoph Hermann. 250-259 [doi]
- Classifying Vietnamese disease outbreak reports with important sentences and rich featuresSon Doan, Nguyen Thi Ngoc Vinh, Tu Minh Phuong. 260-265 [doi]
- Intrusion detection under covariate shift using modified support vector machine and modified backpropagationTran Dinh Cuong, Nguyen Linh Giang. 266-271 [doi]
- An information content based partitioning method for the anatomical ontology matching taskDac-Thanh Tran, Duy-Hoa Ngo, Phan-Thuan Do. 272-281 [doi]