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

2013 8th Computing Colombian Conference (8CCC)最新文献

筛选
英文 中文
Multimodal interaction architecture applied to navigation in maps 多模式交互架构应用于地图导航
2013 8th Computing Colombian Conference (8CCC) Pub Date : 2013-10-21 DOI: 10.1109/COLOMBIANCC.2013.6637520
Carlos Duque, Fernando de la Rosa, J. T. Hernández
{"title":"Multimodal interaction architecture applied to navigation in maps","authors":"Carlos Duque, Fernando de la Rosa, J. T. Hernández","doi":"10.1109/COLOMBIANCC.2013.6637520","DOIUrl":"https://doi.org/10.1109/COLOMBIANCC.2013.6637520","url":null,"abstract":"This paper presents a multimodal interaction architecture that is proposed as the interaction/control component of new or existing computer applications, particularly for 2D/3D visual computing applications. The architecture aims to encourage multimodality in interaction between the user and the computer application in order to achieve a more natural interaction, easier and user friendly. The presented architecture integrates specialized interaction modules in different modalities (hand gestures and voice initially) operating simultaneously. The information resulting from these modules is processed by a multimodal integration module to detect simultaneous actions/commands. The architecture was integrated with Bing-Maps application to allow navigation in maps through voice and gestures. Some results of an initial evaluation using the current prototype are presented where we get information regarding its functionality and the resulting user experience.","PeriodicalId":409281,"journal":{"name":"2013 8th Computing Colombian Conference (8CCC)","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121084773","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
Correlation analysis for quality assessment of Region-of-Interest-coded images 兴趣区域编码图像质量评价的相关分析
2013 8th Computing Colombian Conference (8CCC) Pub Date : 2013-10-21 DOI: 10.1109/COLOMBIANCC.2013.6637521
J. García-Álvarez, P. C. Diaz-Solarte
{"title":"Correlation analysis for quality assessment of Region-of-Interest-coded images","authors":"J. García-Álvarez, P. C. Diaz-Solarte","doi":"10.1109/COLOMBIANCC.2013.6637521","DOIUrl":"https://doi.org/10.1109/COLOMBIANCC.2013.6637521","url":null,"abstract":"Quality assessment is a technique used for evaluation of processes monitored by multimedia sources (Audio, Image, Video). Perceptual measures has been recently proposed for quality assessment of those sources. This work illustrates the correlation analysis of the Image Quality Assessment (IQA) required to evaluate a specific coding process. For this purpose, we create a database of images processed by Region-Of-Interest (ROI) quality preservation methods, namely ROI-Coders. Attained to this database, each processed image get a perceptual score value set of Mean-Observed-Scores (MOS) coming from a human-based test and those coming from Full-referenced perceptual measurements. As a result, two of the considered perceptual measures achieve the highest correlation values, suggesting those to be adequate for the IQA used in this experiment.","PeriodicalId":409281,"journal":{"name":"2013 8th Computing Colombian Conference (8CCC)","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124434744","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
Application of pedagogical robotics in learning for children with special needs APRoLeCSNe 教学机器人在特殊需要儿童学习中的应用[j]
2013 8th Computing Colombian Conference (8CCC) Pub Date : 2013-10-21 DOI: 10.1109/COLOMBIANCC.2013.6637533
O. Rangel, A. Batista, M. Salazar, T. C. I. Pinzon
{"title":"Application of pedagogical robotics in learning for children with special needs APRoLeCSNe","authors":"O. Rangel, A. Batista, M. Salazar, T. C. I. Pinzon","doi":"10.1109/COLOMBIANCC.2013.6637533","DOIUrl":"https://doi.org/10.1109/COLOMBIANCC.2013.6637533","url":null,"abstract":"APRoLeCSNe is a project that presents the approach of pedagogical robotics to support the learning methods for children with special learning needs (CSLN). Pedagogical Robotics focuses on inductive learning and guided discovery. It uses a combination of software tools and educational robotic equipment, allowing students to solve problems in a fun and at the same time generate some learning.","PeriodicalId":409281,"journal":{"name":"2013 8th Computing Colombian Conference (8CCC)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114343655","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
Automatic proof-search heuristics in the Maude invariant analyzer tool Maude不变量分析工具中的自动证明搜索启发式
2013 8th Computing Colombian Conference (8CCC) Pub Date : 2013-10-21 DOI: 10.29375/25392115.2017
C. Rocha
{"title":"Automatic proof-search heuristics in the Maude invariant analyzer tool","authors":"C. Rocha","doi":"10.29375/25392115.2017","DOIUrl":"https://doi.org/10.29375/25392115.2017","url":null,"abstract":"The Invariant Analyzer Tool is an interactive tool that mechanizes an inference system for proving safety properties of concurrent systems, which may be infinite-state or whose set of initial states may be infinite. This paper presents the automatic proof-search heuristics at the core of the Maude Invariant Analyzer Tool, which provide a substantial degree of automation and can automatically discharge many proof obligations without user intervention. These heuristics can take advantage of equationally defined equality predicates and include rewriting, narrowing, and SMT-based proof-search techniques.","PeriodicalId":409281,"journal":{"name":"2013 8th Computing Colombian Conference (8CCC)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114788961","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
Study of the usability in applications used by children with Down Syndrome 唐氏综合症儿童应用程序的可用性研究
2013 8th Computing Colombian Conference (8CCC) Pub Date : 2013-10-21 DOI: 10.1109/COLOMBIANCC.2013.6637513
M. Y. Cortés, Alexandra Guerrero, Jeniffer V. Zapata, M. Villegas, Alexandra Ruiz
{"title":"Study of the usability in applications used by children with Down Syndrome","authors":"M. Y. Cortés, Alexandra Guerrero, Jeniffer V. Zapata, M. Villegas, Alexandra Ruiz","doi":"10.1109/COLOMBIANCC.2013.6637513","DOIUrl":"https://doi.org/10.1109/COLOMBIANCC.2013.6637513","url":null,"abstract":"In this paper a set of usability guides for the design and implementation of software for people with Down Syndrome is exposed. We perfomed a usability study to similar software applications available. Based on the obtained results we defined usability guides in order to to design and improve software applications to children users with Down Syndrome. Finally, we show the results through a web tool called “Learning with MINO”.","PeriodicalId":409281,"journal":{"name":"2013 8th Computing Colombian Conference (8CCC)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132992537","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
Kiosco informativo interactivo informational kiosk interactive 信息亭是交互式的
2013 8th Computing Colombian Conference (8CCC) Pub Date : 2013-10-21 DOI: 10.1109/COLOMBIANCC.2013.6637530
Nadia Lee Garcia, Gisela T. de Clunie, Gregorio Santana
{"title":"Kiosco informativo interactivo informational kiosk interactive","authors":"Nadia Lee Garcia, Gisela T. de Clunie, Gregorio Santana","doi":"10.1109/COLOMBIANCC.2013.6637530","DOIUrl":"https://doi.org/10.1109/COLOMBIANCC.2013.6637530","url":null,"abstract":"This paper presents the implementation of the System user interface KINFO-UTP using video game technology. We discuss the cataloging facilities building # 3 of the Technological University of Panama, which are displayed in the system. We report the use case diagram KINFO-UTP system and discuss how to combine four programming languages to enable interactivity KINFO-UTP.","PeriodicalId":409281,"journal":{"name":"2013 8th Computing Colombian Conference (8CCC)","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116134729","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
Subconjuntos mínimos de corrección para explicar características muertas en modelos de líneas de productos. El caso de los modelos de características 解释产品线模型中的死特性的最小修正子集。特征模型的情况
2013 8th Computing Colombian Conference (8CCC) Pub Date : 2013-10-21 DOI: 10.1109/COLOMBIANCC.2013.6637515
Luisa Rincón, G. Giraldo, R. Mazo, Camille Salinesi, D. Díaz
{"title":"Subconjuntos mínimos de corrección para explicar características muertas en modelos de líneas de productos. El caso de los modelos de características","authors":"Luisa Rincón, G. Giraldo, R. Mazo, Camille Salinesi, D. Díaz","doi":"10.1109/COLOMBIANCC.2013.6637515","DOIUrl":"https://doi.org/10.1109/COLOMBIANCC.2013.6637515","url":null,"abstract":"Take advantage of benefits offered by the paradigm of product lines depends, among other things, of the quality of models that represent product lines. An important facet of quality is ensuring that the Product Line Models (PLMs) are free of defects. One type of defect is the dead features (i.e., features that cannot be used in any valid product). Product Line modelers need tools that help them to identify why features are dead and how to correct the model. However, even if several works exist in literature for identifying dead features, few of them explain why dead features appear or they provide incomplete explanations. In this paper, we propose a new method to explain why each dead feature occurs in PLMs expressed with the notation of feature models. Our explanation involves identifying different subsets of elements that could be modified to correct the model. This explanation provides the information to fix each dead feature.","PeriodicalId":409281,"journal":{"name":"2013 8th Computing Colombian Conference (8CCC)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122692144","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}
引用次数: 5
Distributed elicitation of software requirements: An experimental case from Argentina and Colombia 软件需求的分布式引出:阿根廷和哥伦比亚的一个实验案例
2013 8th Computing Colombian Conference (8CCC) Pub Date : 2013-10-21 DOI: 10.1109/COLOMBIANCC.2013.6637522
S. Zapata, C. Collazos, Estela Torres, F. Giraldo, Gustavo Sevilla
{"title":"Distributed elicitation of software requirements: An experimental case from Argentina and Colombia","authors":"S. Zapata, C. Collazos, Estela Torres, F. Giraldo, Gustavo Sevilla","doi":"10.1109/COLOMBIANCC.2013.6637522","DOIUrl":"https://doi.org/10.1109/COLOMBIANCC.2013.6637522","url":null,"abstract":"Software development tends more and more to be a distributed or global process where participants are geographically dispersed. This scenario requires paying attention to three aspects identified as physical distance, temporal distance and cultural distance. It is acceptable to argue that these new features will impact the software process, especially in those phases where there are demands for greater communication and collaboration among team members. This paper presents a controlled experiment carried out in a university setting which tries to acquire a better knowledge elicitation stage distributed software requirements, as well as analyzes the use of university settings to perform these validations.","PeriodicalId":409281,"journal":{"name":"2013 8th Computing Colombian Conference (8CCC)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131784021","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
Analysis of intercrossed open-source software repositories data in GitHub GitHub中交叉开源软件存储库数据分析
2013 8th Computing Colombian Conference (8CCC) Pub Date : 2013-10-21 DOI: 10.1109/COLOMBIANCC.2013.6637537
G. Farah, D. Correal
{"title":"Analysis of intercrossed open-source software repositories data in GitHub","authors":"G. Farah, D. Correal","doi":"10.1109/COLOMBIANCC.2013.6637537","DOIUrl":"https://doi.org/10.1109/COLOMBIANCC.2013.6637537","url":null,"abstract":"The use of public repositories of software is becoming increasingly common as a strategy for reducing costs and streamlining software development processes. However, given the large amount of software available on such deposits, the task of selecting the components and applications of higher quality or that best meet the quality requirements of a product, has become a demanding task in time and effort. In this paper we present a tool to support the analysis and selection of components and software applications in public repositories, particularly GitHub.","PeriodicalId":409281,"journal":{"name":"2013 8th Computing Colombian Conference (8CCC)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128672169","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
首页 上一页
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学术文献互助群
群 号：604180095
Book学术官方微信