Knowledge and Systems Engineering Proceedings of the Fifth International Conference KSE 2013, Volume 1

Preface.- Organization.- Part I Keynote addresses.- What Ontological Engineering Can Do for Solving Real-World Problems.- Argumentation for Practical Reasoning.- Legal Engineering and its Natural Language Processing.- Part II KSE 2103 Main Track.- A Hierarchical Approach for High-Quality and Fast Image Completion.- The un-normalized graph p-Laplacian based semi-supervised learning method and protein function prediction problem.- On Horn Knowledge Bases in Regular Description Logic with Inverse.- On the Semantics of Defeasible Reasoning for Description Logic Ontologies.- SudocAD: A Knowledge-Based System for the Author Linkage Problem.- Word Confidence Estimation and its Integration in Sentence Quality Estimation for Machine Translation.- An improvement of prosodic characteristics in Vietnamese Text to Speech System.- Text-Independent Phone Segmentation Method Using Gaussian Function.- New Composition of Intuitionist Fuzzy Relations.- Using Unicode in encoding the Vietnamese ethnic minority languages, applying for the Ede language.- Improving Moore’s Sentence Alignment Method Using Bilingual Word Clustering.- Frequent Temporal Inter-object Pattern Mining in Time Series iSPLOM: Interactive with Scatter plot Matrix for Exploring Multidimensional Data.- An online monitoring solution for complex distributed systems based on hierarchical monitoring agents.- Incomplete Encryption Based on Multi-channel AES Algorithm to Digital Rights Management.- Enhance matching web service security policies with semantic.- An Efficient Method for Discovering Motifs in Streaming Time Series Data.- On Discriminate Orientation Extraction Using GridLDA of Line Orientation Maps for Palm print Identification.- Localization and Velocity Estimation on Bus with Cell-ID.- A New Improved Term Weighting Scheme for Text Categorization.- Gender Prediction Using Browsing History.- News Aggregating System Supporting Semantic Processing Based on Ontology.- Inference of autism-related genes byintegrating protein-protein interactions and miRNA-target interactions.- Modeling and verifying imprecise requirements of systems using Event-B Resolution in Linguistic Propositional Logic based on Linear Symmetrical Hedge Algebra.- A Sub gradient Method to Improve Approximation Ratio in the Minimum Latency Problem.- Particulate Matter concentration Estimation from satellite aerosol and meteorological parameters: Data-driven approaches.- A Spatio-Temporal Profiling Model for Person Identification.- Secure Authentication For Mobile Devices Based On Acoustic Background Fingerprint.- Pomelo’s Quality Classification based on Combination of Color Information and Gabor Filter.- Local Descriptors without Orientation Normalization to Enhance Landmark Recognition.- Finding round-off error using symbolic execution.