OASIcs,第21卷

第一届语言、应用和技术研讨会



缩略图PDF

事件

SLATE 2012,2012年6月21日至22日,葡萄牙布拉加

编辑

阿尔贝托·西蒙斯
里卡多·奎罗斯
丹妮拉·达克鲁斯

出版物详细信息

  • 发布时间:2012-06-21
  • 出版商:Schloss Dagstuhl–Leibniz Zentrum für Informatik
  • 国际标准图书编号:978-3-939897-40-8
  • 数据库管理程序:2012年db/conf/slate/slate

接入号码

文件

找不到与您的筛选器选择匹配的文档。
文件
完整卷
OASIcs,第21卷,SLATE’12,完整卷

作者:阿尔贝托·西蒙斯、里卡多·奎罗斯和丹妮拉·达克鲁斯


摘要
OASIcs,第21卷,SLATE’12,完整卷

引用为

第一届语言、应用和技术研讨会。信息学开放存取系列(OASIcs),第21卷,Dagstuhl–Leibniz-Zentrum für Informatik Schloss(2012)


将BibTex复制到剪贴板

@会议记录{simoes_et_al:OASIcs.SLATE.2012,title={{OASIcs,第21卷,SLATE'12,完整卷}},booktitle={第一届语言、应用和技术研讨会},series={信息学开放存取系列(OASIcs)},国际标准图书编号={978-3-939897-40-8},ISSN={2190-6807},年份={2012},体积={21},编辑器={Sim\~{o} 秒、阿尔贝托和奎尔{o} 秒里卡多和达克鲁兹,丹妮拉,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012},URN={URN:nbn:de:0030-drops-35839},doi={10.4230/OASIcs.SLATE.2012},annote={关键词:互操作性,编程语言,自然语言处理}}
文件
前部物质
前言、目录、前言、委员会、作者名单

作者:阿尔贝托·西蒙斯、里卡多·奎罗斯和丹妮拉·达克鲁斯


摘要
前言、目录、前言、委员会、作者名单

引用为

第一届语言、应用和技术研讨会。信息学开放存取系列(OASIcs),第21卷,第i-xvii页,Schloss Dagstuhl–Leibniz Zentrum für Informatik(2012)


将BibTex复制到剪贴板

@会议记录{simoes_et_al:OASIcs.SLATE.2012.i,author={Sim\~{o} 秒、阿尔贝托和奎尔{o} 秒里卡多和达克鲁兹,丹妮拉,title={{Frontmatter,目录,前言,委员会,作者列表}},booktitle={第一届语言、应用和技术研讨会},页数={i--xvii},series={信息学开放存取系列(OASIcs)},国际标准图书编号={978-3-939897-40-8},ISSN={2190-6807},年份={2012},体积={21},编辑器={Sim\~{o} 秒、阿尔贝托和奎尔{o} 秒里卡多和达克鲁兹,丹妮拉,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.i},URN={URN:nbn:de:0030-drops-35085},doi={10.4230/OASIcs.SLATE.2012.i},annote={关键词:Frontmatter,目录,前言,委员会,作者列表}}
文件
主题演讲
新一代算法调试器(主题演讲)

作者:约塞普·席尔瓦·加利亚纳


摘要
算法调试是一种已经扩展到几乎所有编程范例的调试技术。粗略地说,该技术构建了在执行错误程序期间执行的所有(子)计算的内部表示;然后,它询问程序员这些计算的正确性。程序员的答案指导了对错误的搜索,直到通过丢弃程序的正确部分将其隔离。经过二十年的算法调试研究,许多不同的技术已经出现,以改进最初的建议。算法调试器的内部体系结构的最新进展面临着可扩展性问题,由于使用了所使用的内部数据结构的静态转换,性能得到了极大的提高。演讲将详细比较最新的算法调试技术,分析它们的差异、成本,以及如何将它们集成到真正的算法调试器中。

引用为

约塞普·席尔瓦·加利亚纳(Josep Silva Galiana)。新一代算法调试器(主旨)。在第一届语言、应用和技术研讨会上。信息学开放获取系列(OASIcs),第21卷,第3页,Dagstuhl Schloss–Leibniz Zentrum für Informatik(2012)


将BibTex复制到剪贴板

@论文集{silvagaliana:OASIcs.SLATE.2012.3,author={Silva Galiana,Josep},title={{新一代算法调试器}},booktitle={第一届语言、应用和技术研讨会},页数={3--3},series={信息学开放存取系列(OASIcs)},国际标准图书编号={978-3-939897-40-8},ISSN={2190-6807},年份={2012},体积={21},编辑器={Sim\~{o} 秒、阿尔贝托和奎尔{o} 秒里卡多和达克鲁兹,丹妮拉,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.3},URN={URN:nbn:de:0030-drops-35097},doi={10.4230/OASIcs.SLATE.2012.3},annote={关键词:调试、编程、程序更正}}
文件
主题演讲
从程序执行到自动推理:将本体论集成到编程语言中(主旨)

作者:亚历山大·帕尔


摘要
自W3C标准化以来,可扩展标记语言(XML)和XML模式定义(XSD)已被广泛采用为描述数据和定义编程语言无关的数据类型和内容模型的格式。其他一些W3C标准,如资源描述框架(RDF)和Web本体语言(OWL)都基于XML和XSD。与此同时,Java和C#等静态类型的面向对象编程语言在软件开发中应用最为广泛。本演讲将描述XML模式定义和Web本体语言的概念基础,以及它们与Java或C#的区别。它将展示XSD如何促进基于值空间约束的数据类型定义,以及OWL本体如何适应自动推理。基于与基于框架逻辑的模型的示例性比较,将阐明XSD和OWL的优越建模特性。一个明显的缺点将变得显而易见:XSD和OWL与面向对象编程语言的类型系统集成不足。最后,将介绍将XSD和OWL集成到C#编程语言中的Zhi#方法。在Zhi#中,基于价值空间的数据类型和本体概念描述是一流的公民;XSD和OWL可以随时获得编译时和运行时支持。因此,Zhi#程序的执行直接由本体模型中固有的人工智能控制:Zhi#软件不仅执行,而且推理。

引用为

亚历山大·帕尔。从程序执行到自动推理:将本体论集成到编程语言中(主旨)。在第一届语言、应用和技术研讨会上。信息学开放获取系列(OASIcs),第21卷,第5页,Dagstuhl Schloss–Leibniz Zentrum für Informatik(2012)


将BibTex复制到剪贴板

@会议记录{paar:OASIcs.SLATE.2012.5,author={Paar,Alexander},title={{从程序执行到自动推理:将本体集成到编程语言}},booktitle={第一届语言、应用和技术研讨会},页数={5--5},series={信息学开放存取系列(OASIcs)},国际标准图书编号={978-3-939897-40-8},ISSN={2190-6807},年份={2012},体积={21},编辑器={Sim\~{o} 秒、阿尔贝托和奎尔{o} 秒里卡多和达克鲁兹,丹妮拉,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.5},URN={URN:nbn:de:0030-drops-35103},doi={10.4230/OASIcs.SLATE.2012.5},annote={关键词:本体论,OO编程语言,自动推理}}
文件
关于扩展线性Tabling框架以支持批量调度

作者:米盖尔·阿雷亚斯和里卡多·罗查


摘要
表计算是一种公认的强大技术,它克服了传统Prolog系统在处理递归和冗余子计算方面的一些局限性。在表格执行期间,必须做出几个决定。这些由调度策略决定。尽管一种策略可以在某些应用程序中获得非常好的性能,但在其他应用程序中,它可能会增加开销,甚至导致无法接受的低效率。最成功的两种表调度策略是局部调度和批调度。在之前的工作中,我们在Yap系统之上开发了一个框架,该框架支持组合不同的线性表策略以进行本地调度。在这项工作中,我们建议扩展我们的框架,以支持批调度。特别是,我们对两种最成功的线性表策略感兴趣,即DRA和DRE策略。据我们所知,没有一个单表Prolog系统同时支持这两种策略用于批调度。

引用为

米盖尔·阿雷亚斯和里卡多·罗查。关于扩展线性表格框架以支持批调度。在第一届语言、应用和技术研讨会上。信息学开放获取系列(OASIcs),第21卷,第9-24页,Dagstuhl–Leibniz-Zentrum für Informatik Schloss(2012)


将BibTex复制到剪贴板

@会议记录{areias_et_al:OASIcs.SLATE.2012.9,author={Areias、Miguel和Rocha、Ricardo},title={{关于扩展线性表格框架以支持批调度}},booktitle={第一届语言、应用和技术研讨会},页数={9--24},series={信息学开放存取系列(OASIcs)},国际标准图书编号={978-3-939897-40-8},ISSN={2190-6807},年份={2012},体积={21},编辑器={Sim\~{o} 秒、阿尔贝托和奎尔{o} 秒里卡多和达克鲁兹,丹妮拉,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.9},URN={URN:nbn:de:0030-drops-35113},doi={10.4230/OASIcs.SLATE.2012.9},annote={关键词:线性表格,调度,实现}}
文件
模式定向制表及其在YapTab系统中的应用

作者:乔·桑托斯和里卡多·罗查


摘要
制表是一种实现技术,它解决了Prolog在处理递归和冗余子计算时操作语义的一些限制。表格的工作原理是记忆生成的答案,然后在解决过程中出现的类似呼叫中重复使用它们。在传统的表系统中,在将答案存储到表空间时,会考虑表化子目标调用的所有参数。因此,传统的列表系统非常适合于需要找到所有答案的问题。模式定向表是表技术的扩展,支持定义用于指定如何将答案插入表空间的选择标准。模式定向表的实现已经在ALS-Prolog、B-Prolog和XSB等系统中可用。在本文中,我们提出了一种更通用的方法来声明和使用模式定向表,该方法是在YapTab表系统之上实现的,并且我们展示了我们的方法在涉及合理性、首选项和答案订阅的问题上的应用。

引用为

乔·桑托斯和里卡多·罗查。模式定向制表及其在YapTab系统中的应用。在第一届语言、应用和技术研讨会上。信息学开放获取系列(OASIcs),第21卷,第25-40页,Dagstuhl–Leibniz-Zentrum für Informatik Schloss(2012)


将BibTex复制到剪贴板

@会议记录{santos_et_al:OASIcs.SLATE.2012.25,author={桑托斯,乔\~{a} o个和罗查,里卡多},title={{模式定向制表和YapTab系统中的应用}},booktitle={第一届语言、应用和技术研讨会},页数={25--40},series={信息学开放存取系列(OASIcs)},国际标准图书编号={978-3-939897-40-8},ISSN={2190-6807},年份={2012},体积={21},编辑器={Sim\~{o} 秒、阿尔贝托和奎尔{o} 秒里卡多和达克鲁兹,丹妮拉,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.25},URN={URN:nbn:de:0030-drops-35123},doi={10.4230/OASIcs.SLATE.2012.25},annote={关键词:制表,模式运算符,应用程序}}
文件
为Perl Parse::Yapp生成flex词汇扫描程序

作者:阿尔贝托·西蒙斯、努诺·拉莫斯·卡瓦略和若泽·若昂·阿尔梅达


摘要
Perl以其多功能正则表达式而闻名。然而,使用Perl正则表达式创建快速词汇分析器并不容易。作为替代方案,作者为在一个众所周知的快速应用程序(flex)中基于语法分析器中的简单Perl定义自动生成词汇分析器辩护。在本文中,我们扩展了Perl最常用的解析器生成器之一Parse::Yapp所使用的语法,使自动生成灵活词法扫描器成为可能。我们解释了这是如何实现的,并以一些基准来结束,这些基准显示了该方法的相关性。

引用为

阿尔贝托·西莫斯、努诺·拉莫斯·卡瓦略和若泽·乔奥·阿尔梅达。为Perl Parse::Yapp生成flex词法扫描程序。在第一届语言、应用和技术研讨会上。信息学开放获取系列(OASIcs),第21卷,第41-50页,Schloss Dagstuhl–Leibniz Zentrum für Informatik(2012)


将BibTex复制到剪贴板

@会议记录{simoes_et_al:OASIcs.SLATE.2012.41,author={Sim\~{o} 秒、阿尔贝托和卡瓦略、努诺·拉莫斯和阿尔梅达、乔斯·乔\~{a} o个},title={{为Perl分析::Yapp}}生成灵活的词汇扫描程序,booktitle={第一届语言、应用和技术研讨会},页数={41--50},series={信息学开放存取系列(OASIcs)},国际标准图书编号={978-3-939897-40-8},ISSN={2190-6807},年份={2012},体积={21},编辑器={Sim\~{o} 秒、阿尔贝托和奎尔{o} 秒里卡多和达克鲁兹,丹妮拉,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.41},URN={URN:nbn:de:0030-drops-35133},doi={10.4230/OASIcs.SLATE.2012.41},annote={关键词:flex、Perl、yapp、词汇分析器}}
文件
一种用于软件质量评估的纯功能组合语言

作者:佩德罗·马丁斯、圣保罗·费尔南德斯和圣萨拉瓦


摘要
开源软件的质量评估正变得越来越重要以及活跃的研究领域。最近引起这种兴趣的原因之一是互联网普及的结果。如今,编程也包括寻找大量开源库和工具在开发我们的软件应用程序时可以重用。整齐为了重用这些开源软件工件,程序员不仅需要保证重用的工件经过认证,但也需要独立开发的工件可以很容易地组合成连贯的软件。在本文中,我们描述了一种特定于域的语言,它允许程序员抽象地描述软件工件如何可以组合成强大的软件认证过程。这个特定领域的语言是基于web的构建块,开源软件认证门户。本文介绍了组合词库等领域特定语言的嵌入用Haskell编程语言编写。这个的语义语言是通过嵌入在Haskell,它提供了一个模块化和增量设置来定义软件工件的组合。

引用为

佩德罗·马丁斯、圣保罗·费尔南德斯和圣萨拉瓦。一种用于软件质量评估的纯功能组合语言。在第一届语言、应用和技术研讨会上。信息学开放获取系列(OASIcs),第21卷,第51-69页,Dagstuhl–Leibniz-Zentrum für Informatik Schloss(2012)


将BibTex复制到剪贴板

@会议记录{martins_et_al:OASIcs.SLATE.2012.51,author={马丁斯、佩德罗和费尔南德斯、乔\~{a} o个Paulo和Saraiva,Jo\~{a} o个},title={{用于软件质量评估的纯功能组合语言}},booktitle={第一届语言、应用和技术研讨会},页数={51--69},series={信息学开放存取系列(OASIcs)},国际标准图书编号={978-3-939897-40-8},ISSN={2190-6807},年份={2012},体积={21},编辑器={Sim\~{o} 秒、阿尔贝托和奎尔{o} 秒里卡多和达克鲁兹,丹妮拉,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.51},URN={URN:nbn:de:0030-drops-35149},doi={10.4230/OASIcs.SLATE.2012.51},annote={关键词:流程管理、组合器、属性语法、函数编程}}
文件
PH-Helper——Hoshimi编程语言的语法导向编辑器

作者:玛丽亚诺·卢扎(Mariano Luzza)、马里奥·马塞洛·贝隆(Mario Marcelo Beron)和佩德罗·兰赫尔·恩里克(Pedro Rangel Henriques)


摘要
众所周知,学生在学习编程时面临着许多困难。一般来说,这些困难产生于两个主要原因:i)老师提出的练习类型,以及ii)用于解决这些问题的编程语言。第一个问题是通过为学生选择一个有趣的应用领域来解决的。第二个问题是通过使用专门用于教学的编程语言来解决的。如今,有许多编程语言旨在简化学习过程。然而,它们中的许多仍然具有与传统编程语言相同的缺点:用于编写语句的语言不同于程序员的母语;句法规则施加了许多棘手的限制,不容易遵循。本文提出了一种解决上述问题的方法。该方法包括使用:一个激励学生的应用领域,细岛项目(PH);以及一个编程环境PH-Helper,它是一个简单且用户友好的语法定向编辑器和编译器,适用于实际的PH编程语言Hoshimi Language(HL)。

引用为

玛丽亚诺·卢扎(Mariano Luzza)、马里奥·马塞洛·贝隆(Mario Marcelo Beron)和佩德罗·兰杰尔·恩里克(Pedro Rangel Henriques)。PH-Helper-Hoshimi编程语言的语法导向编辑器,HL。在第一届语言、应用和技术研讨会上。信息学开放获取系列(OASIcs),第21卷,第71-89页,Dagstuhl–Leibniz-Zentrum für Informatik Schloss(2012)


将BibTex复制到剪贴板

@会议记录{luzza_et_al:OASIcs.SLATE.2012.71,author={Luzza、Mariano和Beron、Mario Marcelo和Henriques、Pedro Rangel},title={{PH-Helper-Hoshimi编程语言的语法导向编辑器,HL}},booktitle={第一届语言、应用和技术研讨会},页数={71--89},series={信息学开放存取系列(OASIcs)},国际标准图书编号={978-3-939897-40-8},ISSN={2190-6807},年份={2012},体积={21},编辑器={Sim\~{o} 秒、阿尔贝托和奎尔{o} 秒里卡多和达克鲁兹,丹妮拉,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.71},URN={URN:nbn:de:0030-drops-35153},doi={10.4230/OASIcs.SLATE.2012.71},annote={关键词:语法导向编辑器,可视化编程环境,DSL}}
文件
面向问题域的程序理解方法

作者:玛丽亚·若昂·瓦兰达·佩雷拉(Maria Joáo Varanda Pereira)、马里奥·马塞洛·贝隆(Mario Marcelo Beron)、丹妮拉·达克鲁斯(Daniela da Cruz)、努诺·奥利维拉(Nuno Oliveira)和佩德罗·兰杰尔·恩里克斯


摘要
本文关注的是一种本体驱动的程序方法理解是指从问题域本体中提取概念,分析源代码,然后在代码中定位问题概念后,将其链接到编程语言本体。使用不同的定位技术搜索注释、代码(标识符名称和执行跟踪)以及与I/O语句关联的字符串文字中嵌入的概念。预期结果是问题域概念和代码片之间的映射。可以使用基于图形的方法(例如,通过系统依赖关系图的导航工具)可视化此映射。本文还描述了一个PCTool套件Quixote,它实现了所提出的方法。

引用为

玛丽亚·若昂·瓦兰达·佩雷拉(Maria Joáo Varanda Pereira)、马里奥·马塞洛·贝隆(Mario Marcelo Beron)、丹妮拉·达克鲁斯(Daniela da Cruz)、努诺·奥利维拉(Nuno Oliveira)和佩德罗·兰杰尔·亨里克(Pedr。面向问题域的程序理解方法。在第一届语言、应用和技术研讨会上。信息学开放获取系列(OASIcs),第21卷,第91-105页,Dagstuhl–Leibniz-Zentrum für Informatik Schloss(2012)


将BibTex复制到剪贴板

@会议记录{varandapereira_et_al:OASIcs.SLATE.2012.91,author={瓦兰达·佩雷拉,玛丽亚·乔\~{a} o个贝隆、马里奥·马塞洛和达克鲁斯、丹妮拉和奥利维拉、努诺和亨里克、佩德罗·兰格尔},title={{面向问题领域的程序理解方法}},booktitle={第一届语言、应用和技术研讨会},页数={91--105},series={信息学开放存取系列(OASIcs)},国际标准图书编号={978-3-939897-40-8},ISSN={2190-6807},年份={2012},体积={21},编辑器={Sim\~{o} 秒、阿尔贝托和奎尔{o} 秒里卡多和达克鲁兹,丹妮拉,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.91},URN={URN:nbn:de:0030-drops-35161},doi={10.4230/OASIcs.SLATE.2012.91},annote={关键词:程序理解,基于本体的软件开发,问题和程序域映射,代码分析。软件可视化}}
文件
编程语言对代码克隆的影响

作者:詹姆·菲利佩·豪尔赫和安东尼奥·梅内泽斯·莱托


摘要
代码克隆是对大型软件系统中经常出现的源代码片段的复制。尽管有不同的研究表明克隆有益,但其他一些研究揭示了其危害,特别是不一致的克隆管理。创建软件克隆的一个重要原因是所使用的编程语言固有的抽象能力和简洁性。本文重点介绍了Java和Scala两种不同编程语言的特点,并研究了不同的语言结构如何诱导或减少代码克隆。这项研究是使用我们的工具Kamino进一步发展的,该工具提供了克隆检测和具体价值。

引用为

詹姆·菲利佩·豪尔赫和安东尼奥·梅内泽斯·莱特昂。编程语言在代码克隆中的影响。在第一届语言、应用和技术研讨会上。信息学开放获取系列(OASIcs),第21卷,第107-122页,Dagstuhl–Leibniz-Zentrum für Informatik Schloss(2012)


将BibTex复制到剪贴板

@会议记录{jorge_et_al:OASIcs.SLATE.2012.107,author={Jorge、Jaime Filipe和Leit\~{a} o个,蚂蚁{o} 尼奥梅内泽斯},title={{编程语言在代码克隆中的影响}},booktitle={第一届语言、应用和技术研讨会},页数={107--122},series={信息学开放存取系列(OASIcs)},国际标准图书编号={978-3-939897-40-8},ISSN={2190-6807},年份={2012},体积={21},编辑器={Sim\~{o} 秒、阿尔贝托和奎尔{o} 秒里卡多和达克鲁兹,丹妮拉,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.107},URN={URN:nbn:de:00030-drops-35178},doi={10.4230/OASIcs.SLATE.2012.107},annote={关键词:克隆检测,软件工程,编程语言,软件管理}}
文件
HandSpy——一个管理写作认知过程实验的系统

作者:卡洛斯·蒙泰罗和若泽·保罗·里尔


摘要
认知过程实验需要对许多参与者的贡献进行详细分析。就写作中的认知过程而言,这些实验需要特殊的软件工具来收集用钢笔或手写笔执行的手势,并用特殊的硬件进行记录。这些工具以二进制和专有格式生成不同类型的数据文件,需要在工作站文件系统上进行管理,以便使用通用工具(如电子表格和统计分析软件)进行进一步处理。缺乏通用格式和开放存储库阻碍了在研究小组内的研究人员之间分配工作负荷、使用其他研究小组开发的软件重新处理收集的数据以及与认知过程研究社区的其他成员共享结果的可能性。本文介绍了HandSpy,一个用于管理写作中认知过程实验的协作环境。该环境的设计涵盖了实验的所有阶段,从定义参与者要执行的任务到合成结果。HandSpy中的协作通过使用Google web Toolkit开发的丰富web界面实现。为了将环境与收集书面作品的现有硬件设备(即数字化平板电脑和智能笔)分离开来,HandSpy基于InkML标准,这是一种表示数字墨水的XML数据格式。这种设计选择形成了HandSpy中的许多功能,例如使用XML数据库管理应用程序数据和使用XML转换。XML转换在用于存储的持久数据表示和用户界面上的小部件所需的瞬态数据表示之间进行转换。本文还介绍了HandSpy的一个正在进行的用例,该用例使用该环境管理一个涉及数百名执行不同任务的小学参与者的实验。

引用为

卡洛斯·蒙泰罗(Carlos Monteiro)和何塞·保罗·利尔(JoséPaulo Leal)。HandSpy——一个管理写作中认知过程实验的系统。在第一届语言、应用和技术研讨会上。信息学开放获取系列(OASIcs),第21卷,第123-132页,Dagstuhl–Leibniz-Zentrum für Informatik Schloss(2012)


将BibTex复制到剪贴板

@会议记录{monteiro_et_al:OASIcs.SLATE.2012.123,author={Monteiro、Carlos和Leal、Jos Paulo},title={{HandSpy-一个管理写作认知过程实验的系统}},booktitle={第一届语言、应用和技术研讨会},页数={123--132},series={信息学开放存取系列(OASIcs)},国际标准图书编号={978-3-939897-40-8},ISSN={2190-6807},年份={2012},体积={21},编辑器={Sim\~{o} 秒、阿尔贝托和奎尔{o} 秒里卡多和达克鲁兹,丹妮拉,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.123},URN={URN:nbn:de:0030-drops-35180},doi={10.4230/OASIcs.SLATE.2012.123},annote={关键词:InkML,协作环境,XML数据处理}}
文件
使用DBPedia计算语义相关性

作者:JoséPaulo Leal、Vánia Rodrigues和Ricardo Queirós


摘要
提取术语的语义相关性是数据挖掘、信息检索和web推荐等领域的一个重要课题。本文提出了一种使用DBpedia知识库计算术语语义相关性的方法,DBpedia是一种从Wikipedia中提取结构化信息的社区工作。文献中已有几种使用bagof-words向量模型从维基百科中提取语义相关性的方法。本文提出的研究探索了一种使用从DBpedia中提取的本体图上的路径的新方法。它基于一种算法,用于查找连接概念节点的路径集合并对其进行加权。该算法是在一个名为Shakti的工具上实现的,该工具使用其SPARQL端点从DBpedia中提取给定域的相关本体数据。为了验证所提出的方法,Shakti被用于推荐葡萄牙社交网站上与另类音乐相关的网页,本文报告了该实验的结果。

引用为

JoséPaulo Leal、Vánia Rodrigues和Ricardo Queirós。使用DBPedia计算语义相关性。在第一届语言、应用和技术研讨会上。信息学开放获取系列(OASIcs),第21卷,第133-147页,Dagstuhl–Leibniz-Zentrum für Informatik Schloss(2012)


将BibTex复制到剪贴板

@会议记录{leal_et_al:OASIcs.SLATE.2012.133,author={Leal,Jos Paulo和Rodrigues,V\^{a} 尼亚和奎尔{o} 秒,里卡多},title={{使用DBPedia}}计算语义相关性,booktitle={第一届语言、应用和技术研讨会},页数={133--147},series={信息学开放存取系列(OASIcs)},国际标准图书编号={978-3-939897-40-8},ISSN={2190-6807},年份={2012},体积={21},编辑器={Sim\~{o} 秒、阿尔贝托和奎尔{o} 秒里卡多和达克鲁兹,丹妮拉,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.133},URN={URN:nbn:de:0030-drops-35190},doi={10.4230/OASIcs.SLATE.2012.133},annote={关键词:语义相似性,处理维基百科数据,本体生成,web推荐}}
文件
用于大学招生处理的Infobot中的查询匹配评估

作者:彼得·汉考克斯和尼古拉·波拉蒂迪斯


摘要
“Infobots”是一种小型自然语言问答系统,灵感来自ELIZA类型的系统。它们的主要特点是从用户的查询中提取意义,而不使用句法或语义表示。研究了两种识别用户意图的方法:基于关键字的系统和基于Jaro的字符串相似性算法。这些是根据WWW托管的信息机器人用户提供的查询语料库进行测量的,该信息机器人用于回答有关硕士课程申请的问题。最有效的系统是带有词干输入的Jaro(78.57%)。它还能够处理不合语法的输入并提供可扩展性。

引用为

彼得·汉考克斯和尼古拉·波拉蒂迪斯。大学招生处理信息机器人中的查询匹配评估。在第一届语言、应用和技术研讨会上。信息学开放获取系列(OASIcs),第21卷,第149-161页,Dagstuhl–Leibniz-Zentrum für Informatik Schloss(2012)


将BibTex复制到剪贴板

@会议记录{hancox_et_al:OASIcs.SLATE.2012.149,作者={Hancox,Peter and Polatidis,Nikolaos},title={{在大学招生处理信息机器人中查询匹配评估}},booktitle={第一届语言、应用和技术研讨会},页数={149--161},series={信息学开放存取系列(OASIcs)},国际标准图书编号={978-3-939897-40-8},ISSN={2190-6807},年份={2012},体积={21},编辑器={Sim\~{o} 秒、阿尔贝托和奎尔{o} 秒里卡多和达克鲁兹,丹妮拉,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.149},URN={URN:nbn:de:0030-drops-35206},doi={10.4230/OASIcs.SLATE.2012.149},annote={关键词:聊天机器人、信息机器人、问题回答、Jaro字符串相似性、Jaro-Winkler字符串相似性}}
文件
从商业领袖的直接讲话中预测市场方向

作者:Brett M.Drury和JoséJoáo Almeida


摘要
商业领袖的直接引用可以向更广泛的公众传达其组织的潜在状态以及组织领导人的信念。商业领袖的坦率报价可能会对其组织的股价产生巨大影响。例如,杰拉尔德·拉特纳(Gerald Ratner)在1991年表示,他的公司的产品是垃圾,因此他的公司(Ratners)市值损失超过5亿英镑。商业领袖报价中的信息可用于评估组织近期的财务前景,因此可以构成交易策略的一部分。本文描述了一种上下文分类策略,用于标记新闻故事中商业领袖的直接引语。引号标记为:1。阳性,2。负值或3。中性。交易策略聚合报价分类以发出买入、卖出或持有指令。基于报价的交易策略是根据纳斯达克市场指数上的整体新闻故事分类的交易策略进行评估的。评估表明,报价分类策略明显优于竞争策略。

引用为

Brett M.Drury和JoséJoáo Almeida。从商业领袖的直接讲话中预测市场方向。在第一届语言、应用和技术研讨会上。信息学开放获取系列(OASIcs),第21卷,第163-172页,Dagstuhl–Leibniz-Zentrum für Informatik Schloss(2012)


将BibTex复制到剪贴板

@会议记录{drury_et_al:OASIcs.SLATE.2012.163,author={Drury,Brett M.和Almeida,Jos Jo\~{a} o个},title={{从商业领袖的直接讲话中预测市场方向}},booktitle={第一届语言、应用和技术研讨会},pages={163-172},series={信息学开放存取系列(OASIcs)},国际标准图书编号={978-3-939897-40-8},ISSN={2190-6807},年份={2012},体积={21},编辑器={Sim\~{o} 秒、阿尔贝托和奎尔{o} 秒里卡多和达克鲁兹,丹妮拉,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.163},URN={URN:nbn:de:0030-drops-35215},doi={10.4230/OASIcs.SLATE.2012.163},annote={关键词:情绪、直接演讲、交易、商业、市场}}
文件
知识生成的学习空间

作者:努诺·奥利维拉、玛丽亚·若昂·瓦兰达·佩雷拉、阿尔达·洛佩斯·甘卡斯基和佩德罗·兰杰尔·恩里克斯


摘要
随着互联网成为信息访问的主要渠道,图书馆、博物馆和类似机构正在将其藏品作为数字对象存储库进行保存。这样,与数字对象相关的重要信息可以通过配备现代界面和导航功能的门户网站作为互联网内容交付。这使得真实信息展览空间的虚拟化成为新兴的学习范式。Geny是一个旨在定义特定领域语言和开发工具的项目,以从现有的数字对象存储库和相关语义生成基于web的学习空间。Geny的座右铭是“创造学习空间,创造知识”。我们在这个项目中的目标是使用(i)本体——一个给数字对象存储库提供语义,另一个描述要展示的信息——和(ii)定义展示空间的特殊语言,以实现由web浏览器支持的学习空间的自动构建。本文介绍了Geny项目的建议,并回顾了学习空间及其虚拟化的现状。Geny目前受到葡萄牙主要科学资助机构Fundaço para a Ciéencia e a Tecnologia(FCT)的赞赏。

引用为

努诺·奥利维拉(Nuno Oliveira)、玛丽亚·若昂·瓦兰达·佩雷拉(Maria Joáo Varanda Pereira)、阿尔达·洛佩斯·甘卡斯基(Alda Lopes Gancarski)和佩德罗·兰杰尔·恩里克斯(Pedro Rangel Henriques)。知识生成的学习空间。在第一届语言、应用和技术研讨会上。信息学开放存取系列(OASIcs),第21卷,第175-184页,Schloss Dagstuhl–Leibniz Zentrum für Informatik(2012)


将BibTex复制到剪贴板

@会议记录{oliveira_et_al:OASIcs.SLATE.2012.175,作者={奥利维拉、努诺和瓦兰达·佩雷拉、玛丽亚·乔\~{a} o个甘卡斯基、阿尔达·洛佩斯和亨里克、佩德罗·兰格尔},title={{知识生成学习空间}},booktitle={第一届语言、应用和技术研讨会},页数={175--184},series={信息学开放存取系列(OASIcs)},国际标准图书编号={978-3-939897-40-8},ISSN={2190-6807},年份={2012},体积={21},编辑器={Sim\~{o} 秒、阿尔贝托和奎尔{o} 秒里卡多和达克鲁兹,丹妮拉,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.175},URN={URN:nbn:de:0030-drops-35228},doi={10.4230/OASIcs.SLATE.2012.175},annote={关键词:学习空间,知识获取,数字对象库,基于本体的语义网页生成}}
文件
空间测试的自动生成

作者:尤利塞斯·阿劳霍·科斯塔(Ulisses Araújo Costa)、达妮埃拉·达克鲁斯(Daniela da Cruz)和佩德罗·兰赫尔·恩里克斯(Pedro Rangel Henriques)


摘要
欧洲航天局(ESA)使用发动机在地面段基础设施中进行测试,特别是操作模拟器。该引擎使用许多不同的工具来确保回归测试基础设施的开发,这些测试对C++模拟器实现执行黑盒测试。VST(VisionSpace Technologies)是向ESA提供这些服务的公司之一,他们需要一个工具来从现有的C++代码自动推断测试,而不是手动编写脚本来执行测试。考虑到这一动机,本文探索了自动测试方法和工具,以提出一个满足VST需求的系统。

引用为

尤利塞斯·阿劳霍·科斯塔(Ulisses Araújo Costa)、达尼埃拉·达克鲁斯(Daniela da Cruz)和佩德罗·兰杰尔·恩里克斯(Pedro Rangel Henriques)。太空自动测试生成。在第一届语言、应用和技术研讨会上。信息学开放获取系列(OASIcs),第21卷,第185-203页,Dagstuhl–Leibniz-Zentrum für Informatik Schloss(2012)


将BibTex复制到剪贴板

@会议记录{costa_et_al:OASIcs.SLATE.2012.185,author={Costa,Ulisses Ara\'{u} 工作达克鲁斯、丹妮拉、亨里克、佩德罗·兰格尔,title={{Space}}的自动测试生成,booktitle={第一届语言、应用和技术研讨会},页数={185--203},series={信息学开放存取系列(OASIcs)},国际标准图书编号={978-3-939897-40-8},ISSN={2190-6807},年份={2012},体积={21},编辑器={Sim\~{o} 秒、阿尔贝托和奎尔{o} 秒里卡多和达克鲁兹,丹妮拉,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.185},URN={URN:nbn:de:0030-drops-35234},doi={10.4230/OASIcs.SLATE.2012.185},annote={关键词:自动测试生成,UML/OCL,白盒测试,黑盒测试}}
文件
在线学习环境中的互操作性。LMS和PLE之间的相互作用

作者:米盖尔·孔德、弗朗西斯科·加西亚·佩纳尔沃、乔迪·皮奎莱姆、玛丽亚·卡萨尼和马克·阿利尔


摘要
信息和通信技术的出现及其在几个领域的应用取得了不同的成功,这意味着大量软件系统的定义。这些系统是用非常不同的编程语言实现的,使用不同类型的资源等。学习和教学是这些应用领域之一,其中有不同的学习平台、存储库、工具、内容类型等。这些系统之间应该进行互操作,以便为学生和教师提供更好、更有用的学习服务,为此需要web服务和互操作性规范。本文提出了一种基于服务的框架方法,以促进学习管理系统和个人学习环境之间的互操作性,该方法已作为概念验证实施,并通过几个试点经验进行了评估。从这些经验中可以看出,个人和机构环境之间的互操作是可能的,通过这种方式,学习者可以在不访问机构网站的情况下独立学习,教师也可以获得非正式活动中发生的学习信息。

引用为

米格尔·孔德、弗朗西斯科·加西亚·佩纳尔沃、乔迪·皮奎莱姆、玛丽亚·卡萨尼和马克·阿利尔。在线学习环境中的互操作性。LMS和PLE之间的相互作用。在第一届语言、应用和技术研讨会上。信息学开放获取系列(OASIcs),第21卷,第205-223页,Dagstuhl–Leibniz-Zentrum für Informatik Schloss(2012)


将BibTex复制到剪贴板

@会议记录{conde_et_al:OASIcs.SLATE.2012.205,author={Conde、Miguel和Garc{'\i}a-Pe\~{n} 阿尔沃Francisco和Piguillem,Jordi和Casany,Mar{'\i}a和Alier,Marc},title={{在线学习环境中的互操作性。LMS和PLE}}之间的交互,booktitle={第一届语言、应用和技术研讨会},页数={205--223},series={信息学开放存取系列(OASIcs)},国际标准图书编号={978-3-939897-40-8},ISSN={2190-6807},年份={2012},体积={21},编辑器={Sim\~{o} 秒、阿尔贝托和奎尔{o} 秒里卡多和达克鲁兹,丹妮拉,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.205},URN={URN:nbn:de:0030-drops-35248},doi={10.4230/OASIcs.SLATE.2012.205},annote={关键词:互操作性规范、web服务、LMS、PLE、个性化、BLTI}}
文件
增强汽车行业规范文件的一致性

作者:Jean Noël Martin和Damien Martin Guillerez


摘要
规范描述了系统应该如何运行。如果规范不正确或执行错误,那么产生的系统将包含错误,这些错误可能导致灾难性状态,特别是在像嵌入汽车中的敏感系统中。本文提出了一种从自然语言编写的规范构造形式化模型的方法。这意味着规范足够准确,可以纳入模型中,从而发现本规范中的不一致之处。足够意味着错误率下降了2%。本文讨论了误差计数方法。因此,本文给出了规范一致性的定义。用于构建模型的方法是自动的,并向用户指出规范的不一致性。此外,一旦构建了模型,就会生成反映规范的总体测试计划。该测试计划将确保实现规范的系统满足要求。

引用为

Jean-Noél Martin和Damien Martin-Guillerez。增强汽车行业规范文件的一致性。在第一届语言、应用和技术研讨会上。信息学开放获取系列(OASIcs),第21卷,第225-237页,Dagstuhl–Leibniz-Zentrum für Informatik Schloss(2012)


将BibTex复制到剪贴板

@会议记录{martin_et_al:OASIcs.SLATE.2012.225,author={Martin,Jean-No\“{e} 我和Martin-Guillerez,Damien},title={{增强汽车行业规范文件的一致性}},booktitle={第一届语言、应用和技术研讨会},页数={225--237},series={信息学开放存取系列(OASIcs)},国际标准图书编号={978-3-939897-40-8},ISSN={2190-6807},年份={2012},体积={21},编辑器={Sim\~{o} 秒、阿尔贝托和奎尔{o} 秒里卡多和达克鲁兹,丹妮拉,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.225},URN={URN:nbn:de:0030-drops-35251},doi={10.4230/OASIcs.SLATE.2012.225},annote={关键词:一致性、规范、模型生成、自动文本处理}}
文件
基于概率合成集的概念定位

作者:努诺·拉莫斯·卡瓦略、若泽·若昂·阿尔梅达、玛丽亚·若昂·瓦兰达·佩雷拉和佩德罗·兰杰尔·恩里克斯


摘要
概念定位是程序理解技术中的一项常见任务,在用于软件维护和软件进化的许多方法中都是必不可少的。这个过程的一个重要目标是发现源代码和面向人类的概念之间的映射。尽管程序是用严格而正式的语言编写的,但仍然可以在程序中找到诸如标识符(变量或函数名)、常量字符串或注释等自然语言术语和句子。使用术语概念和自然语言处理技术,可以利用这些术语来发现源代码所处理的真实概念的线索。这项工作使用本体驱动的构造扩展了编译器构建的符号表,扩展了语言学定义的同义词集,并从软件领域并行语料库中自动创建了Probabilistic SynSets。使用关系代数,在程序元素和面向人类的概念之间建立语义桥梁,以增强概念定位任务。

引用为

努诺·拉莫斯·卡瓦略、何塞·若昂·阿尔梅达、玛丽亚·若昂·瓦兰达·佩雷拉和佩德罗·兰杰尔·恩里克。基于概率合成集的概念定位。在第一届语言、应用和技术研讨会上。信息学开放获取系列(OASIcs),第21卷,第239-253页,Dagstuhl–Leibniz-Zentrum für Informatik Schloss(2012)


将BibTex复制到剪贴板

@会议记录{carvalho_et_al:OASIcs.SLATE.2012.239,author={卡瓦略、努诺·拉莫斯和阿尔梅达、乔斯·乔\~{a} o个和瓦兰达·佩雷拉、玛丽亚·乔\~{a} o个和亨利克,佩德罗·兰格尔},title={{基于概率合成集的概念位置}},booktitle={第一届语言、应用和技术研讨会},页数={239--253},series={信息学开放存取系列(OASIcs)},国际标准图书编号={978-3-939897-40-8},ISSN={2190-6807},年份={2012},体积={21},编辑器={Sim\~{o} 秒、阿尔贝托和奎尔{o} 秒里卡多和达克鲁兹,丹妮拉,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.239},URN={URN:nbn:de:0030-drops-35267},doi={10.4230/OASIcs.SLATE.2012.239},annote={关键词:程序理解、程序可视化、概念定位、代码检查、同义词集、概率同义词集合、翻译词典}}
文件
英汉电影字幕的多媒体平行语料库

作者:Patricia Sotelo Dios和Xavier Gómez Guinovart


摘要
在本文中,我们提出了一个正在进行的研究项目,重点是构建、处理和开发英语-西班牙语电影字幕的多媒体平行语料库,展示了基于TMX的XML规范,该规范旨在对语料库中的视听特征和翻译对齐进行编码,以及为使数据以多媒体格式在网络上可用而采用的解决方案。

引用为

Patricia Sotelo Dios和Xavier Gómez Guinovart。英语-西班牙语电影字幕的多媒体平行语料库。在第一届语言、应用和技术研讨会上。信息学开放存取系列(OASIcs),第21卷,第255-266页,Schloss Dagstuhl–Leibniz Zentrum für Informatik(2012)


将BibTex复制到剪贴板

@会议记录{sotelodios_et_al:OASIcs.SLATE.2012.255,author={Sotelo Dios、Patricia和G\'{o} 墨西哥吉诺瓦特,泽维尔},title={{英语-西班牙语电影字幕的多媒体平行语料库}},booktitle={第一届语言、应用和技术研讨会},页数={255--266},series={信息学开放存取系列(OASIcs)},国际标准图书编号={978-3-939897-40-8},ISSN={2190-6807},年份={2012},体积={21},编辑器={Sim\~{o} 秒、阿尔贝托和奎尔{o} 秒里卡多和达克鲁兹,丹妮拉,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.255},URN={URN:nbn:de:0030-drops-35274},doi={10.4230/OASIcs.SLATE.2012.255},annote={关键词:语料库、多媒体、翻译、字幕、XML}}
文件
探讨SMT用于文本注释的可能性

作者:拉兹洛·拉基


摘要
在这篇论文中,我检验了SMT方法在匈牙利语部分话语消歧和柠檬化中的适用性。基线系统创建后,使用不同的方法和可能性来提高系统的效率。我还应用了一些方法来减少目标词典的大小,并找到一个适当的解决方案来处理词汇表外的单词。结果表明,这种轻型系统的性能与其他最先进的系统相当。

引用为

拉兹洛·拉基。研究使用SMT进行文本注释的可能性。在第一届语言、应用和技术研讨会上。信息学开放获取系列(OASIcs),第21卷,第267-283页,Dagstuhl–Leibniz-Zentrum für Informatik Schloss(2012)


将BibTex复制到剪贴板

@会议记录{laki:OASIcs.SLATE.2012.267,author={Laki,L\'{a} szl公司\'{o}},title={{研究使用SMT进行文本注释的可能性}},booktitle={第一届语言、应用和技术研讨会},页数={267--283},series={信息学开放存取系列(OASIcs)},国际标准图书编号={978-3-939897-40-8},ISSN={2190-6807},年份={2012},体积={21},编辑器={Sim\~{o} 秒、阿尔贝托和奎尔{o} 秒里卡多和达克鲁兹,丹妮拉,publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2012.267},URN={URN:nbn:de:0030-drops-35285},doi={10.4230/OASIcs.SLATE.2012.267},annote={关键词:SMT,POS-tagging,Lemmatization,目标语言集,OOV}}

过滤器


问题/备注/反馈
X(X)

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

请稍后再试或发送电子邮件