Day 1: 23 Aug 2012 |
8.30-9.00 |
Registration
Ha Long Plaza |
9.00-9.15 |
Opening Ceremony
Ha Long Plaza, Conference Room 1 |
9.15-10.00 |
Invited Talk 1
Prof. Janos Sztrik
University of Debrecen, Debrecen, Hungary
Title: Queueing Theory and its Applications: A Personal View
Ha Long Plaza, Conference Room 1 |
10.00-10.15 |
Coffee Break
Ha Long Plaza |
|
Session 1:Formal Methods and Programming Languages
Conference Room 1 |
Session 2: Social Network, Search, and Natural Languge Processing
Conference Room 3 |
10.15-10.35 |
Critical Systems Development Methodology using Formal Techniques
Neeraj Singh and Dominique Mery |
Efficient Label Propagation for Classification on Information Networks
Kim Anh Nguyen Thi, Thanh Vu Minh and Linh Ngo Van |
10.35-10.55 |
Faithfully Formalizing OSEK/VDX Operating System Specification
Dieu Huong Vu and Toshiaki Aoki |
Improving Vietnamese Web Page Clustering by combining neighbors content and using Iterative Feature Selection
Le Viet Hung, Nguyen Thi Kim Anh and Nguyen Hai Dang |
10.55-11.15 |
A type system for finding upper resource bounds of multi-threaded programs with nested transactions
Xuan Tung Vu, Hoang Truong, Thi Mai Thuong Tran and Martin Steffen |
Refining Lexical Translation Training Scheme for Improving The Quality of Statistical Phrase-Based Translation
Cuong Hoang, Anh Cuong Le and Bao Son Pham |
11.15-11.35 |
Timed Traces and Their Applications in Specification and Verification of Distributed Real-time Systems
Chieu Do and Hung Dang Van |
A Keyword-Topic Model for Contextual Advertising
Phuong Do and Phuong Tu |
11.35-11.55 |
|
Enhancing search results clustering with semantic indexing
Sinh Hoa Nguyen, Wojciech Swieboda, Grzegorz Jaskiewicz and Hung Son Nguyen |
12.00- |
Lunch
Ha Long Plaza |
|
Session 3: Signal Processing, Speech Processing and Pattern Regconition
Conference Room 1 |
Session 4: Computer Systems and Communication Networks
Conference Room 3 |
14.00-14.20 |
Mesh Connection with RBF Local Interpolation and Wavelet Transform
Anh Cang Phan, Romain Raffin and Marc Daniel |
Energy-balanced and fault-tolerant clustering routing protocol for event driven WSNs
Mai Banh, Giang Nguyen and Thu Ngo |
14.20-14.40 |
Robust Speech Recognition Based on Binaural Speech Enhancement System as A Preprocessing Step
Quoc Cuong Nguyen, Tien Dung Tran and Dang Khoa Nguyen |
Impact of Mesh topology in cost reduction of Survivable Hybrid WDM-TDM PON networks
Linh Truong Dieu, Thuan Do Phan, Nga Nguyen Thi and Huy Duong Quang |
14.40-15.00 |
Augmented Media for Traditional Magazines
Vinh Tiep Nguyen, Trung Nghia Le, Quoc Minh Bui, Minh Triet Tran and Anh Duc Duong |
Implementation of Model Predictive Control with Modified Minimal Model on Low-Power RISC Microcontrollers
Binh P. Nguyen, Yvonne Ho, Zimei Wu and Chee Kong Chui |
15.00-15.20 |
Building a License Plate Recognition System for Vietnam TollBooth
Mai Vinh Du, Miao Duoqian and Wang Ruizhi |
Multipath Routing Protocols for Cluster-based and Event-based Wireless Sensor Network
Thu Ngo, Thuy Tran and Mai Banh |
15.20-15.40 |
Boundary Extraction and Simplification of a surface defined by a sparse 3D volume
Van-Sinh Nguyen, Alexandra Bac and Marc Daniel |
A general solution supporting real-time and remote electrocardiogram dianostic based on embedbbed and mobile technology
Viet Hoang, Dung Cao and Thuan Pham |
15.40-16.00 |
GridLDA of Gabor Wavelet Features for Palmprint Identification
Hoang Thien Van and Thai Hoang Le |
ELBAR: Efficient Load Balancing Routing Scheme for Wireless Sensor Networks with Holes
Phi Le Nguyen, Trung Hieu Nguyen and Van Nguyen |
16.00-16.20 |
An Efficient Method for On-line Vietnamese Handwritten Character Recognition
Cao De Tran |
|
16.20-16.40 |
Fusion of Bidirectional Image Matrices and 2D-LDA: An efficient approach for Face Recognition
Hung Truong and Thai Le |
|
18.00- |
Gala Dinner
Ha Long Plaza |
|
Day 2: 24 Aug 2012 |
8.30-9.15 |
Invited Talk 2
Tuan D. Pham
The University of Aizu
Title: Personalized Modeling in Computational Life Science
Conference Room 1 |
9.15-9.30 |
Coffee Break |
|
Session 5: Algorithms
Confernce Room 1 |
Session 6: Data and Knowledge Engineering
Confernce Room 1 |
9.30-9.50 |
Comparing three Lower Bounding Methods for DTW in Time Series Classification
Nguyen Cong Thuong and Duong Tuan Anh |
A Bisimulation-based Method of Concept Learning for Knowledge Bases in Description Logics
Quang Thuy Ha, Thi Lan Giao Hoang, Linh Anh Nguyen, Hung Son Nguyen, Andrzej Szalas and Thanh Luong Tran |
9.50-10.10 |
Time Series Discord Discovery Using WAT Algorithm and iSAX Representation
Kim Khanh Nguyen Dang and Tuan Anh Duong |
Improving document retrieval using special characteristics of lecture recording documents
Christoph Hermann |
10.10-10.30 |
Ant Colony Optimization for Model Predictive Control for Blood Glucose Regulation
Yvonne Ho, Binh P. Nguyen and Chee Kong Chui |
Classifying Vietnamese disease outbreak reports with important sentences and rich features
Son Doan, Vinh Nguyen Thi Ngoc and Phuong Tu Minh |
10.30-10.50 |
Fast Point Quadrupling on Elliptic Curves
Duc Phong Le and Binh P. Nguyen |
Intrusion Detection under Covariate Shift using modified Support Vector Machine and modified Backpropagation
Tran Cuong and Nguyen Giang |
10.50-11.10 |
Parallel PageRank Computation using GPUs
Nhat Tan Duong, Huu Duc Nguyen, Quang Anh Pham Nguyen and Anh Tu Nguyen |
An Information Content Based Partitioning Method For The Anatomical Ontology Matching Task
Duy Hoa Ngo, Phan Thuan Do and Dac Thanh Tran |
11.10-11.30 |
Re-represent Self-Similarity Property in Variance-Time Plot Method
Do Q. Le and Cong Liu |
|
12.00- |
Lunch
Ha Long Plaza |
