Proceedings of the 3rd Symposium on Information and Communication Technology最新文献

筛选
英文 中文
Proceedings of the 3rd Symposium on Information and Communication Technology 第三届信息与通信技术学术研讨会论文集
Giang Nguyen Trong, L. Hluchý, Thang Huynh Quyet, Eric Castelli, Khanh Tran Duc, M. Chi, V. Tran
{"title":"Proceedings of the 3rd Symposium on Information and Communication Technology","authors":"Giang Nguyen Trong, L. Hluchý, Thang Huynh Quyet, Eric Castelli, Khanh Tran Duc, M. Chi, V. Tran","doi":"10.1145/2350716","DOIUrl":"https://doi.org/10.1145/2350716","url":null,"abstract":"The third Symposium on Information and Communication Technology (SoICT2012) was held on August 23--24, 2012, in Ha Long, Vietnam. As the preceding editions, SoICT2012 is a scientific forum which aims at bringing together researchers and practitioners for technical discussions and interactions on major computing topics. SoICT2012 is organized by ACM Vietnam Chapter and School of Information and Communication Technology - Hanoi University of Science and Technology.","PeriodicalId":208300,"journal":{"name":"Proceedings of the 3rd Symposium on Information and Communication Technology","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122663397","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Faithfully formalizing OSEK/VDX operating system specification 忠实地形式化OSEK/VDX操作系统规范
Proceedings of the 3rd Symposium on Information and Communication Technology Pub Date : 2012-08-23 DOI: 10.1145/2350716.2350721
Dieu-Huong Vu, Toshiaki Aoki
{"title":"Faithfully formalizing OSEK/VDX operating system specification","authors":"Dieu-Huong Vu, Toshiaki Aoki","doi":"10.1145/2350716.2350721","DOIUrl":"https://doi.org/10.1145/2350716.2350721","url":null,"abstract":"OSEK/VDX has proposed a standard for operating systems used in automotive systems. This standard is described in the form of informal specification. The informal specification is not suitable for applying formal methods to the whole of the software development because the ambiguity of the specification causes many problems in the development. Hence, we are formalizing the specification of OSEK/VDX using a formal specification language. Because this specification has been standardized, we do not change it but faithfully formalize it. This paper shows our approach to faithfully formalize this specification. On the one hand, it aims at bi-directional traceability between the informal specification and the formal specification. On the other hand, it aims at feasibility of checking the meaning of the formal definition with the meaning of the informal description. Therefore, this approach supports validating the formal specification against the informal specification. Consequently, it improves the confidence of the equivalence between the informal specification and the formal specification.","PeriodicalId":208300,"journal":{"name":"Proceedings of the 3rd Symposium on Information and Communication Technology","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131045422","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Ant colony optimization for model predictive control for blood glucose regulation 基于蚁群优化的血糖调节模型预测控制
Proceedings of the 3rd Symposium on Information and Communication Technology Pub Date : 2012-08-23 DOI: 10.1145/2350716.2350749
Y. Ho, Binh P. Nguyen, C. Chui
{"title":"Ant colony optimization for model predictive control for blood glucose regulation","authors":"Y. Ho, Binh P. Nguyen, C. Chui","doi":"10.1145/2350716.2350749","DOIUrl":"https://doi.org/10.1145/2350716.2350749","url":null,"abstract":"This paper presents an adaptation of the Ant System method to find the optimal control input for blood glucose regulation using Model Predictive Control (MPC). The Ant System optimization method was implemented to solve a linear MPC problem and performance was compared with the interior point method for optimization. The Ant System was found to perform well for the linear MPC problem and has the advantage over the interior point method as it can extended for use with non-linear MPC problems.","PeriodicalId":208300,"journal":{"name":"Proceedings of the 3rd Symposium on Information and Communication Technology","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131085741","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Building a license plate recognition system for Vietnam tollbooth 越南收费站车牌识别系统建设
Proceedings of the 3rd Symposium on Information and Communication Technology Pub Date : 2012-08-23 DOI: 10.1145/2350716.2350734
V. Mai, D. Miao, Ruizhi Wang
{"title":"Building a license plate recognition system for Vietnam tollbooth","authors":"V. Mai, D. Miao, Ruizhi Wang","doi":"10.1145/2350716.2350734","DOIUrl":"https://doi.org/10.1145/2350716.2350734","url":null,"abstract":"The Automatic License Plate Recognition (ALPR) system has wide application and very important in the Intelligent Transportation System (ITS) such as the Electronic Toll Collection (ETC) system. The purpose of this paper is designing an Automatic License Plate Recognition (ALPR) system, which will be applied for one-stop and non-stop ETC in Vietnam. Our ALPR system consists of two major parts: the first part is hardware system and the second part is software system. In the first part, the price, types of equipments and technology will be considered for designing, which satisfied for Vietnam environment, Vietnam regulation in the road pricing rules and Vietnam standard of ETC. In the second part, we will combined image processing technology and artificial neural network to proposed a improved software system, our software include four modules: image capture, license plate location, characters segmentation and characters recognition. Our ALPR software will be tested by 700 Vietnam vehicle images, which obtained from actual system and complex background: lightening conditions (night & day), license angles, illumination, size and type, colors and reflected light. Our ALPR software is more effective than some of the existing methods earlier, the efficiency of computing time & accuracy is improved and very satisfied for all types of Vietnam LP and Vietnam environment.","PeriodicalId":208300,"journal":{"name":"Proceedings of the 3rd Symposium on Information and Communication Technology","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127048450","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Augmented media for traditional magazines 传统杂志的增强媒体
Proceedings of the 3rd Symposium on Information and Communication Technology Pub Date : 2012-08-23 DOI: 10.1145/2350716.2350733
Vinh-Tiep Nguyen, M. Tran, Trung-Nghia Le, Quoc-Minh Bui, A. Duong
{"title":"Augmented media for traditional magazines","authors":"Vinh-Tiep Nguyen, M. Tran, Trung-Nghia Le, Quoc-Minh Bui, A. Duong","doi":"10.1145/2350716.2350733","DOIUrl":"https://doi.org/10.1145/2350716.2350733","url":null,"abstract":"Reading traditional newspapers or magazines is a common way to get latest information about events or new products. However these printed materials only provide readers with static information. Readers may want to know more detail information about some product in an article or to watch video clips related to an event mentioned in a news right at the moment when they read that article or news. The authors propose a system with mobile devices that can provide extra information and multimedia for readers by applying augmented reality to traditional magazines. A user can enjoy extra rich multimedia information on a product or news on his/her mobile device just by looking at an article in a traditional magazine through his/her mobile device. The system detects which article in which page of a magazine that is being displayed in a mobile device and provides a reader with related information and multimedia objects. The important feature of our proposed system is using lightweight filter to efficiently filter out candidate covers or articles that do not visually match an image captured by a mobile device. The experiment shows that our proposed system achieves the average accuracy of more than 90% and can process in the real-time manner.","PeriodicalId":208300,"journal":{"name":"Proceedings of the 3rd Symposium on Information and Communication Technology","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115570638","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
A type system for finding upper resource bounds of multi-threaded programs with nested transactions 一个用于查找具有嵌套事务的多线程程序的资源上限的类型系统
Proceedings of the 3rd Symposium on Information and Communication Technology Pub Date : 2012-08-23 DOI: 10.1145/2350716.2350722
Xuan-Tung Vu, Thi Mai Thuong Tran, Anh-Hoang Truong, M. Steffen
{"title":"A type system for finding upper resource bounds of multi-threaded programs with nested transactions","authors":"Xuan-Tung Vu, Thi Mai Thuong Tran, Anh-Hoang Truong, M. Steffen","doi":"10.1145/2350716.2350722","DOIUrl":"https://doi.org/10.1145/2350716.2350722","url":null,"abstract":"We present a static, compositional analysis based on a type and effect system to estimate an upper bound for the resource consumption of nested and multi-threaded transactional programs. This work extends our previous type system for Transactional Featherweight Java to allow more liberal use of transactions in the semantics. The new types are also more expressive and structurally simpler using a linear representation instead of a tree representation for capturing static approximation of resource consumption. We prove the soundness of our analysis.","PeriodicalId":208300,"journal":{"name":"Proceedings of the 3rd Symposium on Information and Communication Technology","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128377849","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Multipath routing for cluster-based and event-based protocols in wireless sensor networks 无线传感器网络中基于集群和基于事件协议的多路径路由
Proceedings of the 3rd Symposium on Information and Communication Technology Pub Date : 2012-08-23 DOI: 10.1145/2350716.2350743
T. Quynh, Thuy Tran Vinh, M. Banh
{"title":"Multipath routing for cluster-based and event-based protocols in wireless sensor networks","authors":"T. Quynh, Thuy Tran Vinh, M. Banh","doi":"10.1145/2350716.2350743","DOIUrl":"https://doi.org/10.1145/2350716.2350743","url":null,"abstract":"Wireless Sensor Network (WSN) that consists of a large number of small sensing self-powered nodes is a promising approach for a variety of applications. Possible applications of WSN are of interest to the most diverse fields: environmental monitoring, warfare, child education, surveillance, micro-surgery and agriculture are only few examples. Due to limited power of sensor nodes that are distributed in a large geographical area, the WSN requires robust but simple, scalable, energy-efficient and also self-configurable routing algorithms. From these characteristics, WSN routing protocol can coarsely be classified in two main classes: flat and hierarchical approaches. Hierarchical solution (also called cluster-based) separates nodes in clusters and the communication within clusters is possible only through the selected leaders or Cluster Head-CH. In the reality, it is not always necessary to divide all the network to clusters because one event can only appear in a small part. In this case, routing protocol needs to form only one cluster with one CH for minimizing the amount of data sending to the base station (BS). Some such routing approaches (called cluster-based and event-based) are proposed as ARPEES [1], OEDSR [2], HPEQ[3]... but they all create only one optimal route from CH to the BS and this route can be broken when the sensor node's power is negligible. In this paper, we propose two multipath solutions called Multiparth ARPEES (MARPEES) and Energy Aware Mesh Routing Protocol (EMRP) for ensuring reliable and fault-tolerance data transmission while balancing node's energy consumption in the network and minimizing the control overhead. The simulation results show that our solutions achieve better performance than other cluster-based and event-based routing protocols.","PeriodicalId":208300,"journal":{"name":"Proceedings of the 3rd Symposium on Information and Communication Technology","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127875515","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Timed traces and their applications in specification and verification of distributed real-time systems 时间轨迹及其在分布式实时系统规范和验证中的应用
Proceedings of the 3rd Symposium on Information and Communication Technology Pub Date : 2012-08-23 DOI: 10.1145/2350716.2350723
Do Van Chieu, D. Hung
{"title":"Timed traces and their applications in specification and verification of distributed real-time systems","authors":"Do Van Chieu, D. Hung","doi":"10.1145/2350716.2350723","DOIUrl":"https://doi.org/10.1145/2350716.2350723","url":null,"abstract":"This paper proposes a method for specification and verification of distributed real-time systems using timed traces. The key idea of the proposed method is to extend distributed transition systems and linear temporal logic over Foata configurations with time. We show that systems are easily specified and verified with this method. The system behaviors are specified by a distributed duration transition system and the system properties are specified by a formula of our proposed timed logic over timed traces. We give an algorithm for solving the verification problem automatically. We also give an example to illustrate how our algorithm work.","PeriodicalId":208300,"journal":{"name":"Proceedings of the 3rd Symposium on Information and Communication Technology","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127583189","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
An efficient method for on-line Vietnamese handwritten character recognition 一种有效的在线越南文手写字符识别方法
Proceedings of the 3rd Symposium on Information and Communication Technology Pub Date : 2012-08-23 DOI: 10.1145/2350716.2350737
De Cao Tran
{"title":"An efficient method for on-line Vietnamese handwritten character recognition","authors":"De Cao Tran","doi":"10.1145/2350716.2350737","DOIUrl":"https://doi.org/10.1145/2350716.2350737","url":null,"abstract":"This paper deals with the problem of recognizing Vietnamese handwritten characters. Vietnamese is an accented writing language. Accented characters increase the number of classes to be recognized, which causes declining in the performance of powerful classifier such as SVM. To overcome this challenge, an accented character is segmented into two parts: the root character or letter and the accent. They are recognized separately, and then combined to build the accented character. This approach avoids increasing the number of classes to be considered. Therefore, the correct recognition rate can be improved and the response time can be reduced. The data investigated in this work is on-line produced by a tablet. The combination of on-line and off-line features is used. The experimental investigations show that the handwritten character recognition built on 45 selected features can compete with the recognition rate and response time of other well known tested on standard databases such as UNIPEN and IRONOFF.","PeriodicalId":208300,"journal":{"name":"Proceedings of the 3rd Symposium on Information and Communication Technology","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128396736","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Improving document retrieval using special characteristics of lecture recording documents 利用讲座录音文档的特点改进文档检索
Proceedings of the 3rd Symposium on Information and Communication Technology Pub Date : 2012-08-23 DOI: 10.1145/2350716.2350754
Christoph Hermann
{"title":"Improving document retrieval using special characteristics of lecture recording documents","authors":"Christoph Hermann","doi":"10.1145/2350716.2350754","DOIUrl":"https://doi.org/10.1145/2350716.2350754","url":null,"abstract":"With the increasing use of lecture recordings, content providers are facing the challenge to make electronic lecture materials both easily accessible and searchable. Therefore powerful search engines need to be implemented that allow users to easily retrieve documents fulfilling their information needs. While there has been a lot of research in the domain of text search, special characteristics of lecture recording documents have not yet gotten much attention. Lecture recording documents differ from text documents such as papers, scripts or web pages because they usually do not contain running texts but rather listings and enumerations. Additionally, lecture recording documents contain time-based data such as an audio or video stream of the lecturer as well as handwritten annotations. Analyzing these additional data streams leads to an improvement of the search process. Our novel approach to analyze annotations of lecture recording documents improves document relevance estimation during the search in lecture materials. Hence, technology had been developed to make the contents and special properties of lecture recordings accessible and searchable. We describe key issues encountered during these developments and present experimental results of our search engine which takes into account the special characteristics of lecture recording documents during the indexing process. Searching our archive of over 15,000 files only takes a few milliseconds and enables us to offer a search-as-you-type user interface, query auto-completion and visual browsing.","PeriodicalId":208300,"journal":{"name":"Proceedings of the 3rd Symposium on Information and Communication Technology","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-08-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126333779","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信