default search action
SoICT 2012: Halong City, Quang Ninh, Vietnam
- Eric Castelli, Khanh Tran Duc, Chi Mai Luong, Viet Tran:
Symposium on Information and Communication Technology 2012, SoICT '12, Halong City, Quang Ninh , Viet Nam, August 23-24, 2012. ACM 2012, ISBN 978-1-4503-1232-5
Invited Talks
- János Sztrik:
Queueing theory and its applications: a personal view. 1 - Tuan D. Pham:
Personalized modeling in computational life science. 2
Formal methods and programming languages
- Dominique Méry, Neeraj Kumar Singh:
Critical systems development methodology using formal techniques. 3-12 - Dieu-Huong Vu, Toshiaki Aoki:
Faithfully formalizing OSEK/VDX operating system specification. 13-20 - Xuan-Tung Vu, Thi Mai Thuong Tran, Anh-Hoang Truong, Martin Steffen:
A type system for finding upper resource bounds of multi-threaded programs with nested transactions. 21-30 - Do Van Chieu, Dang Van Hung:
Timed traces and their applications in specification and verification of distributed real-time systems. 31-40
Social network, search and natural language processing
- Nguyen Thi Kim Anh, Vu Minh Thanh, Ngo Van Linh:
Efficient label propagation for classification on information networks. 41-46 - Le Viet Hung, Nguyen Thi Kim Anh, Nguyen Hai Dang:
Improving Vietnamese web page clustering by combining neighbors' content and using iterative feature selection. 47-54 - Cuong Hoang, Cuong Anh Le, Son Bao Pham:
Refining lexical translation training scheme for improving the quality of statistical phrase-based translation. 55-62 - Do Viet Phuong, Tu Minh Phuong:
A keyword-topic model for contextual advertising. 63-70 - Sinh Hoa Nguyen, Grzegorz Jaskiewicz, Wojciech Swieboda, Hung Son Nguyen:
Enhancing search result clustering with semantic indexing. 71-80
Signal processing, speech processing and pattern regconition
- Anh-Cang Phan, Romain Raffin, Marc Daniel:
Mesh connection with RBF local interpolation and wavelet transform. 81-90 - Quoc-Cuong Nguyen, Tien Dung Tran, Dang Khoa Nguyen, Huu Binh Nguyen:
Robust speech recognition based on binaural speech enhancement system as a preprocessing step. 91-96 - Vinh-Tiep Nguyen, Minh-Triet Tran, Trung-Nghia Le, Quoc-Minh Bui, Anh Duc Duong:
Augmented media for traditional magazines. 97-106 - Vinh Du Mai, Duoqian Miao, Ruizhi Wang:
Building a license plate recognition system for Vietnam tollbooth. 107-114 - Van-Sinh Nguyen, Alexandra Bac, Marc Daniel:
Boundary extraction and simplification of a surface defined by a sparse 3D volume. 115-124 - Hoang Thien Van, Thai Hoang Le:
GridLDA of Gabor wavelet features for palmprint identification. 125-134 - De Cao Tran:
An efficient method for on-line Vietnamese handwritten character recognition. 135-141 - Hung Phuoc Truong, Thai Hoang Le:
Fusion of bidirectional image matrices and 2D-LDA: an efficient approach for face recognition. 142-148
Computer systems and communication networks
- Mai Thi Quynh Banh, Giang Trung Nguyen, Thu Ngo Quynh:
Energy-balanced and fault-tolerant clustering routing protocol for event driven WSNs. 149-158 - Linh D. Truong, Thuan P. Do, Nga T. Nguyen, Huy Q. Duong:
Impact of mesh topology in cost reduction of survivable hybrid WDM-TDM PON networks. 159-164 - Binh P. Nguyen, Yvonne Ho, Zimei Wu, Chee-Kong Chui:
Implementation of model predictive control with modified minimal model on low-power RISC microcontrollers. 165-171 - Thu Ngo Quynh, Thuy Tran Vinh, Mai Thi Quynh Banh:
Multipath routing for cluster-based and event-based protocols in wireless sensor networks. 172-179 - Dung Cao Tuan, Thuan Pham Van, Viet Hoang Anh:
A general solution supporting real-time and remote electrocardiogram diagnostic based on embedded and mobile technology. 181-189 - Nguyen Phi Le, Nguyen Trung Hieu, Nguyen Khanh Van:
ELBAR: efficient load balanced routing scheme for wireless sensor networks with holes. 190-199
Algorithms
- Nguyen Cong Thuong, Duong Tuan Anh:
Comparing three lower bounding methods for DTW in time series classification. 200-206 - Nguyen Dang Kim Khanh, Duong Tuan Anh:
Time series discord discovery using WAT algorithm and iSAX representation. 207-213 - Yvonne Ho, Binh P. Nguyen, Chee-Kong Chui:
Ant colony optimization for model predictive control for blood glucose regulation. 214-217 - Duc-Phong Le, Binh P. Nguyen:
Fast point quadrupling on elliptic curves. 218-222 - Nhat Tan Duong, Quang Anh Pham Nguyen, Anh Tu Nguyen, Huu-Duc Nguyen:
Parallel PageRank computation using GPUs. 223-230
Data and knowledge engineering
- Quang-Thuy Ha, Thi-Lan-Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen, Andrzej Szalas, Thanh-Luong Tran:
A bisimulation-based method of concept learning for knowledge bases in description logics. 241-249 - Christoph Hermann:
Improving document retrieval using special characteristics of lecture recording documents. 250-259 - Son Doan, Nguyen Thi Ngoc Vinh, Tu Minh Phuong:
Classifying Vietnamese disease outbreak reports with important sentences and rich features. 260-265 - Tran Dinh Cuong, Nguyen Linh Giang:
Intrusion detection under covariate shift using modified support vector machine and modified backpropagation. 266-271 - Dac-Thanh Tran, Duy-Hoa Ngo, Phan-Thuan Do:
An information content based partitioning method for the anatomical ontology matching task. 272-281
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.