Accepted Papers
Information for Authors
Committees
Keynote Talks
Technical Program
Visa / Hotels / Tours
Conference Venue
SoICT 2012 E-Updates
> Click here for the latest conference information
Technical Sponsor:

ACM's logo

VIETNAM CHAPTER
Financial Sponsor:

NAS's logo

 

ghghj

sdeeefsadf
SoICT 2010, 2011

 ACMDL's logo 


DBLP's logo 

IMPORTANT DATES:

> SUBMISSION DEADLINE
    23 April 2012 07 May 2012

> AUTHOR NOTIFICATION
   02 June 2012 17 June 2012

> CAMERA-READY SUBMISSION
    23 June 2012 07 July 2012

> REGISTRATION
    07 July 2012

> CONFERENCE DATES
   23-24 August 2012


SoICT 2012 Organizers:

HUST's logo

 



 

  • SoICT2012-Program-Final.pdf

    SoICT 2012 PROGRAM

    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

     

  •  
    Copyright © 2012 SoICT; Contact webmaster
    The website is optimized for Mozilla Firefox with a screen resolution of 1024x768