Pub Date : 2021-12-11DOI: 10.21655/ijsi.1673-7288.00278
Mao Luo, Chu Min Li, Xinyun Wu, Shuolin Li, Zhipeng Lü
The two most effective branching strategies LRB and VSIDS perform differently on different types of instances. Generally, LRB is more effective on crafted instances, while VSIDS is more effective on application ones. However, distinguishing the types of instances is difficult. To overcome this drawback, we propose a branching strategy selection approach based on the vivification ratio. This approach uses the LRB branching strategy more to solve the instances with a very low vivification ratio. We tested the instances from the main track of SAT competitions in recent years. The results show that the proposed approach is robust and it significantly increases the number of solved instances. It is worth mentioning that, with the help of our approach, the solver Maple CM can solve more than 16 instances for the benchmark from the 2020 SAT competition.
{"title":"Branching Strategy Selection Approach Based on Vivification Ratio","authors":"Mao Luo, Chu Min Li, Xinyun Wu, Shuolin Li, Zhipeng Lü","doi":"10.21655/ijsi.1673-7288.00278","DOIUrl":"https://doi.org/10.21655/ijsi.1673-7288.00278","url":null,"abstract":"The two most effective branching strategies LRB and VSIDS perform differently on different types of instances. Generally, LRB is more effective on crafted instances, while VSIDS is more effective on application ones. However, distinguishing the types of instances is difficult. To overcome this drawback, we propose a branching strategy selection approach based on the vivification ratio. This approach uses the LRB branching strategy more to solve the instances with a very low vivification ratio. We tested the instances from the main track of SAT competitions in recent years. The results show that the proposed approach is robust and it significantly increases the number of solved instances. It is worth mentioning that, with the help of our approach, the solver Maple CM can solve more than 16 instances for the benchmark from the 2020 SAT competition.","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"8 9-10","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131752421","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}
Pub Date : 2021-03-31DOI: 10.21655/IJSI.1673-7288.00244
Lei Chen, Hongzhi Wang, Yongxin Tong, H. Gao
{"title":"Preface to the Special Issue on Data Management and Analysis Technique Supporting AI","authors":"Lei Chen, Hongzhi Wang, Yongxin Tong, H. Gao","doi":"10.21655/IJSI.1673-7288.00244","DOIUrl":"https://doi.org/10.21655/IJSI.1673-7288.00244","url":null,"abstract":"","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"118 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-03-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128166933","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}
In this paper we describe the design of DNA Jewellery, which is a wearable tangible data representation of personal DNA profile data. An iterative design process was followed to develop a 3D form-language that could be mapped to standard DNA profile data, with the aim of retaining readability of data while also producing an aesthetically pleasing and unique result in the area of personalized design. The work explores design issues with the production of data tangibles, contributes to a growing body of research exploring tangible representations of data and highlights the importance of approaches that move between technology, art and design.
{"title":"Design of a Tangible Data Visualization","authors":"A. Rezaeian, J. Donovan","doi":"10.1145/2636240.2636869","DOIUrl":"https://doi.org/10.1145/2636240.2636869","url":null,"abstract":"In this paper we describe the design of DNA Jewellery, which is a wearable tangible data representation of personal DNA profile data. An iterative design process was followed to develop a 3D form-language that could be mapped to standard DNA profile data, with the aim of retaining readability of data while also producing an aesthetically pleasing and unique result in the area of personalized design. The work explores design issues with the production of data tangibles, contributes to a growing body of research exploring tangible representations of data and highlights the importance of approaches that move between technology, art and design.","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127864997","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}
S. Ruchika, Susmitha Pulakhandam, I. Jassi, G. R. M. Reddy
Ember is a smartphone web browser interface designed exclusively for the blind user. The Ember keypad enables blind users to type using their knowledge of Braille. The interface is intuitive to the blind user because the layout consists of a very few large targets and remains consistent throughout the application. The verbal command option provides another dimension for user-interface interaction. Twelve out of thirteen users found that Ember verbal command navigation was easier than using a traditional web browser. Ten out of thirteen users found it faster to use the Ember tactile method of navigation compared to a traditional web browser. The learning rate for both the tactile and verbal command methods was faster compared to the learning rate associated with a traditional web browser layout. Finally it was seen that five out of five users found it significantly faster to use the Ember keypad compared to the QWERTY keypad.
{"title":"Ember: A Smartphone Web Browser Interface for the Blind","authors":"S. Ruchika, Susmitha Pulakhandam, I. Jassi, G. R. M. Reddy","doi":"10.1145/2636240.2636847","DOIUrl":"https://doi.org/10.1145/2636240.2636847","url":null,"abstract":"Ember is a smartphone web browser interface designed exclusively for the blind user. The Ember keypad enables blind users to type using their knowledge of Braille. The interface is intuitive to the blind user because the layout consists of a very few large targets and remains consistent throughout the application. The verbal command option provides another dimension for user-interface interaction. Twelve out of thirteen users found that Ember verbal command navigation was easier than using a traditional web browser. Ten out of thirteen users found it faster to use the Ember tactile method of navigation compared to a traditional web browser. The learning rate for both the tactile and verbal command methods was faster compared to the learning rate associated with a traditional web browser layout. Finally it was seen that five out of five users found it significantly faster to use the Ember keypad compared to the QWERTY keypad.","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"36 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116643493","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}
Mobile devices are more and more popular in recent years. As a result, there're huge requests of mobile applications, especially those integrated with multiple information. However, on one hand, most of the mobile applications at present just contain some certain kinds of information and they cannot adapt to the rapid change of users' requirements, either. On the other hand, to build these applications, it's usually time consuming and there are not enough resource components with programmable interfaces. In this paper, we propose an approach based on Internerware to building web page integration applications for mobile device. We introduce a framework that provides abundant internet-programmable interfaces, a flexible integration mechanism to meet the users' rapid changing requirements and a reliable mechanism that guarantees the quality of the referred resources effectively. With this framework, we can rapidly build an application that integrates all the information according to users' requirement.
{"title":"An internetware based approach to building web page integration applications for mobile devices","authors":"Tianwei Sun, Feng Xu, Jian Lü","doi":"10.1145/2020723.2020728","DOIUrl":"https://doi.org/10.1145/2020723.2020728","url":null,"abstract":"Mobile devices are more and more popular in recent years. As a result, there're huge requests of mobile applications, especially those integrated with multiple information. However, on one hand, most of the mobile applications at present just contain some certain kinds of information and they cannot adapt to the rapid change of users' requirements, either. On the other hand, to build these applications, it's usually time consuming and there are not enough resource components with programmable interfaces. In this paper, we propose an approach based on Internerware to building web page integration applications for mobile device. We introduce a framework that provides abundant internet-programmable interfaces, a flexible integration mechanism to meet the users' rapid changing requirements and a reliable mechanism that guarantees the quality of the referred resources effectively. With this framework, we can rapidly build an application that integrates all the information according to users' requirement.","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"130 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-11-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122643916","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}
Pub Date : 2010-09-01DOI: 10.1007/978-3-642-15280-1_8
Nophadol Jekjantuk, Gerd Gröner, Jeff Z. Pan
{"title":"Modelling and Reasoning in Metamodelling Enabled Ontologies","authors":"Nophadol Jekjantuk, Gerd Gröner, Jeff Z. Pan","doi":"10.1007/978-3-642-15280-1_8","DOIUrl":"https://doi.org/10.1007/978-3-642-15280-1_8","url":null,"abstract":"","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132646098","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}
Pub Date : 2010-09-01DOI: 10.1007/978-3-642-15280-1_40
S. Wandelt, R. Möller, Michael Wessel
{"title":"Towards Scalable Instance Retrieval over Ontologies","authors":"S. Wandelt, R. Möller, Michael Wessel","doi":"10.1007/978-3-642-15280-1_40","DOIUrl":"https://doi.org/10.1007/978-3-642-15280-1_40","url":null,"abstract":"","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128944666","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：