Innovations in Systems and Software Engineering最新文献

筛选
英文 中文
Editorial 编辑
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-09-01 DOI: 10.1007/s11334-022-00482-2
Zhé Hóu, Vijay Ganesh, Jing Sun
{"title":"Editorial","authors":"Zhé Hóu, Vijay Ganesh, Jing Sun","doi":"10.1007/s11334-022-00482-2","DOIUrl":"https://doi.org/10.1007/s11334-022-00482-2","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"18 1","pages":"333 - 334"},"PeriodicalIF":1.2,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46380074","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
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata 从Emerson Lei自动机到确定性、极限确定性或对MDP自动机有利
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-09-01 DOI: 10.1007/s11334-022-00459-1
Tobias John, Simon Jantsch, C. Baier, Sascha Klüppelholz
{"title":"From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata","authors":"Tobias John, Simon Jantsch, C. Baier, Sascha Klüppelholz","doi":"10.1007/s11334-022-00459-1","DOIUrl":"https://doi.org/10.1007/s11334-022-00459-1","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"18 1","pages":"385-403"},"PeriodicalIF":1.2,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42111113","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}
引用次数: 1
Certifying DFA Bounds for Recognition and Separation 认证用于识别和分离的DFA边界
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-09-01 DOI: 10.1007/s11334-022-00446-6
O. Kupferman, Nir Lavee, Salomon Sickert
{"title":"Certifying DFA Bounds for Recognition and Separation","authors":"O. Kupferman, Nir Lavee, Salomon Sickert","doi":"10.1007/s11334-022-00446-6","DOIUrl":"https://doi.org/10.1007/s11334-022-00446-6","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"18 1","pages":"405-416"},"PeriodicalIF":1.2,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52912807","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}
引用次数: 1
AALpy: an active automata learning library 一个主动自动机学习库
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-09-01 DOI: 10.1007/s11334-022-00449-3
Edi Muškardin, B. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler
{"title":"AALpy: an active automata learning library","authors":"Edi Muškardin, B. Aichernig, Ingo Pill, Andrea Pferscher, Martin Tappler","doi":"10.1007/s11334-022-00449-3","DOIUrl":"https://doi.org/10.1007/s11334-022-00449-3","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":"9 1","pages":"417-426"},"PeriodicalIF":1.2,"publicationDate":"2022-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52912911","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
Impact of augmentation methods in online signature verification 增强方法在在线签名验证中的影响
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-08-11 DOI: 10.1007/s11334-022-00464-4
Dawid Najda, K. Saeed
{"title":"Impact of augmentation methods in online signature verification","authors":"Dawid Najda, K. Saeed","doi":"10.1007/s11334-022-00464-4","DOIUrl":"https://doi.org/10.1007/s11334-022-00464-4","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":" ","pages":""},"PeriodicalIF":1.2,"publicationDate":"2022-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43923432","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
Classification of diabetic retinopathy using stacked machine learning approach on low resource dataset 基于低资源数据集的堆叠机器学习方法对糖尿病视网膜病变的分类
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-08-11 DOI: 10.1007/s11334-022-00473-3
Diganta Sengupta, Subhash Mondal, Anish De Kumar, Pretha Sur
{"title":"Classification of diabetic retinopathy using stacked machine learning approach on low resource dataset","authors":"Diganta Sengupta, Subhash Mondal, Anish De Kumar, Pretha Sur","doi":"10.1007/s11334-022-00473-3","DOIUrl":"https://doi.org/10.1007/s11334-022-00473-3","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":" ","pages":""},"PeriodicalIF":1.2,"publicationDate":"2022-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49423504","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}
引用次数: 1
Human emotion recognition by analyzing facial expressions, heart rate and blogs using deep learning method 通过使用深度学习方法分析面部表情、心率和博客来识别人类情绪
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-08-11 DOI: 10.1007/s11334-022-00471-5
Rajib Ghosh, Ditipriya Sinha
{"title":"Human emotion recognition by analyzing facial expressions, heart rate and blogs using deep learning method","authors":"Rajib Ghosh, Ditipriya Sinha","doi":"10.1007/s11334-022-00471-5","DOIUrl":"https://doi.org/10.1007/s11334-022-00471-5","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":" ","pages":""},"PeriodicalIF":1.2,"publicationDate":"2022-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46085752","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
Extractive single-document summarization using adaptive binary constrained multi-objective differential evaluation 基于自适应二元约束多目标差分评价的提取单文档摘要
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-08-09 DOI: 10.1007/s11334-022-00474-2
Dipanwita Debnath, Ranjita Das, Partha Pakray, Ruzina Laskar
{"title":"Extractive single-document summarization using adaptive binary constrained multi-objective differential evaluation","authors":"Dipanwita Debnath, Ranjita Das, Partha Pakray, Ruzina Laskar","doi":"10.1007/s11334-022-00474-2","DOIUrl":"https://doi.org/10.1007/s11334-022-00474-2","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":" ","pages":""},"PeriodicalIF":1.2,"publicationDate":"2022-08-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48444525","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
Generation of all rooted trees up to a given height 所有有根树的一代,直到给定的高度
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-08-03 DOI: 10.1007/s11334-022-00467-1
S. Chakraborty, Maumita Chakraborty, R. Pal
{"title":"Generation of all rooted trees up to a given height","authors":"S. Chakraborty, Maumita Chakraborty, R. Pal","doi":"10.1007/s11334-022-00467-1","DOIUrl":"https://doi.org/10.1007/s11334-022-00467-1","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":" ","pages":""},"PeriodicalIF":1.2,"publicationDate":"2022-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41433990","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
AgroBLF: blockchain-based framework for smart agriculture AgroBLF:基于区块链的智能农业框架
IF 1.2
Innovations in Systems and Software Engineering Pub Date : 2022-07-28 DOI: 10.1007/s11334-022-00468-0
Oindrila Bhadra, Swagatika Sahoo, Raju Halder, Chandra Mohan Kumar
{"title":"AgroBLF: blockchain-based framework for smart agriculture","authors":"Oindrila Bhadra, Swagatika Sahoo, Raju Halder, Chandra Mohan Kumar","doi":"10.1007/s11334-022-00468-0","DOIUrl":"https://doi.org/10.1007/s11334-022-00468-0","url":null,"abstract":"","PeriodicalId":44465,"journal":{"name":"Innovations in Systems and Software Engineering","volume":" ","pages":""},"PeriodicalIF":1.2,"publicationDate":"2022-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44872001","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学术文献互助群
群 号:481959085
Book学术官方微信