发布求助
文献互助 智能选刊 最新文献

Int. J. Softw. Informatics最新文献

筛选
英文 中文
Branching Strategy Selection Approach Based on Vivification Ratio 基于活化率的分支策略选择方法
Int. J. Softw. Informatics Pub Date : 2021-12-11 DOI: 10.21655/ijsi.1673-7288.00278
Mao Luo, Chu Min Li, Xinyun Wu, Shuolin Li, Zhipeng Lü
{"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}
引用次数: 0
PandaDB: Intelligent Management System for Heterogeneous Data PandaDB:异构数据智能管理系统
Int. J. Softw. Informatics Pub Date : 2021-04-07 DOI: 10.21655/IJSI.1673-7288.00241
Zhihong Shen, Zihao Zhao, Huajin Wang, Zhongxin Liu, Chuan Hu, C. Zhou
{"title":"PandaDB: Intelligent Management System for Heterogeneous Data","authors":"Zhihong Shen, Zihao Zhao, Huajin Wang, Zhongxin Liu, Chuan Hu, C. Zhou","doi":"10.21655/IJSI.1673-7288.00241","DOIUrl":"https://doi.org/10.21655/IJSI.1673-7288.00241","url":null,"abstract":"","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-04-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114689180","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
Preface to the Special Issue on Data Management and Analysis Technique Supporting AI 《支持人工智能的数据管理和分析技术》特刊前言
Int. J. Softw. Informatics Pub Date : 2021-03-31 DOI: 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}
引用次数: 0
KGDB: Knowledge Graph Database System with Unified Model and Query Language KGDB:具有统一模型和查询语言的知识图谱数据库系统
Int. J. Softw. Informatics Pub Date : 2021-03-31 DOI: 10.21655/IJSI.1673-7288.00243
Baozhu Liu, Xin Wang, Peng Liu, Sizhuo Li, Xiaowang Zhang, Yajun Yang
{"title":"KGDB: Knowledge Graph Database System with Unified Model and Query Language","authors":"Baozhu Liu, Xin Wang, Peng Liu, Sizhuo Li, Xiaowang Zhang, Yajun Yang","doi":"10.21655/IJSI.1673-7288.00243","DOIUrl":"https://doi.org/10.21655/IJSI.1673-7288.00243","url":null,"abstract":"","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"132 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":"122902438","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}
引用次数: 5
Local Semantic Structure Captured and Instance Discriminated by Unsupervised Hashing 基于无监督哈希的局部语义结构捕获与实例识别
Int. J. Softw. Informatics Pub Date : 2021-03-31 DOI: 10.21655/IJSI.1673-7288.00240
Changsheng Li, Q. Min, Yurong Cheng, Ye Yuan, Guoren Wang
{"title":"Local Semantic Structure Captured and Instance Discriminated by Unsupervised Hashing","authors":"Changsheng Li, Q. Min, Yurong Cheng, Ye Yuan, Guoren Wang","doi":"10.21655/IJSI.1673-7288.00240","DOIUrl":"https://doi.org/10.21655/IJSI.1673-7288.00240","url":null,"abstract":"","PeriodicalId":218849,"journal":{"name":"Int. J. Softw. Informatics","volume":"11 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":"128675324","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
Design of a Tangible Data Visualization 一个有形数据可视化的设计
Int. J. Softw. Informatics Pub Date : 2014-08-05 DOI: 10.1145/2636240.2636869
A. Rezaeian, J. Donovan
{"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}
引用次数: 10
Ember: A Smartphone Web Browser Interface for the Blind 烬:为盲人设计的智能手机网络浏览器界面
Int. J. Softw. Informatics Pub Date : 2014-08-05 DOI: 10.1145/2636240.2636847
S. Ruchika, Susmitha Pulakhandam, I. Jassi, G. R. M. Reddy
{"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}
引用次数: 2
An internetware based approach to building web page integration applications for mobile devices 为移动设备构建网页集成应用程序的基于互联网的方法
Int. J. Softw. Informatics Pub Date : 2010-11-03 DOI: 10.1145/2020723.2020728
Tianwei Sun, Feng Xu, Jian Lü
{"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}
引用次数: 0
Modelling and Reasoning in Metamodelling Enabled Ontologies 支持元建模的本体中的建模和推理
Int. J. Softw. Informatics Pub Date : 2010-09-01 DOI: 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}
引用次数: 21
Towards Scalable Instance Retrieval over Ontologies 面向本体的可伸缩实例检索
Int. J. Softw. Informatics Pub Date : 2010-09-01 DOI: 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}
引用次数: 16
下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信