2012 IEEE RIVF International Conference

on

Computing & Communication Technologies, Research, Innovation,

and Vision for the Future

(RIVF 2012)
Ho Chi Minh
27

City,

Vietnam

February

1 March 2012

IEEE

IEEE

Catalog Number:

CFP1256A-PRT 978-1-4673-0307-1

ISBN:

Paper List
Information Management
Vietnamese Diacritics Restoration
as

Minh Trung Nguyen, Quoc Nhan Nguyen and Hong Phuong

A Framework to

Sequential Tagging 001 Nguyen Matching 007

Combine Multiple Matchers for Pair-Wise Schema

Thanh Tarn Nguyen, Quoc Viet Hung Nguyen and Thanh Tho Quan

Linguistically Motivated
Truc-Vien T.
A

and

Ontological

Features for Vietnamese Named

Entity Recognition

013

Nguyen

and TruH. Cao

Knowledge-Driven Educational Decision Support System 019 Thi Ngoc Chau Vo and Hua Phung Nguyen

E-Learning Adoption and Assimilation in SMEs: A Research Framework 025 Louis Raymond, Sylvestre Uwizeyemungu, Francois Bergeron and Stephane Gauvin
An Enhanced Scheme for Databases 029 Xuan Canh Nguyen, Hoax Bac Le and

Privacy-Preserving Association

Rules

Mining

on

Horizontally

Distributed

TungAnh Cao

Computational Intelligence
Extraction of Discriminative Patterns from Skeleton Tran

Sequences

for Human Action

Recognition

033

Thang Thanh, Fan Chen,

Kazunori Kotani and Hoai-Bac Le

Dynamic Time-Linkage Problems The Challenges 039 Trung Thanh Nguyen, Zaili Yang and Stephen Bonsall
-

Algorithms

for

Dinh Han

Testing of Codes and Lozenge-Codes 045 Nguyen, Ngoc Vinh Ho, Quyet Thang Dang and TmngHuy Phan
Rules Restricted
on

Mining Association

Constraint 051

Anh N. Tran, Tin C.

An

Truong,

Bac H. Le and Hai V.

Duong

Efficient Incremental Mining

Approach Based on IT-Tree 057 Thien-Phuong Le, Tzung-Pei Hong, Bay Vo and Bac Le
Statistical Machine

Combining

Learning

with Transformation Rule

Learning

for

Vietnamese Word Sense

Disambiguation Phu-Hung Dinh, Ngoc-Khuong Nguyen and Anh-Cuong Le Using Machine

Minh Translation for

062

Quang Nhat Pham,

Minh Le

Recognizing Textual Entailment Nguyen and Akira Shimazu

in Vietnamese

Language

068

Mining Disjunctive Rules in Dynamic Graphs 074 Kim-Ngan T. Nguyen, Marc Plantevit and Jean-Frangois Rough Set Methods for Large and Spare Data Wojciech Swieboda and Hung Son Nguyen
A Modified

Boulicaut

in EAV Format 080

Regularized Non-Negative Matrix Huy Nguyen and Tien Dinh Parsing with
an

Factorization for MovieLens

086

Vietnamese

Automatically Extracted Tree-Adjoining Grammar

091

Phuong Le Hong, Thi Minh Huyen Nguyen andAzim Roussanaly

Paper List
Exploiting Non-Parallel Corpora for Statistical Machine Translation Cuong Hoang, Anh Cueing Le, Phuong Thai Nguyen and Tu Bao Ho
Multivariate Mutual Information Measures for 097

Discovering Biological

Networks

103

Tho Hoan Pham, Tu Bao Ho,

Time Series

Quynh Diep Nguyen, Dang Hung

Tran and Van

Hoang Nguyen

Clustering

Based

on

I-k-Means and Multi-Resolution PLA Transform 109

Vuong

Ba Think and

Duong

Titan Anh

Efficient Query Answering for Fuzzy Linguistic Logic Programming 113

Van A

Hung Le

Grammatically Structured Noun Phrase Extractor for Vietnamese 117 Hoai-Duc Tuan-Nguyen, Bao-Quoc Ho, Tuan-Dung Bui and Minh-Chau Hoang
in

Learning

Stages:

Layered Learning Approach

for Genetic

Programming

121

Thi Hien
An

Nguyen

andXuan Hoai

Nguyen
in

Approach

to Word Sense An

Disambiguation
Dinh

English-Vietnamese-English

Statistical Machine Translation 125

Qay Nguyen,

Nguyen andDien

Parallel Generation of Permutations by Inversion Vectors 129

Hoang Chi Thanh Improving English-Vietnamese Word Alignment Using Translation Model 133 Giang Thanh Nguyen and Dien Dinh

Communications and Networking Topology Optimization for DHT-Based Application Layer Multicast
Hoai Son Soft 137

Nguyen, Huong Output

143

Bin Thi Lan and

Ngoc Anh Nguyen

Input

Trust

Natasa Zivic On between of Experience and of Service Metrics for

Relationship

Quality

Quality

IMS-Based 1PTV Networks

149 andHuu-Thanh

Thu-Iiuong Truong, Tai-HungNguyen

An Efficient FPGA

Nguyen Algorithm
155

Trang Hoang

and Van Loi

Implementation of the Nguyen

Advanced Encryption Standard

Enhancement of TCP Fairness Performance Control in Thanh

by

Rate

Adaptation

Based

on

Channel Access

Multi-Hop Giang Pham and Kenji Nakagawa

on

Ad Hoc Networks 159

Fall Detection Based

Movement and Smart Phone Choi

Technology

163

Quang
An

Viet

