SOICT2015: THE SIXTH INTERNATIONAL SYMPOSIUM ON INFORMATION AND COMMUNICATION TECHNOLOGY

This page contains an index consisting of author-provided keywords.

A
activation conditions	A regression testing approach for Lustre/SCADE programs
Activity Theory	Plan Model - An Activity Theory Based Approach
ad hoc network	Joint Routing-Distributed Session Control for Highly Dynamic Ad hoc Networks
Aerial image	An Efficient Framework for Pixel-wise Building Segmentation from Aerial Images
Android application	An application for diagnosing lung diseases on Android phone
Anomaly detection	Unsupervised Anomaly Detection in Online Game
APSK	A novel signal constellation set for communication system using APSK signals of DVB-S2 standard with high nonlinearity
arc consistency	A New Method to Encode the At-Most-One Constraint into SAT
architecture pattern	Graphical User Interface Variability Architecture Pattern
Arduino	Ambient Conversation Support in Small Face-to-Face Group Meetings
Area Coverage	An Improved Genetic Algorithm for Maximizing Area Coverage in Wireless Sensor Networks
at-most-one constraint	A New Method to Encode the At-Most-One Constraint into SAT
audio source separation	Speech enhancement based on nonnegative matrix factorization with mixed group sparsity constraint
B
Big Data	A detection method for DGA-based Botnet on BigData Platform
binary classification	Towards more realistic machine learning techniques for prediction of disease-associated genes
biomedical image	A DENOISING METHOD BASED ON TOTAL VARIATION
Boolean satisfiability	A New Method to Encode the At-Most-One Constraint into SAT
Botnet	A detection method for DGA-based Botnet on BigData Platform
Brain Computer Interface	The impact of high dimensionality on SVM when classifying ERP data - A solution from LDA
Brown Planthopper	Synchronous networks for insects surveillance
building detection	An Efficient Framework for Pixel-wise Building Segmentation from Aerial Images
Burst Segmentation	An Improved Composite Scheduling Approach for Reducing Data Loss in OBS Networks
C
camera network	A Robust Shadow Removal Technique Applying For Person Localization in a Surveillance Environment
Cloud Computing	Minimizing Total Busy Time for Energy-Aware Virtual Machine Allocation Problems
clustering	A multi-criteria document clustering method based on topic modeling and pseudoclosure function
Collaboration	Plan Model - An Activity Theory Based Approach
Combinatorial Optimization	A Java library for Constraint-Based Local Search: Application to the master thesis defense timetabling problem Solving the TimeTabling problem at FPT University
completeness	Stateflow to Tabular Expressions
Compositional Verification on Abstracted	Component-Based Abstraction of Petri Net Models: An Application for Congestion Verification of Wireless Sensor Networks
Computer-Supported Cooperative Work	Ambient Conversation Support in Small Face-to-Face Group Meetings
conjunctive normal form	A New Method to Encode the At-Most-One Constraint into SAT
Constraint Programming	A Java library for Constraint-Based Local Search: Application to the master thesis defense timetabling problem Solving the TimeTabling problem at FPT University A New Method to Encode the At-Most-One Constraint into SAT
constraint satisfaction problem	A New Method to Encode the At-Most-One Constraint into SAT
Constraint-Based Local Search	A Java library for Constraint-Based Local Search: Application to the master thesis defense timetabling problem Solving the TimeTabling problem at FPT University
Content Based Image Retrieval	Fine-tuning SIMPLE based Content Based Image Retrieval system
Conversation Support	Ambient Conversation Support in Small Face-to-Face Group Meetings
convolutional neural networks	Maritime Vessel Images Classification Using Deep Convolutional Neural Networks
Cooperative spectrum sharing	Modulation-based Collaboration: Interference-free for Cooperative Spectrum Sharing for 4-QAM based Co-existing System
Copy detection	A Copy Detection Method Based on SCAM and PPCHECKER
crisis situation	Impact of group on the evacuation process: theory and simulation
CSP	A New Method to Encode the At-Most-One Constraint into SAT
D
Data Center	Minimizing Total Busy Time for Energy-Aware Virtual Machine Allocation Problems Protected Elastic tree topology for Data Center
data generation	Declarative Data Generation with ProbLog
data mining	A Novel Approach for Hiding High Utility Sequential Patterns
deep learning	Maritime Vessel Images Classification Using Deep Convolutional Neural Networks
dependency parsing	Improving Vietnamese Dependency Parsing using Distributed Word Representations
detection plagiarism	A Copy Detection Method Based on SCAM and PPCHECKER
Disease gene prediction	Towards more realistic machine learning techniques for prediction of disease-associated genes
disjointness	Stateflow to Tabular Expressions
distributed classification	A Communication-Efficient Distributed Algorithm for Large-scale Classification within P2P Networks
distributed data mining	A Communication-Efficient Distributed Algorithm for Large-scale Classification within P2P Networks
distributed data processing	GPSInsights: Towards an efficient framework for storing and mining massive real-time vehicle location data
distributed protocol	A Distributed Protocol to Detect and Update Hole Boundary in Wireless Sensor Networks
distributed SIP	Joint Routing-Distributed Session Control for Highly Dynamic Ad hoc Networks
distributed word representation	Improving Vietnamese Dependency Parsing using Distributed Word Representations
document analysis	Logo Spotting on Document Images using Local Features
Domain Generation Algorithm	A detection method for DGA-based Botnet on BigData Platform
Dynamic Gauss Mutation	An Improved Genetic Algorithm for Maximizing Area Coverage in Wireless Sensor Networks
Dynamic Hand Gesture Recognition	Recognition of hand gestures from cyclic hand movements using spatial-temporal features
dynamic spectrum sharing	Modulation-based Collaboration: Interference-free for Cooperative Spectrum Sharing for 4-QAM based Co-existing System
Dynamic Time Wrapping	Recognition of hand gestures from cyclic hand movements using spatial-temporal features
Dynamically programmable	A pipeline dynamically configured GNSSs baseband circuit
E
energy efficiency	Protected Elastic tree topology for Data Center
Energy Saving	Minimizing Total Busy Time for Energy-Aware Virtual Machine Allocation Problems
energy-aware scheduling	Minimizing Total Busy Time for Energy-Aware Virtual Machine Allocation Problems
enterprise systems	Graphical User Interface Variability Architecture Pattern
Entity Recognition	Empowering Exploratory Search on Linked Movie Open Data with Semantic Technologies
Euler-Lagrange equation	A DENOISING METHOD BASED ON TOTAL VARIATION
evacuation process	Impact of group on the evacuation process: theory and simulation
Exploratory Search	Empowering Exploratory Search on Linked Movie Open Data with Semantic Technologies
F
Face-to-face Conversation	Ambient Conversation Support in Small Face-to-Face Group Meetings
fairness	A Method at Link Layer to Improve the Fairness in Multi-hop Wireless Ad Hoc Networks
feature extraction	An Efficient Framework for Pixel-wise Building Segmentation from Aerial Images
Feature Selection	Optimizing Genetic Algorithm in Feature Selection for Named Entity Recognition
Fine-tuning	Fine-tuning SIMPLE based Content Based Image Retrieval system
FPGA-based design	A pipeline dynamically configured GNSSs baseband circuit
FPT TimeTabling	Solving the TimeTabling problem at FPT University
fully connected CRF	An Efficient Framework for Pixel-wise Building Segmentation from Aerial Images
fusion scheme	A Robust Shadow Removal Technique Applying For Person Localization in a Surveillance Environment
Fuzzy co-clustering	Speedup of Fuzzy Co-Clustering algorithm for image segmentation on Graphic Processing Unit
G
GAMA	Impact of group on the evacuation process: theory and simulation
Gaussian distribution	Fine-tuning SIMPLE based Content Based Image Retrieval system
Gaussian noise	A DENOISING METHOD BASED ON TOTAL VARIATION
Genetic Algorithm	An Improved Genetic Algorithm for Maximizing Area Coverage in Wireless Sensor Networks Optimizing Genetic Algorithm in Feature Selection for Named Entity Recognition
Gibbs Sampling	A multi-criteria document clustering method based on topic modeling and pseudoclosure function
glove model	Improving Vietnamese Dependency Parsing using Distributed Word Representations
GNSS satellite receiver	A pipeline dynamically configured GNSSs baseband circuit
GPSInsights	GPSInsights: Towards an efficient framework for storing and mining massive real-time vehicle location data
Graphic Processing Unit	Speedup of Fuzzy Co-Clustering algorithm for image segmentation on Graphic Processing Unit
graphical user interface	Graphical User Interface Variability Architecture Pattern
group sparsity	Speech enhancement based on nonnegative matrix factorization with mixed group sparsity constraint
H
Heuristic algorithm	People and parcels sharing a taxi for Tokyo city
Heuristic Initialization	An Improved Genetic Algorithm for Maximizing Area Coverage in Wireless Sensor Networks
High Power Amplifier	A novel signal constellation set for communication system using APSK signals of DVB-S2 standard with high nonlinearity
high utility sequential patterns	A Novel Approach for Hiding High Utility Sequential Patterns
high utility sequential patterns hiding	A Novel Approach for Hiding High Utility Sequential Patterns
hole detection	A Distributed Protocol to Detect and Update Hole Boundary in Wireless Sensor Networks
hole update	A Distributed Protocol to Detect and Update Hole Boundary in Wireless Sensor Networks
Human Computer Interaction	Recognition of hand gestures from cyclic hand movements using spatial-temporal features
I
ig Data	A Communication-Efficient Distributed Algorithm for Large-scale Classification within P2P Networks
Image classification	Maritime Vessel Images Classification Using Deep Convolutional Neural Networks Speedup of Fuzzy Co-Clustering algorithm for image segmentation on Graphic Processing Unit
image processing	A DENOISING METHOD BASED ON TOTAL VARIATION
insect surveillance network	Synchronous networks for insects surveillance
INSECTSYN	Synchronous networks for insects surveillance
Interest point	Fine-tuning SIMPLE based Content Based Image Retrieval system
Interest Region	Fine-tuning SIMPLE based Content Based Image Retrieval system
interference management	Modulation-based Collaboration: Interference-free for Cooperative Spectrum Sharing for 4-QAM based Co-existing System
J
Jensen-Shannon Divergence	Fine-tuning SIMPLE based Content Based Image Retrieval system
K
k-means	A multi-criteria document clustering method based on topic modeling and pseudoclosure function
KDE	Unsupervised Anomaly Detection in Online Game
key-point matching	Logo Spotting on Document Images using Local Features
Keyword search	An Approach for Searching Semantic-based Keywords over Relational Database
L
large-scale data mining	A Communication-Efficient Distributed Algorithm for Large-scale Classification within P2P Networks
Latent Dirichlet Allocation	A multi-criteria document clustering method based on topic modeling and pseudoclosure function
Linear Discriminant Analysis	The impact of high dimensionality on SVM when classifying ERP data - A solution from LDA
Linear model	People and parcels sharing a taxi for Tokyo city
link layer	A Method at Link Layer to Improve the Fairness in Multi-hop Wireless Ad Hoc Networks
Linked Data	Empowering Exploratory Search on Linked Movie Open Data with Semantic Technologies
local feature	Logo Spotting on Document Images using Local Features
LOF	Unsupervised Anomaly Detection in Online Game
Logo spotting	Logo Spotting on Document Images using Local Features
Lung functions	An application for diagnosing lung diseases on Android phone
Lustre	A regression testing approach for Lustre/SCADE programs
M
Machine Learning	Declarative Data Generation with ProbLog A detection method for DGA-based Botnet on BigData Platform
map matching	GPSInsights: Towards an efficient framework for storing and mining massive real-time vehicle location data
maritime vessel classification	Maritime Vessel Images Classification Using Deep Convolutional Neural Networks
Master Thesis Defense Timetabling	A Java library for Constraint-Based Local Search: Application to the master thesis defense timetabling problem
Maximum Entropy	Optimizing Genetic Algorithm in Feature Selection for Named Entity Recognition
MMO	Unsupervised Anomaly Detection in Online Game
Model	Plan Model - An Activity Theory Based Approach
Models	Component-Based Abstraction of Petri Net Models: An Application for Congestion Verification of Wireless Sensor Networks
modulationed-based spectrum sharing	Modulation-based Collaboration: Interference-free for Cooperative Spectrum Sharing for 4-QAM based Co-existing System
Multi-agent	Impact of group on the evacuation process: theory and simulation
Multi-objective Evolutionary Algorithm Based on Decomposition	Multi-Objective transmitters Placement Problem in wireless Networks
multi-tenancy	Graphical User Interface Variability Architecture Pattern
multihop wireless	A Method at Link Layer to Improve the Fairness in Multi-hop Wireless Ad Hoc Networks
multimedia	Joint Routing-Distributed Session Control for Highly Dynamic Ad hoc Networks
multiplicative update	Speech enhancement based on nonnegative matrix factorization with mixed group sparsity constraint
N
Named Entity Recognition	Optimizing Genetic Algorithm in Feature Selection for Named Entity Recognition
negotiation protocol	A Correlation-aware Negotiation Approach for Service Composition
Nonlinear Distortion	A novel signal constellation set for communication system using APSK signals of DVB-S2 standard with high nonlinearity
nonnegative matrix factorization	Speech enhancement based on nonnegative matrix factorization with mixed group sparsity constraint
O
OBS Networks	An Improved Composite Scheduling Approach for Reducing Data Loss in OBS Networks
Online Game	Unsupervised Anomaly Detection in Online Game
operator networks	A regression testing approach for Lustre/SCADE programs
Optimization	Fine-tuning SIMPLE based Content Based Image Retrieval system
Overlap	An Improved Genetic Algorithm for Maximizing Area Coverage in Wireless Sensor Networks
P
P2P-based Cloud	A Communication-Efficient Distributed Algorithm for Large-scale Classification within P2P Networks
PaaS	Graphical User Interface Variability Architecture Pattern
Parallel computing	Speedup of Fuzzy Co-Clustering algorithm for image segmentation on Graphic Processing Unit
partial copy	A Copy Detection Method Based on SCAM and PPCHECKER
paths	A regression testing approach for Lustre/SCADE programs
peer-to-peer	A Communication-Efficient Distributed Algorithm for Large-scale Classification within P2P Networks
Petri Net Modeling	Component-Based Abstraction of Petri Net Models: An Application for Congestion Verification of Wireless Sensor Networks
Pipeline correlator	A pipeline dynamically configured GNSSs baseband circuit
Plan	Plan Model - An Activity Theory Based Approach
Poisson noise	A DENOISING METHOD BASED ON TOTAL VARIATION
Power consumption	A pipeline dynamically configured GNSSs baseband circuit
pretopology	A multi-criteria document clustering method based on topic modeling and pseudoclosure function
privacy preserving	A Novel Approach for Hiding High Utility Sequential Patterns
probabilistic logic programming	Declarative Data Generation with ProbLog
Progressive Sampling	Optimizing Genetic Algorithm in Feature Selection for Named Entity Recognition
pseudoclosure	A multi-criteria document clustering method based on topic modeling and pseudoclosure function
PU learning	Towards more realistic machine learning techniques for prediction of disease-associated genes
Q
QAM	Modulation-based Collaboration: Interference-free for Cooperative Spectrum Sharing for 4-QAM based Co-existing System
R
RADA	Unsupervised Anomaly Detection in Online Game
random forest	An Efficient Framework for Pixel-wise Building Segmentation from Aerial Images
Random Walk	Unsupervised Anomaly Detection in Online Game
Regression testing	A regression testing approach for Lustre/SCADE programs
Regularized Linear Discriminant Analysis	The impact of high dimensionality on SVM when classifying ERP data - A solution from LDA
Rescheduling	An Improved Composite Scheduling Approach for Reducing Data Loss in OBS Networks
Resource Allocation	An Improved Composite Scheduling Approach for Reducing Data Loss in OBS Networks
Resource utilisation	A pipeline dynamically configured GNSSs baseband circuit
ROF model	A DENOISING METHOD BASED ON TOTAL VARIATION
routing	Joint Routing-Distributed Session Control for Highly Dynamic Ad hoc Networks
S
SaaS	Graphical User Interface Variability Architecture Pattern
SAT encoding	A New Method to Encode the At-Most-One Constraint into SAT
Satellite	A novel signal constellation set for communication system using APSK signals of DVB-S2 standard with high nonlinearity
SCADE	A regression testing approach for Lustre/SCADE programs
SCAM PPCHECKER	A Copy Detection Method Based on SCAM and PPCHECKER
Scheduling	A Method at Link Layer to Improve the Fairness in Multi-hop Wireless Ad Hoc Networks An Improved Composite Scheduling Approach for Reducing Data Loss in OBS Networks
Search over relational database	An Approach for Searching Semantic-based Keywords over Relational Database
Searching Images with MPEG-7 (\& MPEG-7-like) Powered Localized dEscriptors (SIMPLE)	Fine-tuning SIMPLE based Content Based Image Retrieval system
Semantic search	An Approach for Searching Semantic-based Keywords over Relational Database
semantic segmentation	An Efficient Framework for Pixel-wise Building Segmentation from Aerial Images
semi-supervised learning	Towards more realistic machine learning techniques for prediction of disease-associated genes
sensitive sequential pattern	A Novel Approach for Hiding High Utility Sequential Patterns
Sequence Diagram	A Method for Automated Test Data Generation from Sequence Diagrams and Object Constraint Language
service composition	A Correlation-aware Negotiation Approach for Service Composition
service correlation	A Correlation-aware Negotiation Approach for Service Composition
service-oriented architecture	A Correlation-aware Negotiation Approach for Service Composition
shadow removal	A Robust Shadow Removal Technique Applying For Person Localization in a Surveillance Environment
Share a ride	People and parcels sharing a taxi for Tokyo city
Simulation	Impact of group on the evacuation process: theory and simulation
skip-gram model	Improving Vietnamese Dependency Parsing using Distributed Word Representations
Small-group Conversation	Ambient Conversation Support in Small Face-to-Face Group Meetings
software architecture	Graphical User Interface Variability Architecture Pattern
software variability	Graphical User Interface Variability Architecture Pattern
Spatial-Temporal Features	Recognition of hand gestures from cyclic hand movements using spatial-temporal features
spatio-temporal data storage	GPSInsights: Towards an efficient framework for storing and mining massive real-time vehicle location data
spectral model	Speech enhancement based on nonnegative matrix factorization with mixed group sparsity constraint
Speech enhancement	Speech enhancement based on nonnegative matrix factorization with mixed group sparsity constraint
Spirometer	An application for diagnosing lung diseases on Android phone
Spreading Activation	Empowering Exploratory Search on Linked Movie Open Data with Semantic Technologies
Stateflow	Stateflow to Tabular Expressions
Support Vector Machine	The impact of high dimensionality on SVM when classifying ERP data - A solution from LDA
survivability	Protected Elastic tree topology for Data Center
Synchronous Network	Synchronous networks for insects surveillance
T
Tabular Expressions	Stateflow to Tabular Expressions
Test case	A Method for Automated Test Data Generation from Sequence Diagrams and Object Constraint Language
Test Data	A Method for Automated Test Data Generation from Sequence Diagrams and Object Constraint Language
Test Scenarios	A Method for Automated Test Data Generation from Sequence Diagrams and Object Constraint Language
testbed	Joint Routing-Distributed Session Control for Highly Dynamic Ad hoc Networks
throughput	A Method at Link Layer to Improve the Fairness in Multi-hop Wireless Ad Hoc Networks
Tokyo taxi	People and parcels sharing a taxi for Tokyo city
Topic modeling	A multi-criteria document clustering method based on topic modeling and pseudoclosure function
Total variation	A DENOISING METHOD BASED ON TOTAL VARIATION
Transmitters Placement	Multi-Objective transmitters Placement Problem in wireless Networks
U
unary classification	Towards more realistic machine learning techniques for prediction of disease-associated genes
User localization	A Robust Shadow Removal Technique Applying For Person Localization in a Surveillance Environment
V
variability pattern	Graphical User Interface Variability Architecture Pattern
Vietnamese	Improving Vietnamese Dependency Parsing using Distributed Word Representations
virtual machin placement	Minimizing Total Busy Time for Energy-Aware Virtual Machine Allocation Problems
virtual machine allocation	Minimizing Total Busy Time for Energy-Aware Virtual Machine Allocation Problems
W
Wireless Networks	Multi-Objective transmitters Placement Problem in wireless Networks
Wireless Sensor Network	An Improved Genetic Algorithm for Maximizing Area Coverage in Wireless Sensor Networks A Distributed Protocol to Detect and Update Hole Boundary in Wireless Sensor Networks Component-Based Abstraction of Petri Net Models: An Application for Congestion Verification of Wireless Sensor Networks Synchronous networks for insects surveillance

Disclaimer | Powered by EasyChair Smart Program