CSDL - Proceedings K

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

pp. iv

Table of Contents (PDF)

pp. v-vii

Preface (PDF)

pp. viii

KSE 2010 Organization (PDF)

pp. ix-x

Invited Talks (PDF)

pp. xi-xiii

A New Method for Splitting Clumped Cells in Red Blood Images (Abstract)

pp. 3-8

PDF

A Novel Computational Approach for Fire Detection (Abstract)

Ha Dai Duong

Dao Thanh Tinh

pp. 9-13

PDF

EM-Coffee: An Improvement of M-Coffee (Abstract)

pp. 14-19

PDF

Interactive Exploration of Hierarchical Density Clusters in Gene Expression Data (Abstract)

Tran Van Long

Lars Linsen

pp. 20-27

PDF

Investigation of the Hemodynamic Response in Near Infrared Spectroscopy Data Analysis (Abstract)

Le Hoa Nguyen

Keum-Shik Hong

pp. 28-32

PDF

SDA*: A Simple and Unifying Solution to Recent Bioinformatic Challenges for Conservation Genetics (Abstract)

pp. 33-37

PDF

An Effective Method for Ontology Integration by Propagating Inconsistency (Abstract)

pp. 41-46

PDF

An Improvement of PIP for Time Series Dimensionality Reduction and Its Index Structure (Abstract)

Nguyen Thanh Son

Duong Tuan Anh

pp. 47-54

PDF

Rule-Based Attribute-Oriented Induction for Knowledge Discovery (Abstract)

pp. 55-62

PDF

Supervised Feature Evaluation by Consistency Analysis: Application to Measure Sets Used to Characterise Geographic Objects (Abstract)

Patrick Taillandier

Alexis Drogoul

pp. 63-68

PDF

Supervised Learning of a Color-Based Active Basis Model for Object Recognition (Abstract)

T.T. Quyen Bui

Keum-Shik Hong

pp. 69-74

PDF

A Computational Framework for Adaptation in Military Mission Planning (Abstract)

Lam Thu Bui

Zbignew Michalewicz

pp. 77-84

PDF

Neural Networks Training Based on Sequential Extended Kalman Filtering for Single Trial EEG Classification (Abstract)

pp. 85-88

PDF

Predicting the Tide with Genetic Programming and Semantic-based Crossovers (Abstract)

pp. 89-95

PDF

Privacy Preserving Classification in Two-Dimension Distributed Data (Abstract)

pp. 96-103

PDF

Smoothing Supervised Learning of Neural Networks for Function Approximation (Abstract)

Thi T. Nguyen

pp. 104-109

PDF

Constructive Generation of 3-COL Instances Focusing on Vertex Connectivity of Minimal Unsolvable Structures (Abstract)

pp. 113-118

PDF

Integration of CAM Systems into Multi-axes Computerized Numerical Control Machines (Abstract)

Chu Anh My

pp. 119-124

PDF

Simulated Annealing-Based Algorithm for a Real-World High School Timetabling Problem (Abstract)

Nga Le

pp. 125-130

PDF

Simulation of Mixed Traffic Flow within Intersection (Abstract)

Vo Hong Thanh

Tran Van Hoai

pp. 131-137

PDF

A Semi-supervised Learning Method for Vietnamese Part-of-Speech Tagging (Abstract)

pp. 141-146

PDF

Extracting Parallel Texts from the Web (Abstract)

Le Quang Hung

Le Anh Cuong

pp. 147-151

PDF

Sentiment Analysis for Vietnamese (Abstract)

Binh Thanh Kieu

Son Bao Pham

pp. 152-157

PDF

A Runtime Approach to Verify Scenario in Multi-agent Systems (Abstract)

pp. 161-166

PDF

An Extension of Mazukiewicz Traces and their Applications in Specification of Real-Time Systems (Abstract)

Do Van Chieu

Dang Van Hung

pp. 167-171

PDF

Assume-Guarantee Tools for Component-Based Software Verification (Abstract)

pp. 172-177

PDF

Change Management Strategies for the Successful Implementation of Enterprise Resource Planning Systems (Abstract)

Trieu Thi Van Hau

Joze Kuzic

pp. 178-182

PDF

Extending CREST with Multiple SMT Solvers and Real Arithmetic (Abstract)

pp. 183-187

PDF

Safe Typing for Transactional vs. Lock-Based Concurrency in Multi-threaded Java (Abstract)

pp. 188-193

PDF

Verifying Implementation of UML Sequence Diagrams Using Java PathFinder (Abstract)

pp. 194-200

PDF

An Adaptive Ontology Based Hierarchical Browsing System for CiteSeerx (Abstract)

pp. 203-208

PDF

An Efficient Identity-Based Broadcast Signcryption Scheme (Abstract)

pp. 209-216

PDF

Crawl Topical Vietnamese Web Pages Using Genetic Algorithm (Abstract)

pp. 217-223

PDF

Spam Filter Based on Dynamic Sender Policy Framework (Abstract)

pp. 224-228

PDF

Author Index (PDF)

pp. 229-230

Roster Page (PDF)

pp. 232