首页 > 最新文献

Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518)最新文献

英文 中文
Parameter passing for the Java virtual machine 为Java虚拟机传递的参数
John Gough
The portability and runtime safety of programs which are executed on the Java Virtual Machine (JVM) makes the JVM an attractive target for compilers of languages other than Java. Unfortunately, the JVM was designed with language Java in mind, and lacks many of the primitives required for a straightforward implementation of other languages. Most fundamental of these obstacles is the limited range of parameter passing modes offered by the JVM. We discuss possible ways of using the JVM to provide parameter passing modes with alternative semantics, and explore one particular architecture in practice. The interaction between these mechanisms and the Java "byte code verifier" is also considered. The open source Gardens Point Component Pascal compiler compiles the entire Component Pascal language, a dialect of Oberon-2, to JVM bytecodes. This compiler achieves runtime efficiencies which are comparable to native-code implementations of procedural languages.
在Java虚拟机(JVM)上执行的程序的可移植性和运行时安全性使JVM成为除Java之外的其他语言编译器的一个有吸引力的目标。不幸的是,JVM在设计时考虑了Java语言,并且缺乏其他语言直接实现所需的许多原语。这些障碍中最基本的是JVM提供的参数传递模式的有限范围。我们将讨论使用JVM提供具有替代语义的参数传递模式的可能方法,并在实践中探索一种特定的体系结构。还考虑了这些机制与Java“字节码验证器”之间的交互。开源的Gardens Point Component Pascal编译器将整个Component Pascal语言(Oberon-2的一种方言)编译为JVM字节码。该编译器的运行时效率可与过程语言的本机代码实现相媲美。
{"title":"Parameter passing for the Java virtual machine","authors":"John Gough","doi":"10.1109/ACSC.2000.824384","DOIUrl":"https://doi.org/10.1109/ACSC.2000.824384","url":null,"abstract":"The portability and runtime safety of programs which are executed on the Java Virtual Machine (JVM) makes the JVM an attractive target for compilers of languages other than Java. Unfortunately, the JVM was designed with language Java in mind, and lacks many of the primitives required for a straightforward implementation of other languages. Most fundamental of these obstacles is the limited range of parameter passing modes offered by the JVM. We discuss possible ways of using the JVM to provide parameter passing modes with alternative semantics, and explore one particular architecture in practice. The interaction between these mechanisms and the Java \"byte code verifier\" is also considered. The open source Gardens Point Component Pascal compiler compiles the entire Component Pascal language, a dialect of Oberon-2, to JVM bytecodes. This compiler achieves runtime efficiencies which are comparable to native-code implementations of procedural languages.","PeriodicalId":304540,"journal":{"name":"Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518)","volume":"159 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114946745","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
Refining edge detection within spiral architecture 改进螺旋结构内的边缘检测
Xiangjian He, T. Hintz
Detection of edge points of 3-dimensional physical object in a 2-dimensional image is one of the main research areas of computer vision. Object contour detection and object recognition rely heavily on edge detection. The Spiral Architecture, a relatively new image structure, possesses powerful computational features that are pertinent to the vision process. In this paper, we present an edge detection scheme using Gaussian Multi-resolution Theory. The detection algorithm reduces noise and unnecessary details of the image. This algorithm is applied to obtain the edge maps of some well-known images for image processing.
二维图像中三维物体边缘点的检测是计算机视觉的主要研究方向之一。目标轮廓检测和目标识别在很大程度上依赖于边缘检测。螺旋结构是一种相对较新的图像结构,具有与视觉过程相关的强大计算特征。本文提出了一种基于高斯多分辨率理论的边缘检测方案。该检测算法减少了图像的噪声和不必要的细节。将该算法应用于一些知名图像的边缘映射获取,用于图像处理。
{"title":"Refining edge detection within spiral architecture","authors":"Xiangjian He, T. Hintz","doi":"10.1109/ACSC.2000.824389","DOIUrl":"https://doi.org/10.1109/ACSC.2000.824389","url":null,"abstract":"Detection of edge points of 3-dimensional physical object in a 2-dimensional image is one of the main research areas of computer vision. Object contour detection and object recognition rely heavily on edge detection. The Spiral Architecture, a relatively new image structure, possesses powerful computational features that are pertinent to the vision process. In this paper, we present an edge detection scheme using Gaussian Multi-resolution Theory. The detection algorithm reduces noise and unnecessary details of the image. This algorithm is applied to obtain the edge maps of some well-known images for image processing.","PeriodicalId":304540,"journal":{"name":"Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518)","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115839811","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
Transforming communication skills instruction: the conference approach 转变沟通技巧教学:会议方法
Paul Gruba, H. Søndergaard
From the social constructivist perspective of education, learning is best achieved when students face complex, real world problems in which there are no clear answers. Faced with a sizeable common goal, students work collaboratively towards outcomes and maintain ownership over key decisions. The role of staff is that of facilitators whose role is to challenge learners to explore multiple aspects of the problem as they go about reaching viable solutions. Such a role contrasts, for example, to an approach which sets out to lead students to a presumed correct solution that is already possessed by the instructor. Based on these principles we designed and implemented a course on communication skills in Computer Science. Here, we describe our experiences using a student-run conference as a means to teach communication skills. In this approach, students were charged with the task of planning and organising a conference, including peer review, publicity, budget, sponsorship, web design, conference program, presentation schedule, speaker support, and catering. We describe the principles and their implementation and reflect on the outcome.
从教育的社会建构主义角度来看,当学生面对复杂的、现实世界中没有明确答案的问题时,学习是最好的。面对一个相当大的共同目标,学生们为了取得成果而协同工作,并对关键决策保持所有权。教师的角色是促进者,他们的角色是挑战学习者在找到可行的解决方案时探索问题的多个方面。例如,这种角色与一种方法形成对比,这种方法旨在引导学生找到教师已经掌握的假定正确的解决方案。基于这些原则,我们设计并实施了一门计算机科学中的沟通技巧课程。在这里,我们描述了我们利用学生组织的会议来教授沟通技巧的经验。在这种方法中,学生负责策划和组织会议,包括同行评审、宣传、预算、赞助、网页设计、会议计划、演讲安排、演讲者支持和餐饮。我们描述这些原则及其实施情况,并对结果进行反思。
{"title":"Transforming communication skills instruction: the conference approach","authors":"Paul Gruba, H. Søndergaard","doi":"10.1109/ACSC.2000.824385","DOIUrl":"https://doi.org/10.1109/ACSC.2000.824385","url":null,"abstract":"From the social constructivist perspective of education, learning is best achieved when students face complex, real world problems in which there are no clear answers. Faced with a sizeable common goal, students work collaboratively towards outcomes and maintain ownership over key decisions. The role of staff is that of facilitators whose role is to challenge learners to explore multiple aspects of the problem as they go about reaching viable solutions. Such a role contrasts, for example, to an approach which sets out to lead students to a presumed correct solution that is already possessed by the instructor. Based on these principles we designed and implemented a course on communication skills in Computer Science. Here, we describe our experiences using a student-run conference as a means to teach communication skills. In this approach, students were charged with the task of planning and organising a conference, including peer review, publicity, budget, sponsorship, web design, conference program, presentation schedule, speaker support, and catering. We describe the principles and their implementation and reflect on the outcome.","PeriodicalId":304540,"journal":{"name":"Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518)","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115936236","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}
引用次数: 7
Investigating the application of virtual environment technology for use in the petroleum exploration industry 研究虚拟环境技术在石油勘探工业中的应用
K. Nesbitt, R. J. Gallimore, B. J. Orenstein
Although the concepts of virtual environments or virtual reality have been researched for many years, the industrial application of these concepts is a relatively recent event in the evolution of the human-computer interface. This paper outlines an investigation by a commercial research organization (BHP Research) into the applications of this technology. The major domain under investigation was that of petroleum exploration. The focus of the research was two-fold, namely, the use of virtual environments to enable multi-sensory interpretation of data and the ability of virtual environments to enhance collaboration amongst work teams. Appraisal was conducted by trialing the applications amongst a wide user base. While it is not possible to divulge in full the recommendations that resulted from this work, a number of observations are made about the use of this technology for petroleum exploration. Furthermore, various general implications for the use of this technology are discussed.
虽然虚拟环境或虚拟现实的概念已经研究了很多年,但这些概念的工业应用在人机界面的演变中是一个相对较新的事件。本文概述了一家商业研究机构(BHP research)对该技术应用的调查。调查的主要领域是石油勘探。该研究的重点有两个方面,即利用虚拟环境实现对数据的多感官解释,以及利用虚拟环境增强工作团队之间的协作能力。评估是通过在广泛的用户群中试用应用程序进行的。虽然不可能全面透露这项工作所产生的建议,但对这项技术在石油勘探中的应用提出了一些意见。此外,还讨论了使用该技术的各种一般含义。
{"title":"Investigating the application of virtual environment technology for use in the petroleum exploration industry","authors":"K. Nesbitt, R. J. Gallimore, B. J. Orenstein","doi":"10.1109/ACSC.2000.824400","DOIUrl":"https://doi.org/10.1109/ACSC.2000.824400","url":null,"abstract":"Although the concepts of virtual environments or virtual reality have been researched for many years, the industrial application of these concepts is a relatively recent event in the evolution of the human-computer interface. This paper outlines an investigation by a commercial research organization (BHP Research) into the applications of this technology. The major domain under investigation was that of petroleum exploration. The focus of the research was two-fold, namely, the use of virtual environments to enable multi-sensory interpretation of data and the ability of virtual environments to enhance collaboration amongst work teams. Appraisal was conducted by trialing the applications amongst a wide user base. While it is not possible to divulge in full the recommendations that resulted from this work, a number of observations are made about the use of this technology for petroleum exploration. Furthermore, various general implications for the use of this technology are discussed.","PeriodicalId":304540,"journal":{"name":"Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518)","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123395763","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}
引用次数: 4
Needles and Haystacks: a search engine for personal information collections 针和干草堆:一个收集个人信息的搜索引擎
Owen de Kretser, Alistair Moffat
Information retrieval systems can be partitioned into two main classes: large-scale systems that make use of an inverted index or some other auxiliary data structure, intended for massive volumes of data; and the small-scale systems based upon sequential pattern matching that most computer users employ when hunting for missing email and news items. In this paper we describe a hybrid approach that offers the ranked queries and similarity matching of a genuine information retrieval system, but does so without any need for an index to be precomputed. This software tool, which we call seft, offers performance that in a retrieval effectiveness sense matches conventional information retrieval systems, and in a resource efficiency sense, while considerably slower than grep-like tools, is fast enough to be useful on hundreds of megabytes of text.
信息检索系统可分为两大类:大型系统,利用倒排索引或其他辅助数据结构,用于海量数据;大多数计算机用户在寻找丢失的电子邮件和新闻时使用的基于顺序模式匹配的小规模系统。在本文中,我们描述了一种混合方法,它提供了一个真正的信息检索系统的排名查询和相似度匹配,但不需要预先计算索引。这个软件工具(我们称之为seft)提供的性能在检索效率方面与传统的信息检索系统相匹配,而在资源效率方面,虽然比类似grep的工具慢得多,但速度足够快,可以在数百兆字节的文本上使用。
{"title":"Needles and Haystacks: a search engine for personal information collections","authors":"Owen de Kretser, Alistair Moffat","doi":"10.1109/ACSC.2000.824381","DOIUrl":"https://doi.org/10.1109/ACSC.2000.824381","url":null,"abstract":"Information retrieval systems can be partitioned into two main classes: large-scale systems that make use of an inverted index or some other auxiliary data structure, intended for massive volumes of data; and the small-scale systems based upon sequential pattern matching that most computer users employ when hunting for missing email and news items. In this paper we describe a hybrid approach that offers the ranked queries and similarity matching of a genuine information retrieval system, but does so without any need for an index to be precomputed. This software tool, which we call seft, offers performance that in a retrieval effectiveness sense matches conventional information retrieval systems, and in a resource efficiency sense, while considerably slower than grep-like tools, is fast enough to be useful on hundreds of megabytes of text.","PeriodicalId":304540,"journal":{"name":"Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125105729","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
Semantic modeling for video content-based retrieval systems 基于视频内容检索系统的语义建模
L. Al-Safadi, J. Getta
This work proposes a semantic data model for video documents based on the story-line structure powerful enough to express various human interpretations of video documents, and introduces a formal query language for video retrieval that facilitates retrieval of users' heterogeneous queries based on the proposed model. The paper identifies the elementary semantic units, composite semantic units, associations and abstraction mechanisms necessary for symbolic modeling of semantic video contents. The method is independent of presentation media and it has its origins in symbolic modeling systems developed for database and complex software systems design.
这项工作提出了一个基于故事线结构的视频文档语义数据模型,该模型强大到足以表达人类对视频文档的各种解释,并引入了一种用于视频检索的形式化查询语言,该语言有助于基于所提出的模型检索用户的异构查询。本文确定了语义视频内容符号建模所需的基本语义单元、复合语义单元、关联和抽象机制。该方法独立于表示介质,它起源于为数据库和复杂软件系统设计而开发的符号建模系统。
{"title":"Semantic modeling for video content-based retrieval systems","authors":"L. Al-Safadi, J. Getta","doi":"10.1109/ACSC.2000.824373","DOIUrl":"https://doi.org/10.1109/ACSC.2000.824373","url":null,"abstract":"This work proposes a semantic data model for video documents based on the story-line structure powerful enough to express various human interpretations of video documents, and introduces a formal query language for video retrieval that facilitates retrieval of users' heterogeneous queries based on the proposed model. The paper identifies the elementary semantic units, composite semantic units, associations and abstraction mechanisms necessary for symbolic modeling of semantic video contents. The method is independent of presentation media and it has its origins in symbolic modeling systems developed for database and complex software systems design.","PeriodicalId":304540,"journal":{"name":"Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518)","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122956192","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
Facilitating learning in advanced computer architecture through appropriate simulation 通过适当的模拟促进对高级计算机体系结构的学习
B. Gunther
This paper examines the unique difficulties faced in teaching and learning in computer architecture at 4th-year level especially for computer science students with no engineering background. The University of South Australia's Computer Architecture subject was introduced in 1998 to provide final-year students with an in-depth treatment of computer architecture that will be relevant to software professionals. To explore topics in compiler optimisation, modern superscalar architectures, and high performance computing in a cached environment requires the support of processor simulation software in laboratory assignments. The PPS suite of software (simulator, assembler, C compiler, and utilities) were written to address the lack of suitable existing tools. PPS features sufficient realism to accommodate a broad range of student exercises, but this is offset by simplicity of design and ease of use to make learning enjoyable. Student feedback on the software was positive, especially with regard to enhancing understanding of material.
本文探讨了四年级计算机体系结构教学中面临的独特困难,特别是对于没有工程背景的计算机科学专业学生。南澳大学的计算机体系结构课程于1998年开设,目的是为最后一年的学生提供与软件专业相关的计算机体系结构的深入研究。为了探索编译器优化、现代超标量架构和缓存环境中的高性能计算等主题,需要在实验室作业中支持处理器模拟软件。编写PPS软件套件(模拟器、汇编器、C编译器和实用程序)是为了解决缺乏合适的现有工具的问题。PPS具有足够的现实性,以适应广泛的学生练习,但这被设计的简单性和易用性所抵消,使学习变得愉快。学生对该软件的反馈是积极的,特别是在提高对材料的理解方面。
{"title":"Facilitating learning in advanced computer architecture through appropriate simulation","authors":"B. Gunther","doi":"10.1109/ACSC.2000.824388","DOIUrl":"https://doi.org/10.1109/ACSC.2000.824388","url":null,"abstract":"This paper examines the unique difficulties faced in teaching and learning in computer architecture at 4th-year level especially for computer science students with no engineering background. The University of South Australia's Computer Architecture subject was introduced in 1998 to provide final-year students with an in-depth treatment of computer architecture that will be relevant to software professionals. To explore topics in compiler optimisation, modern superscalar architectures, and high performance computing in a cached environment requires the support of processor simulation software in laboratory assignments. The PPS suite of software (simulator, assembler, C compiler, and utilities) were written to address the lack of suitable existing tools. PPS features sufficient realism to accommodate a broad range of student exercises, but this is offset by simplicity of design and ease of use to make learning enjoyable. Student feedback on the software was positive, especially with regard to enhancing understanding of material.","PeriodicalId":304540,"journal":{"name":"Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518)","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127055586","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
RAPTOR: rapid analysis, processing and transformation from online repositories RAPTOR:对在线资料库进行快速分析、处理和转换
J. Hildebrandt, R. Hollamby
Information repositories are being constructed to manage the increasing volumes of Imagery being collected. In addition to only storing and indexing this information users will want to process the information efficiently to generate new information or new ways of viewing the information. this paper describes the development of a linkage between an experimental Image Management System and an exploitation environment provided by the Java Advanced Imaging toolkit. An application of this linkage is described that delivers a dynamic image mosaic capability of imagery sourced from the underlying repository. The application is delivered by developing a server process that communicates with a map display client via Java Remote Method Invocation.
正在构建信息库,以管理收集到的越来越多的图像。除了存储和索引这些信息外,用户还希望有效地处理这些信息,以生成新信息或查看信息的新方法。本文描述了一个实验性图像管理系统与Java Advanced Imaging工具包提供的开发环境之间的链接的开发。描述了该链接的一个应用程序,该应用程序提供了来自底层存储库的图像的动态图像镶嵌功能。该应用程序是通过开发一个服务器进程来交付的,该服务器进程通过Java远程方法调用与地图显示客户机通信。
{"title":"RAPTOR: rapid analysis, processing and transformation from online repositories","authors":"J. Hildebrandt, R. Hollamby","doi":"10.1109/ACSC.2000.824390","DOIUrl":"https://doi.org/10.1109/ACSC.2000.824390","url":null,"abstract":"Information repositories are being constructed to manage the increasing volumes of Imagery being collected. In addition to only storing and indexing this information users will want to process the information efficiently to generate new information or new ways of viewing the information. this paper describes the development of a linkage between an experimental Image Management System and an exploitation environment provided by the Java Advanced Imaging toolkit. An application of this linkage is described that delivers a dynamic image mosaic capability of imagery sourced from the underlying repository. The application is delivered by developing a server process that communicates with a map display client via Java Remote Method Invocation.","PeriodicalId":304540,"journal":{"name":"Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130123008","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
A three-valued declarative debugging scheme 一个三值声明式调试方案
L. Naish
Declarative debugging has many advantages over conventional approaches to debugging for logic and functional programs. This paper extends a previously defined scheme for declarative debugging in which computations were considered either correct or erroneous. We argue that a third value, "inadmissible", should be supported and show how this can be done. Two classes of bugs are defined: one equivalent to the bugs defined by the two valued scheme, the other associated with inadmissibility: it is shown how different instances of the scheme can be used to diagnose type errors, mode errors, violated assertions and abnormal termination as well as the more familiar classes of bugs detected by declarative debuggers.
声明式调试与常规的逻辑和功能程序调试方法相比有许多优点。本文扩展了先前定义的声明性调试方案,其中计算被认为是正确的或错误的。我们认为,应该支持第三个值“不可接受”,并说明如何做到这一点。定义了两类bug:一类等同于双值模式定义的bug,另一类与不可接受性相关:它展示了如何使用该模式的不同实例来诊断类型错误、模式错误、违反断言和异常终止,以及由声明式调试器检测到的更熟悉的bug类。
{"title":"A three-valued declarative debugging scheme","authors":"L. Naish","doi":"10.1109/ACSC.2000.824398","DOIUrl":"https://doi.org/10.1109/ACSC.2000.824398","url":null,"abstract":"Declarative debugging has many advantages over conventional approaches to debugging for logic and functional programs. This paper extends a previously defined scheme for declarative debugging in which computations were considered either correct or erroneous. We argue that a third value, \"inadmissible\", should be supported and show how this can be done. Two classes of bugs are defined: one equivalent to the bugs defined by the two valued scheme, the other associated with inadmissibility: it is shown how different instances of the scheme can be used to diagnose type errors, mode errors, violated assertions and abnormal termination as well as the more familiar classes of bugs detected by declarative debuggers.","PeriodicalId":304540,"journal":{"name":"Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518)","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130763360","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}
引用次数: 36
Formalisation of transformation-based learning 基于转变的学习的形式化
J. Curran, R. Wong
Research in automatic part of speech (POS) tagging has been dominated by Markov model (MM) taggers. E. Brill (1997) has recently described a transformation-based system with comparable accuracy, and simpler algorithms and representation than MM taggers. We present a set-based formal model of natural language ambiguity and semantic tagging that forms a basis for the generalisation of the transformation-based learning (TBL) and Brill's TBL tagger. We discuss empirical observations of the training algorithm that suggest a new evolutionary transformation learning strategy may dramatically improve learning time without loss of accuracy.
自动词性标注的研究一直由马尔可夫模型(MM)标注器主导。E. Brill(1997)最近描述了一种基于转换的系统,其精度相当,算法和表示比MM标注器更简单。我们提出了一个基于集合的自然语言歧义和语义标注的形式化模型,为基于转换的学习(TBL)和Brill的TBL标注器的泛化奠定了基础。我们讨论了训练算法的经验观察,表明一种新的进化转换学习策略可以在不损失准确性的情况下显着提高学习时间。
{"title":"Formalisation of transformation-based learning","authors":"J. Curran, R. Wong","doi":"10.1109/ACSC.2000.824380","DOIUrl":"https://doi.org/10.1109/ACSC.2000.824380","url":null,"abstract":"Research in automatic part of speech (POS) tagging has been dominated by Markov model (MM) taggers. E. Brill (1997) has recently described a transformation-based system with comparable accuracy, and simpler algorithms and representation than MM taggers. We present a set-based formal model of natural language ambiguity and semantic tagging that forms a basis for the generalisation of the transformation-based learning (TBL) and Brill's TBL tagger. We discuss empirical observations of the training algorithm that suggest a new evolutionary transformation learning strategy may dramatically improve learning time without loss of accuracy.","PeriodicalId":304540,"journal":{"name":"Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-01-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134039550","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
期刊
Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518)
全部 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