Vo, Gueesang Lee andDeokjai

Optimal Algorithm

of Estimation Channel

Combining Kalman Filter

with

Adaptive Guard

Interval for Mobile WiMAX Standard 167

Nguyen-Due Quang, Pham-Hong Lien, Nguyen-Manh Thang

and Luu-Thanh Tra

Paper List
Modeling and Computer Simulation
An

Operational Meta-Model for Handling Multiple Scales Duc-An Vo, Alexis Drogoul and Jean-Daniel Zucker
Estimator of Brown Plant

in Agent-Based Simulations

171

Spatial

Vinh Khai

Hopper Density from Light Traps Data 177 Huynh, Jean-Daniel Zucker, Hiep Xuan Huynh and Alexis Drogoul
a

Which Behavior Is Best in

Fire Evacuation: Simulation with the Metro Vinh Ho, Thi

for

Supermarket of Hanoi

183

Manh Hung Nguyen, Tuong

A

Ngoc Anh

Nguyen
a

and Jean-Daniel Zucker

Polynomial-Time Algorithm
Chip Firing Games 189

Reachability

Problem of

Subclass of Petri Net and

Manh Ha Le, Van Trung Pham and Thi Ha Duong Phan Simulation of Thi

Emergency Ngoc Anh Nguyen, Hong Phuong Nguyen

Evacuation of Pedestrians Jean Daniel Zucker, Manh

along the Road Networks in Nhatrang City Hung Nguyen, Alexis Drogoul and

195

Simulation of Hien

Salinity Intrusion in the Context of the Mekong Delta Region (Viet Nam) 201 Ngoc Hoang, Hiep Xuan Huynh and Trung Hieu Nguyen

The Relationship of Contact Angle and

M, A.

Input Shaping Scheme

in Automotive

Wiper System

205

Salim,

A.

Noordin,

F. A. Munir and N. R. M. Nuri

Applied Operational Research and Optimization

Heuristics to Solve
a

Real-World

Asymmetric

Vehicle

Routing Problem with Side Constraints 209

San Pham, Viviane Gascon and Tien Dinh

A Heuristic

Algorithm

for

Finding

the Closest Trio of 3-Colored Points from

Given Set of

3-Colored Points

on

Plane 215

Trung N. Nguyen and Due A. Duong

Heuristic

Algorithms

for

Solving

the Survivable Problem in the

Design

of Last Mile

Communication Networks 219 Thi Minh Nguyen, Thi Thanh Binh Huynh and Khanh Trung Vo

Hybridization

of Genetic

Algorithm

and Branch-and-Price Framework for

Solving

the One

Dimensional

Cutting

Stock Problem with Multiple Stock Sizes 225

Phan Thi Hoai Phuong An Experimental Study about Efficiency of the

Problem 230 Ha Bang Ban and Due

Approximation Algorithms for

Minimum

Latency

Nghia Nguyen
234

GASVM: A Genetic Algorithm

for Improving Gene Regulatory Activity Prediction Dong Do Due, Tri-ThanhLe, Trung-Nghia Vu.HuyQ. Dinh andPloang Xuan Huan

Software Engineering and Embedded Systems

An

Improvement

of Minimized

Assumption Generation

Method for

Component-Based

Software Verification 238

Ngoc Hung Pham, Viet-Ha Nguyen, Toshiaki Aoki and Takuya Katayama

Paper

List

An Intermediate Library for Multi-GPUs Computing Skeletons 244 Due Tung Le, Hun Due Nguyen, Titan Anh Pham, Huy Hoang Ngo and Mink
An

Thap Nguyen

Approximation-Based

Abstract 250

Interpretation

Framework for Formal Verification of

Floating-Point Programs Vinh D. Thai, Tho T. Quan,

Tien V. Le and Binh T.

Ngo

Human Machine Interface and Imaging Technologies

Gabor Wavelet-Based Kha Gia Advanced

Quach,

Chi Nhan

Appearance Models 254 Duong, Khoa Luu andHoai

for Frame

Bac Le Reduction in LCD Overdrive 260

High-Adaptive Image Coding

Memory

Tai I-Juu

Nguyen and Hoang-Lan Thi Nguyen Synthesis Using Temporal Yo-Sung Ho

Hole

Virtual View

Filling with

Bilateral Coefficients 266

Jae-Il Jung and

An Effective 3D Geometric Relational Feature Le

Uyen

Thuc

Hoang,

Van Tuan Pham and

Descriptor for Human Action Recognition Jenq-Neng Hwang

270

Unsupervised
Hien

Semi-Supervised Clustering for Large Image Database Indexing Visani, Alain Boucher and Jean-Marc Ogier Phuong
and

and Retrieval 276

Lai, Muriel

Higher

Order Conditional Random Field for Multi-Label Interactive

Image Segmentation

282

Tien-Vu Video

Nguyen, Nghia Pham, Trung

Tran and Bac Le 286

Dat

Monitoring System: Counting People by Tracking Nguyen, Loc Huynh, Thang Ba Dinh and Tien Dinh
and

Checking

Correcting

the Source Code of Web

Pages

for

Accessibility

290

Thi-PIuong-Giang Vit, Dat Trinh Tuan and Van-Hung Phan

A Novel

Technological Imaging
Nguyen,
C.

M. K.

Faye,

G.

Process Using Ionizing Rigaud and T. T. Truong

Radiation

Properties

294

Applying Virtual Reality for In-Door Jogging 298 Tmng-Nghia Le, Quoc-Minh Bui, Vinh-Tiep Nguyen,

Minh-Triet Tran and Anh-Duc

Duong