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

2012 7th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI)最新文献

筛选
英文 中文
Theory Exploration in Theorema: Case Study on Lists 定理的理论探索:关于列表的案例研究
2012 7th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI) Pub Date : 2012-05-24 DOI: 10.1109/SACI.2012.6250041
I. Dramnesc, T. Jebelean
{"title":"Theory Exploration in Theorema: Case Study on Lists","authors":"I. Dramnesc, T. Jebelean","doi":"10.1109/SACI.2012.6250041","DOIUrl":"https://doi.org/10.1109/SACI.2012.6250041","url":null,"abstract":"We present the systematic build-up in the Theorema system of the theory of lists. This was carried out in parallel with the process of synthesis of some sorting algorithms in the same system. We use appropriate induction principles for lists and we construct a collections of properties of lists which are necessary for the automatic synthesis of sorting algorithms. In contrast with another version of the list theory in the Theorema system, which is based on higher order logic and uses sequence variables, our approach uses first order predicate logic (which is semi-decidable). This approach opens the way for the effective automation of proofs, of the exploration of theories and of the synthesis of the algorithms applied on lists. This case study in theory exploration can be also used in teaching, especially because it is completely supported by the Theorema system.","PeriodicalId":293436,"journal":{"name":"2012 7th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133955405","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
MAGIKMAIDS: Mobile agents for in-kernel monitoring, assessment and intervention in distributed systems MAGIKMAIDS:用于分布式系统内核内监控、评估和干预的移动代理
2012 7th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI) Pub Date : 2012-05-24 DOI: 10.1109/SACI.2012.6249974
Cristian-Mircea Dinu, L. Gheorghe, N. Tapus
{"title":"MAGIKMAIDS: Mobile agents for in-kernel monitoring, assessment and intervention in distributed systems","authors":"Cristian-Mircea Dinu, L. Gheorghe, N. Tapus","doi":"10.1109/SACI.2012.6249974","DOIUrl":"https://doi.org/10.1109/SACI.2012.6249974","url":null,"abstract":"As distributed systems have begun to play a more and more central role in modern computing, their size and complexity has increased up to the point where centralized, human-mediated management of the system is unfeasible. A need arises to endow these systems with a form of distributed intelligence so as to allow scalable self-organization and timely response to changing conditions. Mobile agents are one well-established method of implementing such versatile distributed intelligence and many mobile agent platforms have been created for use in computer networks and distributed systems. While all such efforts so far have been limited to user space, we consider the novel approach of implementing such a platform in kernel space. We begin by making a case for why a kernel space implementation would present worthwhile advantages, then we investigate possible implementation paradigms and follow with the architecture and details specific to our chosen approach. Finally, we evaluate our platform in terms of performance and ease of use and draw the appropriate conclusions.","PeriodicalId":293436,"journal":{"name":"2012 7th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI)","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133582200","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
Robust control of the 15N isotope separation column 15N同位素分离柱的鲁棒控制
2012 7th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI) Pub Date : 2012-05-24 DOI: 10.1109/SACI.2012.6249969
R. Both, E. Dulf, A. Neaga, C. Darab
{"title":"Robust control of the 15N isotope separation column","authors":"R. Both, E. Dulf, A. Neaga, C. Darab","doi":"10.1109/SACI.2012.6249969","DOIUrl":"https://doi.org/10.1109/SACI.2012.6249969","url":null,"abstract":"The aim of this paper is to design an advanced control for the 15N-isotope separation processes for such complex processes is necessary Due to the nonlinear behavior of the process and due to possible load changes and other disturbances, the use of advanced control strategy is necessary. Designing the advanced control based on the nonlinear model of the isotope separation process leads to a very complex controller structure, hard to implement. This is the reason why a simple linear model of the process which describes its most important properties is preferred. In order to counter act the simplifications introduced in the modeling stage, to reduce the sensitivity of the system and to limit the command signals, the robust control strategy is chosen. From the multiple design strategies available for multivariable control, the authors have chosen the H∞, robust design method. The designed controller is implemented in Matlab/SIMULINK and tested in simulations achieving successful results.","PeriodicalId":293436,"journal":{"name":"2012 7th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI)","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115546395","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
Automated EA-type question generation from annotated texts 从注释文本自动生成ea类型的问题
2012 7th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI) Pub Date : 2012-05-24 DOI: 10.1109/SACI.2012.6250000
László Bednarik, L. Kovács
{"title":"Automated EA-type question generation from annotated texts","authors":"László Bednarik, L. Kovács","doi":"10.1109/SACI.2012.6250000","DOIUrl":"https://doi.org/10.1109/SACI.2012.6250000","url":null,"abstract":"The field of automated question generation is an active investigated area within the development of e-learning systems. The paper gives first an overview of the main methods and then the architecture of the proposed system is presented in details. The novelty of the proposed application lies in the target language Hungarian and in the application of soft computing methods for generation of semi-synonyms as no free thesaurus is available for the target language. The last part of the paper shows an example process of test generation.","PeriodicalId":293436,"journal":{"name":"2012 7th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI)","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123014109","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
Simplified selective fault tolerance technique for protection of selected inputs via triple modular redundancy systems 三模冗余系统选择输入保护的简化选择容错技术
2012 7th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI) Pub Date : 2012-05-24 DOI: 10.1109/SACI.2012.6250014
L. Agnola, M. Vladutiu, M. Udrescu, L. Prodan
{"title":"Simplified selective fault tolerance technique for protection of selected inputs via triple modular redundancy systems","authors":"L. Agnola, M. Vladutiu, M. Udrescu, L. Prodan","doi":"10.1109/SACI.2012.6250014","DOIUrl":"https://doi.org/10.1109/SACI.2012.6250014","url":null,"abstract":"This paper presents a modified version of the Selective Fault Tolerance method, which achieves substantial area reduction over the state of the art. This technique is proved to achieve substantial area reduction and better reliability results when applied in conjunction with the so-called SAM method for reliable cache memory. The simulation results show that we achieved an improvement of up to over 20% in terms of area and energy overhead, compared with the state of the art. Also compared to a classic TMR we obtain improvements of up to 65%, with a mean improvement of 25% in terms of area and energy reduction. Furthermore when we combine the simplified selective fault tolerance technique to the SAM method for cache memories and compare the results to a classic TMR, not only we obtain a 65% decrease in area and energy overhead, but also we manage to achieve an improvement in reliability.","PeriodicalId":293436,"journal":{"name":"2012 7th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121976370","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
Finger-based gesture control of a collaborative online workspace 基于手指的手势控制协作在线工作空间
2012 7th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI) Pub Date : 2012-05-24 DOI: 10.1109/SACI.2012.6249973
C. Gadea, B. Ionescu, D. Ionescu, S. Islam, B. Solomon
{"title":"Finger-based gesture control of a collaborative online workspace","authors":"C. Gadea, B. Ionescu, D. Ionescu, S. Islam, B. Solomon","doi":"10.1109/SACI.2012.6249973","DOIUrl":"https://doi.org/10.1109/SACI.2012.6249973","url":null,"abstract":"A gesture-based human computer interface can make computers and devices easier to use, such as by allowing people to share photos by moving their hands through the air. Existing solutions have relied on exotic hardware, often involving elaborate setups limited to the research lab. Gesture recognition algorithms used so far are not practical or responsive enough for real-world use, partially due to the inadequate data on which the image processing is applied. Most importantly, existing solutions have lacked a workspace that allows users to perform common collaborative tasks by using their hands and fingers. In this paper, a new paradigm for next-generation computer interfaces is introduced. The method presented is based on a custom 3D camera that is easy to set up and has a flexible detection range. This method accurately detects hand gestures from depth data, allowing them to be used to control any application or device. The paper proposes the control of application windows and their content in collaborative online workspaces on which many teams cooperate to complete useful tasks, as shown with examples.","PeriodicalId":293436,"journal":{"name":"2012 7th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130456907","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
Online informatics application for managing payments and time for individuals 在线信息学应用程序管理支付和时间的个人
2012 7th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI) Pub Date : 2012-05-01 DOI: 10.1109/SACI.2012.6250042
Serban Popa, G. Proștean
{"title":"Online informatics application for managing payments and time for individuals","authors":"Serban Popa, G. Proștean","doi":"10.1109/SACI.2012.6250042","DOIUrl":"https://doi.org/10.1109/SACI.2012.6250042","url":null,"abstract":"Various solutions have been proposed for the utilities payments e.g. gas, electricity, water, mobile and fixed phones, internet, TV, insurance, local taxes, etc. These payments are generally classified in two categories: online payment methods and outside payments methods, at different pay points. This paper presents a solution for paying the utilities that involves an online method which has an original and novel concept. This method is transparent to the user and involves zero time spent for payments and smaller costs generated by commissions than in other existing payment methods. It provides the facility for the user to perform a single payment in a month that centralizes all the utility invoices together with local taxes, car and house insurance in a month which are redirected to each utility provider or billing entity.","PeriodicalId":293436,"journal":{"name":"2012 7th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121229230","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
Object recognition on satellite images with biologically-inspired computational approaches 基于生物启发计算方法的卫星图像目标识别
2012 7th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI) Pub Date : 2012-05-01 DOI: 10.1109/SACI.2012.6249980
Md Sina, P. Payeur, A. Crétu
{"title":"Object recognition on satellite images with biologically-inspired computational approaches","authors":"Md Sina, P. Payeur, A. Crétu","doi":"10.1109/SACI.2012.6249980","DOIUrl":"https://doi.org/10.1109/SACI.2012.6249980","url":null,"abstract":"The human vision system is often significantly superior in extracting and interpreting visual information when compared to classical computer vision systems. The exploitation of existing knowledge about human perception is expected to improve the performance of computational vision systems. Computational visual attention has been reported to improve scene understanding performance. This paper discusses some of the difficulties faced by the current generation of visual attention systems when applied on satellite images. Next, a novel technique for top-down attention is devised which is based on the energy of bottom-up feature maps and overcomes some of the limitations of previous approaches. The computed top-down map is then used as a method of object localization in the object recognition phase that makes use of texture and shape information using local binary patterns, Legendre moments and Hu moment invariants. The proposed algorithm is shown to perform better than other similar systems on satellite images in many aspects.","PeriodicalId":293436,"journal":{"name":"2012 7th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128165828","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
首页 上一页
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学术官方微信