首页 > 最新文献

2008 IEEE International Conference on Information Reuse and Integration最新文献

英文 中文
Extraction of objects contours for body language study 用于肢体语言研究的物体轮廓提取
Pub Date : 2008-07-13 DOI: 10.1109/IRI.2008.4583033
R. Kountchev, S. Rubin, M. Milanova, V. Todorov, R. Kountcheva
A new method for contours extraction in grayscale images for body language study is presented in this paper. The image processing is based on two kinds of image filtration, used to suppress the image textures and to smooth the image background, retaining the main contours. For the textures suppression, we use an adaptive fuzzy filter and for the background processing we use a 2D linear digital filter of a non-recursive kind. The contours extraction is done with image segmentation based on the “Triangle algorithm”, specially modified for this application. The intelligent contours extraction is very useful for multiple applications, such as body language understanding, sign-language representations for training of deaf people, etc. The contour images permit very efficient lossless compression with high compression ratio, which is a base for the development of various application tools for the mobile communications and distance learning.
提出了一种用于肢体语言研究的灰度图像轮廓提取新方法。图像处理是基于两种图像滤波,用于抑制图像纹理和平滑图像背景,保留主要轮廓。对于纹理抑制,我们使用了自适应模糊滤波器,对于背景处理,我们使用了非递归的二维线性数字滤波器。轮廓提取是通过基于“三角形算法”的图像分割完成的,该算法是专门为本应用程序修改的。智能轮廓提取在肢体语言理解、聋哑人训练的手语表示等方面具有广泛的应用价值。该轮廓图像具有很高的压缩率和高效的无损压缩能力,为开发各种移动通信和远程学习应用工具奠定了基础。
{"title":"Extraction of objects contours for body language study","authors":"R. Kountchev, S. Rubin, M. Milanova, V. Todorov, R. Kountcheva","doi":"10.1109/IRI.2008.4583033","DOIUrl":"https://doi.org/10.1109/IRI.2008.4583033","url":null,"abstract":"A new method for contours extraction in grayscale images for body language study is presented in this paper. The image processing is based on two kinds of image filtration, used to suppress the image textures and to smooth the image background, retaining the main contours. For the textures suppression, we use an adaptive fuzzy filter and for the background processing we use a 2D linear digital filter of a non-recursive kind. The contours extraction is done with image segmentation based on the “Triangle algorithm”, specially modified for this application. The intelligent contours extraction is very useful for multiple applications, such as body language understanding, sign-language representations for training of deaf people, etc. The contour images permit very efficient lossless compression with high compression ratio, which is a base for the development of various application tools for the mobile communications and distance learning.","PeriodicalId":169554,"journal":{"name":"2008 IEEE International Conference on Information Reuse and Integration","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126537817","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
An ontology for Multi-Agent Domain and Application Engineering 面向多智能体领域和应用工程的本体
Pub Date : 2008-07-13 DOI: 10.1109/IRI.2008.4583012
Adriana Leite, R. Girardi, Uiratan Cavalcante
The application of ontologies in Software Engineering presents several advantages. Ontologies allow for the formalized and integrated representation of models and their documentation in a same knowledge base, making the selection of these artifacts more precise through semantics inferences. They are also easily expandable and integrable. This paper introduces ONTORMAS, an ontology-driven tool for multi-agent systems development which integrates concepts from Multi-agent Domain and Application Engineering following the guidelines of the MADEM and MAAEM methodologies.
本体在软件工程中的应用有几个优点。本体允许在相同的知识库中对模型及其文档进行形式化和集成的表示,从而通过语义推断使这些工件的选择更加精确。它们也很容易扩展和积分。本文介绍了ONTORMAS,一个用于多智能体系统开发的本体驱动工具,它遵循MADEM和MAAEM方法的指导原则,集成了多智能体领域和应用工程的概念。
{"title":"An ontology for Multi-Agent Domain and Application Engineering","authors":"Adriana Leite, R. Girardi, Uiratan Cavalcante","doi":"10.1109/IRI.2008.4583012","DOIUrl":"https://doi.org/10.1109/IRI.2008.4583012","url":null,"abstract":"The application of ontologies in Software Engineering presents several advantages. Ontologies allow for the formalized and integrated representation of models and their documentation in a same knowledge base, making the selection of these artifacts more precise through semantics inferences. They are also easily expandable and integrable. This paper introduces ONTORMAS, an ontology-driven tool for multi-agent systems development which integrates concepts from Multi-agent Domain and Application Engineering following the guidelines of the MADEM and MAAEM methodologies.","PeriodicalId":169554,"journal":{"name":"2008 IEEE International Conference on Information Reuse and Integration","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122665561","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}
引用次数: 6
Development of an evaluation model for Question Answering Systems 问答系统评价模型的开发
Pub Date : 2008-07-13 DOI: 10.1109/IRI.2008.4583026
Chorng-Shyong Ong, Min-Yuh Day, W. Hsu
Question Answering Systems (QAS) are receiving increasing attention from information systems researchers, particularly those in the information retrieval and natural language processing communities. Evaluation of an information system’s success and user satisfaction are important issues in information systems research, especially for emerging online service systems on the Internet. Although many QAS have been implemented, little work has been done on the development of an evaluation model for them. The purpose of this study is to develop an evaluation model for question answering systems from user’s perspective. We have established the theoretical foundation and conceptualization of the constructs for user satisfaction with question answering systems. We have developed a general instrument capable of reliably and accurately measuring user satisfaction in the context of question answering systems. The proposed evaluation model provides a framework for the design of question answering systems from the user’s perspective to enhance user satisfaction and acceptance of QAS.
问答系统(QAS)越来越受到信息系统研究者的关注,特别是在信息检索和自然语言处理领域。评价一个信息系统的成功和用户满意度是信息系统研究中的重要问题,特别是对于新兴的互联网在线服务系统。虽然已经实施了许多质量保证体系,但在为它们开发评估模型方面所做的工作很少。本研究的目的是建立一个基于用户视角的问答系统评价模型。建立了问答系统用户满意度结构的理论基础和概念。我们已经开发了一种通用的仪器,能够在问答系统的背景下可靠而准确地测量用户满意度。本文提出的评价模型为从用户角度设计问答系统提供了一个框架,以提高用户对问答系统的满意度和接受度。
{"title":"Development of an evaluation model for Question Answering Systems","authors":"Chorng-Shyong Ong, Min-Yuh Day, W. Hsu","doi":"10.1109/IRI.2008.4583026","DOIUrl":"https://doi.org/10.1109/IRI.2008.4583026","url":null,"abstract":"Question Answering Systems (QAS) are receiving increasing attention from information systems researchers, particularly those in the information retrieval and natural language processing communities. Evaluation of an information system’s success and user satisfaction are important issues in information systems research, especially for emerging online service systems on the Internet. Although many QAS have been implemented, little work has been done on the development of an evaluation model for them. The purpose of this study is to develop an evaluation model for question answering systems from user’s perspective. We have established the theoretical foundation and conceptualization of the constructs for user satisfaction with question answering systems. We have developed a general instrument capable of reliably and accurately measuring user satisfaction in the context of question answering systems. The proposed evaluation model provides a framework for the design of question answering systems from the user’s perspective to enhance user satisfaction and acceptance of QAS.","PeriodicalId":169554,"journal":{"name":"2008 IEEE International Conference on Information Reuse and Integration","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130363495","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
Modeling and synthesis of service composition using tree automata 基于树自动机的服务组合建模与综合
Pub Date : 2008-07-13 DOI: 10.1109/IRI.2008.4583003
K. Pu, Ying Zhu
We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing finite state machine and graph-based approaches to the problem of service composition, tree automata offers a more flexible and faithful modeling of multi-input services and their admissible compositions. In our framework, tree automata is used to express both type signature constraints of individual services as well as constraints on the order in which services must be invoked. To synthesize service compositions, users may provide optional specifications on the desired composite service. The user specifications are also expressed as tree automata. We employ a combination of tree automata algorithms to compute the set of all possible valid service compositions which satisfy the user specifications.
我们从树自动机的角度重新审视了面向服务体系结构上下文中服务组合的综合问题。与现有的有限状态机和基于图的服务组合方法相比,树形自动机为多输入服务及其可接受的组合提供了更加灵活和可靠的建模。在我们的框架中,树自动机既用于表示单个服务的类型签名约束,也用于表示必须调用服务的顺序约束。为了合成服务组合,用户可以提供所需组合服务的可选规范。用户规格也表示为树自动机。我们采用树自动机算法的组合来计算满足用户规范的所有可能的有效服务组合的集合。
{"title":"Modeling and synthesis of service composition using tree automata","authors":"K. Pu, Ying Zhu","doi":"10.1109/IRI.2008.4583003","DOIUrl":"https://doi.org/10.1109/IRI.2008.4583003","url":null,"abstract":"We revisit the problem of synthesis of service composition in the context of service oriented architecture from a tree automata perspective. Comparing to existing finite state machine and graph-based approaches to the problem of service composition, tree automata offers a more flexible and faithful modeling of multi-input services and their admissible compositions. In our framework, tree automata is used to express both type signature constraints of individual services as well as constraints on the order in which services must be invoked. To synthesize service compositions, users may provide optional specifications on the desired composite service. The user specifications are also expressed as tree automata. We employ a combination of tree automata algorithms to compute the set of all possible valid service compositions which satisfy the user specifications.","PeriodicalId":169554,"journal":{"name":"2008 IEEE International Conference on Information Reuse and Integration","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129901547","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
An alignment-based surface pattern for a question answering system 一种用于问答系统的基于对齐的曲面模式
Pub Date : 2008-07-13 DOI: 10.1109/IRI.2008.4583025
Cheng-Lung Sung, Cheng-Wei Lee, H. Yen, W. Hsu
In this paper, we propose an alignment-based surface pattern approach, called ABSP, which integrates semantic information into syntactic patterns for question answering (QA). ABSP uses surface patterns to extract important terms from questions, and constructs the terms’ relations from sentences in the corpus. The relations are then used to filter appropriate answer candidates. Experiments show that ABSP can achieve high accuracy and can be incorporated into other QA systems that have high coverage. It can also be used in cross-lingual QA systems. The approach is both robust and portable to other domains.
在本文中,我们提出了一种基于对齐的表面模式方法,称为ABSP,它将语义信息集成到问答(QA)的句法模式中。ABSP使用表面模式从问题中提取重要的术语,并从语料库中的句子中构建术语的关系。然后使用这些关系筛选合适的候选答案。实验结果表明,该方法具有较高的准确度,可与其他高覆盖率的质量保证系统相结合。它也可以用于跨语言的QA系统。该方法既健壮又可移植到其他领域。
{"title":"An alignment-based surface pattern for a question answering system","authors":"Cheng-Lung Sung, Cheng-Wei Lee, H. Yen, W. Hsu","doi":"10.1109/IRI.2008.4583025","DOIUrl":"https://doi.org/10.1109/IRI.2008.4583025","url":null,"abstract":"In this paper, we propose an alignment-based surface pattern approach, called ABSP, which integrates semantic information into syntactic patterns for question answering (QA). ABSP uses surface patterns to extract important terms from questions, and constructs the terms’ relations from sentences in the corpus. The relations are then used to filter appropriate answer candidates. Experiments show that ABSP can achieve high accuracy and can be incorporated into other QA systems that have high coverage. It can also be used in cross-lingual QA systems. The approach is both robust and portable to other domains.","PeriodicalId":169554,"journal":{"name":"2008 IEEE International Conference on Information Reuse and Integration","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131064859","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}
引用次数: 12
Eliminating the threat of kernel stack overflows 消除内核堆栈溢出的威胁
Pub Date : 2008-07-13 DOI: 10.1109/IRI.2008.4583015
Y. Wiseman, J. Isaacson, Eliad Lubovsky
The Linux kernel stack has a fixed size. There is no mechanism to prevent the kernel from overflowing the stack. Hackers can exploit this bug to put unwanted information in the memory of the operating system and gain control over the system. In order to prevent this problem, we introduce a dynamically sized kernel stack that can be integrated into the standard Linux kernel. The well-known paging mechanism is reused with some changes, in order to enable the kernel stack to grow.
Linux内核堆栈的大小是固定的。没有机制可以防止内核溢出堆栈。黑客可以利用这个漏洞将不需要的信息放入操作系统的内存中,从而获得对系统的控制。为了防止这个问题,我们引入了一个可以集成到标准Linux内核中的动态大小的内核堆栈。众所周知的分页机制经过一些修改后被重用,以便使内核堆栈能够增长。
{"title":"Eliminating the threat of kernel stack overflows","authors":"Y. Wiseman, J. Isaacson, Eliad Lubovsky","doi":"10.1109/IRI.2008.4583015","DOIUrl":"https://doi.org/10.1109/IRI.2008.4583015","url":null,"abstract":"The Linux kernel stack has a fixed size. There is no mechanism to prevent the kernel from overflowing the stack. Hackers can exploit this bug to put unwanted information in the memory of the operating system and gain control over the system. In order to prevent this problem, we introduce a dynamically sized kernel stack that can be integrated into the standard Linux kernel. The well-known paging mechanism is reused with some changes, in order to enable the kernel stack to grow.","PeriodicalId":169554,"journal":{"name":"2008 IEEE International Conference on Information Reuse and Integration","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129296644","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}
引用次数: 26
A layered approach to semantic similarity analysis of XML schemas XML模式语义相似性分析的分层方法
Pub Date : 2008-07-13 DOI: 10.1109/IRI.2008.4583042
Jaewook Kim, Yun Peng, B. Kulvatunyou, N. Ivezic, Albert T. Jones
One of the most critical steps to integrating heterogeneous e-Business applications using different XML schemas is schema mapping, which is known to be costly and error-prone. Past research on schema mapping has not fully utilized semantic information in the XML schemas. In this paper, we propose a semantic similarity analysis approach to facilitate XML schema mapping, merging and reuse. Several key innovations are introduced to better utilize available semantic information. These innovations, including: 1) a layered semantic structure of XML schema, 2) layered specific similarity measures using an information content based approach, and 3) a scheme for integrating similarities at all layers. Experimental results using two different schemas from an real world application demonstrate that the proposed approach is valuable for addressing difficulties in XML schema mapping.
使用不同的XML模式集成异构电子商务应用程序的最关键步骤之一是模式映射,众所周知,模式映射成本高且容易出错。过去对模式映射的研究没有充分利用XML模式中的语义信息。在本文中,我们提出了一种语义相似度分析方法来促进XML模式映射、合并和重用。介绍了几个关键的创新,以更好地利用可用的语义信息。这些创新包括:1)XML模式的分层语义结构,2)使用基于信息内容的方法分层特定的相似性度量,以及3)在所有层集成相似性的方案。使用来自实际应用程序的两种不同模式的实验结果表明,所提出的方法对于解决XML模式映射中的困难是有价值的。
{"title":"A layered approach to semantic similarity analysis of XML schemas","authors":"Jaewook Kim, Yun Peng, B. Kulvatunyou, N. Ivezic, Albert T. Jones","doi":"10.1109/IRI.2008.4583042","DOIUrl":"https://doi.org/10.1109/IRI.2008.4583042","url":null,"abstract":"One of the most critical steps to integrating heterogeneous e-Business applications using different XML schemas is schema mapping, which is known to be costly and error-prone. Past research on schema mapping has not fully utilized semantic information in the XML schemas. In this paper, we propose a semantic similarity analysis approach to facilitate XML schema mapping, merging and reuse. Several key innovations are introduced to better utilize available semantic information. These innovations, including: 1) a layered semantic structure of XML schema, 2) layered specific similarity measures using an information content based approach, and 3) a scheme for integrating similarities at all layers. Experimental results using two different schemas from an real world application demonstrate that the proposed approach is valuable for addressing difficulties in XML schema mapping.","PeriodicalId":169554,"journal":{"name":"2008 IEEE International Conference on Information Reuse and Integration","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128038316","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
Reengineering XML into object-oriented database 将XML重新设计为面向对象的数据库
Pub Date : 2008-07-13 DOI: 10.1109/IRI.2008.4582995
Taher Naser, R. Alhajj, M. Ridley
This paper handles the conversion from an existing XML-Schema into object-oriented database. The major motivation for this work is to store XML-Schema into object oriented database. There are more common features between the object-oriented model and XML, and thus it is more attractive to map from XML into object-oriented database; such mapping preserves database specifics. To achieve the mapping, what we call the object graph is derived based on characteristics of the XML-Schema; it simply summarizes and includes all complex and simple elements and the links, which are the basics of the XML-Schema. Then, the links are simulated in terms of nesting to get a simulated object graph. This way, everything in a simulated object graph is directly representable in object-oriented database. Finally, we handle the mapping of the actual data from XML document(s) into the corresponding object-oriented database.
本文处理从现有xml模式到面向对象数据库的转换。这项工作的主要动机是将XML-Schema存储到面向对象的数据库中。面向对象模型和XML之间有更多的共同特征,因此从XML映射到面向对象数据库更有吸引力;这种映射保留了数据库的特性。为了实现映射,我们根据XML-Schema的特征派生出我们所说的对象图;它只是总结并包含所有复杂和简单的元素和链接,这些都是XML-Schema的基础。然后,根据嵌套对链接进行模拟,得到模拟的对象图。这样,模拟对象图中的所有内容都可以在面向对象数据库中直接表示。最后,我们处理实际数据从XML文档到相应的面向对象数据库的映射。
{"title":"Reengineering XML into object-oriented database","authors":"Taher Naser, R. Alhajj, M. Ridley","doi":"10.1109/IRI.2008.4582995","DOIUrl":"https://doi.org/10.1109/IRI.2008.4582995","url":null,"abstract":"This paper handles the conversion from an existing XML-Schema into object-oriented database. The major motivation for this work is to store XML-Schema into object oriented database. There are more common features between the object-oriented model and XML, and thus it is more attractive to map from XML into object-oriented database; such mapping preserves database specifics. To achieve the mapping, what we call the object graph is derived based on characteristics of the XML-Schema; it simply summarizes and includes all complex and simple elements and the links, which are the basics of the XML-Schema. Then, the links are simulated in terms of nesting to get a simulated object graph. This way, everything in a simulated object graph is directly representable in object-oriented database. Finally, we handle the mapping of the actual data from XML document(s) into the corresponding object-oriented database.","PeriodicalId":169554,"journal":{"name":"2008 IEEE International Conference on Information Reuse and Integration","volume":"127 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124117659","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
Reachability analysis of Web service interfaces Web服务接口的可达性分析
Pub Date : 2008-07-13 DOI: 10.1109/IRI.2008.4583002
Xutao Du, Chunxiao Xing, Lizhu Zhou
We use WCFA (Web Service Interface Control Flow Automata) to model web service interfaces. Global behaviors of web service compositions are captured by abstract reachability graph(ARG). A polynomial time algorithm for the construction of ARG is presented. The algorithm uses a reachability analysis to verify both safety and call stack inspection properties. Both kinds of properties are expressed by assertions at control points of ARG. Each control point is equipped with a state formula and a call stack. Verification is done by a SAT solver which checks whether the assertions are logical consequences of the state formulas(or the call stacks).
我们使用WCFA (Web服务接口控制流自动机)对Web服务接口建模。通过抽象可达性图(ARG)捕获web服务组合的全局行为。提出了一种构造ARG的多项式时间算法。该算法使用可达性分析来验证安全性和调用堆栈检查属性。这两种属性都由ARG控制点上的断言表示。每个控制点都配备了一个状态公式和一个调用堆栈。验证由SAT求解器完成,它检查断言是否是状态公式(或调用堆栈)的逻辑结果。
{"title":"Reachability analysis of Web service interfaces","authors":"Xutao Du, Chunxiao Xing, Lizhu Zhou","doi":"10.1109/IRI.2008.4583002","DOIUrl":"https://doi.org/10.1109/IRI.2008.4583002","url":null,"abstract":"We use WCFA (Web Service Interface Control Flow Automata) to model web service interfaces. Global behaviors of web service compositions are captured by abstract reachability graph(ARG). A polynomial time algorithm for the construction of ARG is presented. The algorithm uses a reachability analysis to verify both safety and call stack inspection properties. Both kinds of properties are expressed by assertions at control points of ARG. Each control point is equipped with a state formula and a call stack. Verification is done by a SAT solver which checks whether the assertions are logical consequences of the state formulas(or the call stacks).","PeriodicalId":169554,"journal":{"name":"2008 IEEE International Conference on Information Reuse and Integration","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128470149","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
Biological question answering with syntactic and semantic feature matching and an improved mean reciprocal ranking measurement 基于句法和语义特征匹配和改进的平均对等排序测量的生物学问题回答
Pub Date : 2008-07-13 DOI: 10.1109/IRI.2008.4583027
Ryan T. K. Lin, J. Chiu, Hong-Jie Dai, Min-Yuh Day, Richard Tzong-Han Tsai, W. Hsu
Specific information on biomolecular events such as protein-protein and gene-protein interactions is essential for molecular biology researchers. However, the results derived by current keyword-based information retrieval engine contain a great deal of noisy information, which forces biologists to use a combination of several keywords to locate information. To resolve this problem, we propose a question answering (QA) system that offers more efficient and user-friendly ways to retrieve desired information. In addition, QA system measurements may suffer from the same score problem, so the evaluation of a QA system may be unfair. An improved mean reciprocal rank (MRR) measurement, mean average reciprocal rank (MARR), and an efficient formula to reduce the computational complexity of the MARR are proposed to address the same score problem. With our syntactic and semantic features, our system achieves a Top-1 MARR of 74.11% and Top-5 MARR of 76.68%. Compared to the baseline system, Top-1 MARR and Top-5 MARR increase by 16.17% and 18.61% respectively.
生物分子事件的具体信息,如蛋白质-蛋白质和基因-蛋白质相互作用是分子生物学研究人员必不可少的。然而,目前基于关键字的信息检索引擎所得到的结果包含了大量的噪声信息,这迫使生物学家使用多个关键字的组合来定位信息。为了解决这个问题,我们提出了一个问答(QA)系统,它提供了更有效和用户友好的方式来检索所需的信息。此外,QA系统测量可能会受到相同分数问题的影响,因此QA系统的评估可能是不公平的。为了解决同分问题,提出了一种改进的平均倒数秩(MRR)度量方法、平均倒数秩(MARR)和降低MARR计算复杂度的有效公式。根据我们的句法和语义特征,我们的系统实现了前1名的MARR为74.11%,前5名的MARR为76.68%。与基线系统相比,Top-1 MARR和Top-5 MARR分别提高了16.17%和18.61%。
{"title":"Biological question answering with syntactic and semantic feature matching and an improved mean reciprocal ranking measurement","authors":"Ryan T. K. Lin, J. Chiu, Hong-Jie Dai, Min-Yuh Day, Richard Tzong-Han Tsai, W. Hsu","doi":"10.1109/IRI.2008.4583027","DOIUrl":"https://doi.org/10.1109/IRI.2008.4583027","url":null,"abstract":"Specific information on biomolecular events such as protein-protein and gene-protein interactions is essential for molecular biology researchers. However, the results derived by current keyword-based information retrieval engine contain a great deal of noisy information, which forces biologists to use a combination of several keywords to locate information. To resolve this problem, we propose a question answering (QA) system that offers more efficient and user-friendly ways to retrieve desired information. In addition, QA system measurements may suffer from the same score problem, so the evaluation of a QA system may be unfair. An improved mean reciprocal rank (MRR) measurement, mean average reciprocal rank (MARR), and an efficient formula to reduce the computational complexity of the MARR are proposed to address the same score problem. With our syntactic and semantic features, our system achieves a Top-1 MARR of 74.11% and Top-5 MARR of 76.68%. Compared to the baseline system, Top-1 MARR and Top-5 MARR increase by 16.17% and 18.61% respectively.","PeriodicalId":169554,"journal":{"name":"2008 IEEE International Conference on Information Reuse and Integration","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126626201","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}
引用次数: 18
期刊
2008 IEEE International Conference on Information Reuse and Integration
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1