掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Computing Colombian Conference
Computing Colombian Conference
召开年:
2015
召开地:
Bogota(CO)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
3D seismic modeling using hybrid arquitectures
机译:
使用混合架构的3D地震建模
作者:
Nino Diego
;
Carreno Jose
;
Trigos William
;
Gelvez Sergio
;
Gonzalez Herling
;
Barrios Carlos
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
architecture;
differential equations;
elastic waves;
finite difference methods;
parallel architectures;
seismology;
3D seismic modeling;
CUDA;
GUANE-1 architecture;
Madagascar;
OpenMP;
differential equation;
elastic wave;
finite difference method;
heterogeneous media;
hybrid arquitectures;
isotropic media;
seismic data processing software;
wave phenomenon;
Computational modeling;
Finite difference methods;
Graphics processing units;
Mathematical model;
Solid modeling;
Three-dimensional displays;
Time-domain analysis;
3D visualization;
CUDA;
FDTD;
OpenMP;
Seismic modelling;
computational geophysics;
elastic wave equation;
hybrid architectures;
isotropic media;
2.
Application to support the process of training sign language through Microsoft Kinect®
机译:
通过MicrosoftKinect®支持训练手语过程的应用程序
作者:
Londono Castro
;
Castro Robinson
;
Bedoya Herrera
;
Elias Oscar
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
computer vision;
learning (artificial intelligence);
natural language processing;
sign language recognition;
Colombia sign language;
LSC;
Microsoft Kinect;
artificial intelligence;
data processing;
hardware elements;
learning process;
vision tools;
Assistive technology;
Gesture recognition;
Hardware;
Image color analysis;
Image segmentation;
Irrigation;
Markov processes;
Canny edge detention;
Colombia sign language;
Kinectsup®/sup;
Markov chains;
image segmentation;
3.
Prototipo para el reconocimiento de entidades nombradas en el idioma Español
机译:
用于识别西班牙语命名实体的原型
作者:
Castillo Molina Camilo Andres
;
Gutierrez Raul E.
;
Solarte Oswaldo
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
natural language processing;
random processes;
ANCORA corpus;
CRF;
CoNLL2002 corpus;
Spanish language;
conditional random field;
cross validation method;
independent language feature;
named entities recognition;
Computational modeling;
Markov processes;
Natural languages;
Organizations;
Proposals;
Silicon compounds;
Yttrium;
Conditional Random Fields (CRFs);
Named Entity Recognition (NER);
Procesamiento de Lenguaje Natural (PLN);
Spanish;
4.
Automatic geolocation of the scientific knowledge: Geolocarti
机译:
科学知识的自动地理定位:Geolocarti
作者:
Dario Ramos Vacca Ivan
;
Bucheli Guerrero Victor Andres
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
bibliographies;
citation analysis;
geographic information systems;
meta data;
natural language processing;
Geolocarti;
automatic geolocation;
bibliography;
citations analysis;
geographic information;
geographical location;
information aggregator;
knowledge creation;
metadata processing;
named entity recognition;
natural language processing;
scientific collaboration network;
scientific knowledge production;
scientific production;
transference system;
Bibliographies;
Computational modeling;
Geology;
Internet;
Metadata;
Natural language processing;
Production;
Análisis Geográfico de Información;
Clústeres Geográficos;
Clasificación;
Conocimiento Científico;
Procesamiento de información;
Producción de Conocimiento;
Sistemas de Información Geográfica;
Transferencia del Conocimiento;
5.
GearMeApp: Multiplatform application for personalized physical training, to support the learning in the physical activity execution
机译:
GearMeApp:多平台应用程序,用于个性化体育锻炼,以支持体育锻炼执行中的学习
作者:
Pinzon Vela
;
Hugo Victor
;
Barrera-Leon Luisa Fernanda
;
Gomez Narvaez Cristhian Camilo
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
learning (artificial intelligence);
mobile computing;
smart phones;
GearMeApp;
complementary learning environment;
mobile application;
multiplatfonn application;
physical activity execution;
Three-dimensional displays;
Yttrium;
Adaptation;
Cym;
Fitness;
Mobile Applications;
Personalization;
Physical Training;
6.
Automatic prediction of item difficulty for short-answer questions
机译:
自动预测短答案的项目难度
作者:
Duenas George
;
Jimenez Sergio
;
Baquero Julia
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
cognition;
regression analysis;
support vector machines;
KBest supervised method;
SciEntsBank;
cognitive ability;
cognitive demand;
regression model;
reliability;
support vector machine;
Biological system modeling;
Economics;
Feature extraction;
Manuals;
Predictive models;
Reliability;
Support vector machines;
Bloom's taxonomy;
item difficulty;
short-answer question;
7.
A genomics-based profanity-safe Web forum
机译:
基于基因组学的亵渎性安全Web论坛
作者:
Mogollon Pinzon Christian
;
Rojas-Galeano Sergio
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
Internet;
content management;
information dissemination;
public domain software;
social networking (online);
text analysis;
New BSD License;
Web2.0 applications;
bioinformatics;
comparative genomics;
content moderation;
experimental Web forum;
freedom of speech liberty;
genomics-based profanity;
microblogging social networking sites;
newspaper forums;
nonauthorised profanity content dissemination;
open-source software;
safe Web forum;
sequence alignment methods;
text generation;
user-generated text;
virtual communities;
Bioinformatics;
Blogs;
Genomics;
Organisms;
Servers;
Software;
Vegetation;
8.
CAPELA: An active campus platform
机译:
CAPELA:活跃的校园平台
作者:
Bello David H.
;
Jimenez-Guarin Claudia
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
educational administrative data processing;
educational institutions;
resource allocation;
ubiquitous computing;
CAPELA;
active campus concept;
active campus platform;
campus community well-being;
campus information systems;
company campus;
indoor relevant interactions;
outdoor relevant interactions;
personalization issues;
pervasive forms;
physical resources;
proactive forms;
university campus;
user context;
user experience;
Context;
Databases;
Mobile applications;
Music;
Privacy;
Servers;
Web services;
active campus;
people and physical spaces interaction;
smart campus;
9.
Creating educational content with Augmented Reality applying principles of the cognitive theory of multimedia learning: Comparative study to teach how to fly a drone (quadcopter)
机译:
利用多媒体学习认知理论的原理通过增强现实创建教育内容:教如何驾驶无人机(quadcopter)的比较研究
作者:
Salamanca Diaz Daniel Mauricio
会议名称:
《》
|
2015年
关键词:
augmented reality;
computer aided instruction;
control engineering computing;
control engineering education;
helicopters;
mobile computing;
mobile robots;
multimedia computing;
telerobotics;
CTML;
Jorge Tadeo Lozano University;
Planetarium of Bogotá;
augmented reality;
cognitive theory of multimedia learning;
educational content;
mobile devices;
quadcopter drone;
remote control;
Augmented reality;
Irrigation;
Mathematics;
Multimedia communication;
Silicon compounds;
Three-dimensional displays;
Yttrium;
Palabras claves;
Realidad Aumentada;
ambientes interactivos;
aprendizaje multimedia;
10.
Reconstruction of light field with spectral information from compressive 2D projections
机译:
利用来自2D压缩投影的光谱信息重建光场
作者:
Lopez Kareth M. Leon
;
Galvis Laura V.
;
Arguello Fuentes Henry
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
compressed sensing;
image reconstruction;
optical arrays;
spatial filters;
4D light field;
acquisition systems;
angular dimensions;
compressive 2D projections;
compressive light field imaging;
light field reconstruction;
optical filter array;
spatial dimensions;
spectral band;
spectral dimension;
spectral information;
Apertures;
Detectors;
Dictionaries;
Image coding;
Image reconstruction;
Mathematical model;
Training;
Apertures;
Compressive sensing;
Light field;
Spectral information;
11.
Creating virtual stores using software product lines: An application case
机译:
使用软件产品线创建虚拟商店:一个应用案例
作者:
Rincon Luisa
;
Rodriguez Gabriel
;
Martinez Juan C.
;
Alvarez Gloria Ines
;
Constanza Pabon Maria
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
electronic commerce;
software product lines;
software reusability;
GAT;
automatic virtual store generator;
client-enterprise trading;
electronic commerce system;
software product line engineering;
software reuse;
virtual store software creation;
Electronic commerce;
Electronic mail;
Generators;
Internet;
Software;
Software product lines;
Terminology;
Líneas de productos de software;
comercio electrónico;
ingeniería de software;
tiendas virtuales;
12.
ATAM-AR: ATAM-based recovery architecture method
机译:
ATAM-AR:基于ATAM的恢复体系结构方法
作者:
Munoz Edwar Alejandro Giraldo
;
Ordonez Guzman Yuli Andrea
;
Hurtado Alegria Julio Ariel
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
computer aided instruction;
file organisation;
software architecture;
software houses;
source code (software);
ATAM-AR method;
ATAM-based recovery architecture method;
architecture trade-off analysis method;
file synchronization system;
software architecture;
software companies;
software development team;
source code;
tacit knowledge;
virtual learning platforms;
Companies;
Computer architecture;
Proposals;
Silicon compounds;
Software;
Software architecture;
ATAM;
Architecture Evaluation;
Recovery Architecture;
Reverse Engineering;
13.
Description of a system for determining the level of student learning from the posture evaluation
机译:
用于根据姿势评估确定学生学习水平的系统的描述
作者:
Diaz Christian
;
Hincapie Mauricio
;
Guerra Walter
;
Moreno Gustavo
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
inference mechanisms;
intelligent tutoring systems;
teaching;
technical presentation;
Colombia;
SmartRoom concept;
attention levels;
content presentation methodology;
content presentation type;
developing countries;
engagement levels;
global education evaluation;
global education improvement;
inference system;
intelligent learning environments;
learning environment;
posture evaluation;
qualitative student assessment;
qualitative teacher assessment;
student learning level;
teaching practice assessment;
teaching practice improvement;
teaching practice performance metrics;
Complexity theory;
Education;
Encoding;
Manuals;
Measurement;
Surges;
Visualization;
Métricas;
Postura Corporal;
Skeletal Tracking;
SmartRoom;
práctica pedagógica;
14.
Android management tool, that controls electronic devices through a Raspberry Pi under the IOT model
机译:
Android管理工具,可通过物联网模型下的Raspberry Pi控制电子设备
作者:
Diaz Ballesteros Edgar Alberto
;
Castro Calderon Carlos Eduardo
;
Castro Calderon Yovanny
;
Gomez Strauss Edgardo
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
Android (operating system);
Internet of Things;
graphical user interfaces;
home automation;
public domain software;
Android management tool;
GUI;
IOT model;
Internet of Things;
Raspberry Pi;
electronic device control;
open source software;
Androids;
Humanoid robots;
Internet;
Linux;
Monitoring;
Robot sensing systems;
Software;
Android;
IOT;
RaspberryPi;
home automation;
15.
Methodological hybrid SOA+CBSD for services oriented software development
机译:
用于面向服务的软件开发的方法学混合SOA + CBSD
作者:
Maldonado C. Diego Alejandro
;
Nieto L. Alba Consuelo
;
Cala D. Sandra Patricia
;
Diosa Henry Alberto
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
distributed databases;
object-oriented programming;
project management;
service-oriented architecture;
software reusability;
SOA architectural reference model;
academic management system basic module;
business alignment;
business modularity;
business service composition;
component-based software development methodologies;
component-based software development techniques;
distributed database system;
methodological hybrid SOA+CBSD;
models driven engineering;
persistence model;
project management;
project planning;
service oriented architectural reference model;
service oriented software development;
Context modeling;
Proposals;
Semiconductor optical amplifiers;
Service-oriented architecture;
Unified modeling language;
Academic Management;
Component-based Software Development (CBSD);
Petals;
Service-Oriented Architecture (SOA);
Unified Process Model (PUM);
16.
The models and their vocabulary for the Adaptive Augmented Reality A
2
R
机译:
自适应增强现实A
2 sup> R的模型及其词汇
作者:
Tenemaza Maritzol
;
de Antonio Angelica
;
Ramirez Jaime
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
Internet;
augmented reality;
real-time systems;
user interfaces;
vocabulary;
Asup2/supR system;
adaptive Web systems;
adaptive augmented reality;
real time activities;
user adaptive systems;
vocabulary;
Adaptation models;
Adaptive systems;
Augmented reality;
Context;
Navigation;
Proposals;
Solid modeling;
17.
Evaluating the monolithic and the microservice architecture pattern to deploy web applications in the cloud
机译:
评估整体和微服务架构模式以在云中部署Web应用程序
作者:
Villamizar Mario
;
Garces Oscar
;
Castro Harold
;
Verano Mauricio
;
Salamanca Lorena
;
Casallas Rubby
;
Gil Santiago
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
cloud computing;
software architecture;
Internet companies;
Play Web framework;
Web applications;
cloud computing;
enterprise applications;
microservice architecture pattern;
monolithic architecture pattern;
Cloud computing;
Companies;
Complexity theory;
Computer architecture;
Service-oriented architecture;
IaaS;
PaaS;
SOA;
cloud computing;
continuous delivery;
infrastructure as a services;
microservice architecture;
microservices;
platform as a service;
scalable applications;
service oriented architectures;
software architecture;
software engineering;
18.
ISML: A language and MDE environment to model and generate web applications with integration of existing components
机译:
ISML:一种语言和MDE环境,用于通过集成现有组件来建模和生成Web应用程序
作者:
Franky Maria Consuelo
;
Pavlich-Mariscal Jaime A.
;
Olarte John Carlos
;
Acero Maria Catalina
;
Zambrano Angee
;
Camargo Jorge Leonardo
;
Pinzon Josue Nicolas
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
Internet;
educational institutions;
organisational aspects;
program compilers;
project management;
research initiatives;
software houses;
software management;
source code (software);
Colombian company;
ISML environment;
Information Systems Modeling Language;
Java EE 6;
MDE environment;
Web applications;
joint university-industry group;
modeling environment;
software applications;
software industry;
software project development cost reduction;
software project development time reduction;
source code generation;
textual language;
Companies;
DSL;
Heterojunction bipolar transistors;
Information systems;
Java;
Manuals;
Software;
Automatic Software Integration;
Code Generation;
Frameworks;
Legacy Components Integration;
Model-driven development of Web applications;
19.
Executable calculational specifications
机译:
可执行的计算规格
作者:
Chaves Francisco
;
Rocha Camilo
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
formal specification;
functional languages;
public domain software;
symbol manipulation;
Haskell library;
Haskell programming language;
executable calculational specifications;
executable specification language;
higher order computation;
open source code;
pattern matching;
quantifier expressions;
semiformal development style;
symbolic expressions manipulation;
universal-existential quantification;
Arrays;
Computer languages;
Generators;
Pattern matching;
Production;
Semantics;
Syntactics;
20.
Surface reconstruction from three-dimensional segmentations using implicit functions
机译:
使用隐函数从三维分割中重建表面
作者:
Gomez-Mora Miller
;
Florez-Valencia Leonardo
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
computer graphics;
geometry;
image representation;
image segmentation;
medical image processing;
stochastic processes;
Poisson surface reconstruction method;
computer graphics;
geometric modelling;
human organ 3D modelling;
implicit representation;
medical image segmentation;
object modeling;
Biomedical imaging;
Computational modeling;
Image reconstruction;
Image segmentation;
Reconstruction algorithms;
Surface reconstruction;
Three-dimensional displays;
Object modeling;
implicit functions;
mesh generation;
surface reconstruction;
21.
Exergames as a tool for the assessment of postural balance in a patient with multiple sclerosis: The role of biomechanical analysis in the quantification of movement
机译:
Exergames作为评估多发性硬化症患者姿势平衡的工具:生物力学分析在运动量化中的作用
作者:
Casanova Mario Samuel
;
Munoz John E.
;
Henao Oscar Alberto
;
Lopez David Sebastian
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
computer games;
computer vision;
medical computing;
virtual reality;
Exergame;
artificial vision technique;
biomechanical analysis;
dynamic analysis;
markerless motion capture;
mild neurological disorder;
multiple sclerosis;
postural balance;
virtual reality;
Avatars;
Biomechanics;
Dynamics;
Multiple sclerosis;
Silicon compounds;
Training;
Kinect;
dynamic systems;
exergame;
motion capture;
multiple sclerosis;
virtual reality;
22.
DMLAS: A Domain-Specific Language for designing adaptive systems
机译:
DMLAS:一种用于设计自适应系统的领域特定语言
作者:
Bocanegra Jose
;
Pavlich-Mariscal Jaime
;
Carrillo-Ramos Angela
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
programming languages;
software engineering;
DMLAS;
DSL;
GME;
adaptive software;
adaptive system development;
domain-specific language;
generic modeling environment;
Adaptation models;
Adaptive systems;
Context;
Object oriented modeling;
Pregnancy;
Software;
Unified modeling language;
23.
Cubilletes: Adaptive system to support experiential learning in recognition and use of money
机译:
币:自适应系统,以支持体验式学习以识别和使用金钱
作者:
Cubillos Carvajal Alejandra
;
Carrillo-Ramos Angela
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
adaptive systems;
computer aided instruction;
financial management;
handicapped aids;
Cubilletes;
adaptive system;
down syndrome;
experiential learning;
money recognition;
Down Syndrome;
adaptive system;
experiential /earning;
money;
24.
Fast functional prototyping of user interfaces based on DataForm models, a tool (ToolDataForm)
机译:
基于DataForm模型(一种工具(ToolDataForm))的用户界面的快速功能原型
作者:
Giraldo O. William J.
;
Arias M. Robinson
;
Collazos O. Cesar A.
;
Molina Ana I.
;
Ortega C. Manuel
;
Redondo Miguel A.
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
data integration;
formal specification;
software prototyping;
user interfaces;
DataForm models;
domain data integration;
fast functional prototyping;
formal specification;
user interfaces;
Cognitive science;
Computational modeling;
Context modeling;
Data models;
Manuals;
Prototypes;
User interfaces;
Generación Automática;
MDE;
Modelo DataForm;
prototipado rápido;
25.
Towards testing variability intensive systems using user reviews
机译:
使用用户评论来测试变异性密集型系统
作者:
Rodas Jorge L.
;
Mendez-Acuna David
;
Galindo Jose A.
;
Benavides David
;
Cardenas Jesennia
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
program testing;
recommender systems;
Android ecosystem;
recommender systems;
software systems;
test case selection;
user reviews;
variability intensive systems testing;
Androids;
Electronic mail;
Humanoid robots;
Silicon;
Silicon compounds;
Software;
Testing;
Android;
Modelos de características;
Sistemas de alta variabilidd;
Sistemas de recomendación;
26.
Algorithm for Rician noise removing in magnetic resonance images by stationary wavelets transform and application of the Bilateral Filter
机译:
平稳小波变换消除磁共振图像中Rician噪声的算法及双边滤波器的应用
作者:
Jaramillo J. Rodney
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
biomedical MRI;
brain;
image denoising;
image filtering;
medical image processing;
wavelet transforms;
MRI;
Matlab;
Rician noise removing algorithm;
abnormality;
bilateral filter;
brain magnetic resonance images;
gray level images;
stationary wavelet transform;
wavelet domain filter;
Filtering algorithms;
MATLAB;
Magnetic resonance;
Rician channels;
Signal to noise ratio;
Wavelet transforms;
27.
Simulating the business model canvas using system dynamics
机译:
使用系统动力学模拟业务模型画布
作者:
Romero Maria Camila
;
Villalobos Jorge
;
Sanchez Mario
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
business data processing;
block template;
business model;
business model canvas simulation;
static representation;
system dynamics;
Buildings;
Companies;
Computational modeling;
Computers;
System dynamics;
Canvas;
Flow;
Model;
Simulation;
System Dynamics;
28.
Formal verification of safety properties for a cache coherence protocol
机译:
缓存一致性协议安全属性的形式验证
作者:
Ramirez Sergio
;
Rocha Camilo
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
cache storage;
formal specification;
formal verification;
inference mechanisms;
memory protocols;
rewriting systems;
search problems;
shared memory systems;
temporal logic;
ESI standard;
LTL model checker;
Maude search functionality;
Maude system;
cache coherence protocol;
central controller;
deductive techniques;
formal specification;
inductive reasoning;
linear temporal logic;
mechanical verification;
memory contents;
mutual exclusion;
read access;
rewriting logic theory;
safety properties;
shared memory access;
shared memory resource;
write access;
Algebra;
Cognition;
Coherence;
Mathematical model;
Protocols;
Safety;
Semantics;
29.
Calculational solutions to combinatorial problems
机译:
组合问题的计算解决方案
作者:
Bohorquez V. Jaime A.
会议名称:
《》
|
2015年
关键词:
combinatorial mathematics;
mathematics computing;
symbol manipulation;
axiomatic generalization;
calculational solutions;
combinatorial arguments;
combinatorial problems;
counts manipulation;
formal representation;
formal tool;
inclusion-exclusion theorem;
numerical identities;
sigma notation;
summation manipulation;
Context;
Electronic mail;
Finite element analysis;
Indexes;
Instruments;
Mathematical model;
Silicon;
30.
Towards tantalluc: Interactive mobile augmented reality application for the Museo de América in Madrid
机译:
向tantalluc迈进:马德里美国博物馆的交互式移动增强现实应用程序
作者:
Perea-Tanaka Carlos F.
;
Moreno Isidro
;
Prakash Edmond C.
;
Navarro-Newball Andres A.
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
artificial intelligence;
augmented reality;
computer games;
computer graphics;
human computer interaction;
hypermedia;
mobile computing;
Madrid;
Museo de América;
artificial intelligence;
computer graphics;
human-computer interaction;
hypermedia narrative technologies;
interactive mobile augmented reality application;
tantalluc;
video game engines;
virtual context;
Augmented reality;
Engines;
Games;
Image recognition;
Mobile handsets;
Three-dimensional displays;
31.
Functional resting state networks characterization through global network measurements for patients with disorders of consciousness
机译:
通过对意识障碍患者的全局网络测量来表征功能性休息状态网络
作者:
Martinez Darwin E.
;
Martinez Johann H.
;
Rudas Jorge
;
Demertzi Athena
;
Heine Lizette
;
Tshibanda Luaba
;
Soddu Andrea
;
Laureys Steven
;
Gomez Francisco
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
biomedical MRI;
brain;
medical disorders;
network theory (graphs);
average characteristic path;
average clustering coefficient;
average strength;
brain activity;
brain connectivity;
brain injuries;
cognitive relevance;
communication quality;
disorders of consciousness patients;
fMRI data;
functional brain network;
functional magnetic resonance imaging;
functional resting state network characterization;
global efficiency;
global network measurements;
graph based features;
information efficiency transfer;
network nodes;
patient diagnosis;
sensory relevance;
Brain;
Correlation;
Graph theory;
Magnetic resonance imaging;
Pathology;
Sociology;
Complex graph theory;
Disorders of Consciousness;
Global efficiency;
Resting state networks;
32.
Urban infrastructure taxonomy for city applications development: Applications development for smart cities
机译:
用于城市应用程序开发的城市基础设施分类法:智能城市的应用程序开发
作者:
Agudelo Jesse Padilla
;
Castro Barrera Harold Enrique
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
Internet of Things;
electricity supply industry;
gas industry;
public administration;
roads;
smart cities;
water supply;
Internet of Things;
aqueduct;
city applications development;
city support infrastructure;
electric networks;
gas networks;
guideline taxonomy;
road infrastructure;
smart cities;
smart city platform;
taxonomy scope;
urban infrastructure taxonomy;
Cities and towns;
Internet of things;
Monitoring;
Smart cities;
TCPIP;
Taxonomy;
Classification;
Internet of Things;
Smart Cities;
Taxonomy;
33.
Cohesion and coupling: A probabilistic view with applications to software validation
机译:
内聚和耦合:概率视图及其在软件验证中的应用
作者:
Sanmiguel Jorge
;
Cardoso Rodrigo
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
probability;
program verification;
statistical testing;
class certainty estimation;
class cohesion;
loose coupling principle;
probabilistic view;
program correction;
software validation;
statistical program testing;
Couplings;
Estimation;
Model checking;
Probabilistic logic;
Silicon compounds;
Software;
cohesion;
correctness;
coupling;
error detection;
software statistical validation;
testing;
34.
Urban screen interactive in Bogotá: Proposal for interaction with Colpatria tower
机译:
波哥大的城市屏幕互动:与Colpatria塔互动的提案
作者:
Ruiz Gutierrez Rafael Antonio
;
Figueroa Forero Pablo Alejandro
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
computer animation;
human computer interaction;
interactive systems;
screens (display);
Bogotá;
Colombian capital iconic buildings;
Colpatria Tower;
Kinect device;
Leap Motion device;
animation;
urban screen interactive;
Animation;
Buildings;
Color;
HTML;
Lighting;
Poles and towers;
Visualization;
HCI;
Interacción;
Modelo virtual;
Urban Screen;
35.
Heterogeneous bibliographic database query system prototype
机译:
异构书目数据库查询系统原型
作者:
Marquez Windgasse Jorge A.
;
Duarte-Amaya Dra Helga
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
bibliographic systems;
public libraries;
query processing;
Bibloestaciones;
Biblored;
Bogota;
Foundation for the Promotion of Reading;
Fundalectura;
community libraries;
distributed integration techniques;
heterogeneous bibliographic database query system prototype;
public library system;
Bases bibliográficas;
Dublin Core;
EAI;
Marc 21;
Sistemas distribuidos;
bases de datos heterogéneas;
herramientas de descubrimiento;
metabuscadores;
36.
Video analysis for segmentation and classification of players at soccer games
机译:
视频分析,用于足球比赛中球员的细分和分类
作者:
Gomez C. Angela M.
;
Trejos L. Luisa F.
;
Estefany Osorio A.
;
Calvo S. Andres F.
;
Holguin L M.
;
Holguin L German A.
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
Gaussian processes;
image classification;
image colour analysis;
image segmentation;
mixture models;
sport;
video signal processing;
Bayesian estimator;
Bhattacharyya distance;
MOG model;
Mixture of Gaussian model;
RGB 3D histogram;
TV broadcasting;
color descriptor;
feature extraction;
human-labeled database;
morphological constrains;
player classification;
player segmentation;
soccer game videos analysis;
Bayes methods;
Color;
Games;
Histograms;
Robustness;
Three-dimensional displays;
Transforms;
37.
Virtual reality in the treatment of cynophobia
机译:
虚拟现实在恐惧症的治疗中
作者:
Benavides Christian
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
patient treatment;
psychology;
social sciences computing;
virtual reality;
cynophobia treatment;
fear of dogs;
immersive virtual reality;
patient safety;
psychological disorder;
social wellbeing;
Dogs;
Electronic mail;
Image color analysis;
Silicon compounds;
Virtual reality;
Visualization;
38.
Component-based visual evolutionary computation
机译:
基于组件的视觉进化计算
作者:
Garzon Leidy
;
Rodriguez Nestor
;
Orjuela Henry
;
Rojas-Galeano Sergio
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
data mining;
distributed algorithms;
feature selection;
formal specification;
genetic algorithms;
object-oriented programming;
public domain software;
BSD license;
EC suite;
Goldenberry;
component-based visual evolutionary computation;
continuous-valued cost function optimisation;
data mining tasks;
discrete-valued cost function optimisation;
distribution algorithm estimation;
feature selection algorithms;
formally specified composition model;
friendly-graphical board;
genetic algorithms;
open-source software;
prefabricated self-contained software module assembling;
relevance estimation;
software tools;
visual components;
Benchmark testing;
Cost function;
Genetic algorithms;
Sociology;
Software;
Visualization;
39.
A mobile cloud computing-based system for child behavior's and mental disorder's tracking
机译:
基于移动云计算的儿童行为和精神障碍跟踪系统
作者:
Pussey Chabeli S.
;
Camargo Jorge E.
;
Diaz Gloria M.
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
cloud computing;
health care;
medical disorders;
mobile computing;
paediatrics;
psychology;
CBT;
acquisition process;
behavioral records;
child behavior;
child mental disorders;
cognitive-behavioral therapy;
manual observation process;
mental disorder tracking;
mental health;
mobile cloud computing-based system;
patient therapy;
Cloud computing;
Manuals;
Mobile communication;
Monitoring;
Pediatrics;
Silicon compounds;
Servicios web de Amazon;
back-end como servicio;
comportamiento;
desórdenes mentales;
mobile cloud computing;
40.
A model for the representation and retrieval of digital objects of physical activity exercises
机译:
体育锻炼数字对象的表示和检索模型
作者:
Guzman Luna Jaime Alberto
;
Torres Pardo Ingrid Durley
;
Fernandez Santiago Roman
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
computer aided instruction;
health care;
humanities;
sport;
digital object representation;
digital object retrieval;
exercise routines;
physical activity digital object;
physical activity exercises;
public outdoor gym;
self-contained units;
teaching;
Computational modeling;
Context modeling;
Education;
Instruments;
Media;
Medical services;
Periodic structures;
Representation model;
digital objects;
exercise;
physical activity;
search and recovery;
41.
A multimodal notification interface for a driver assistance system
机译:
驾驶员辅助系统的多模式通知界面
作者:
Penenory Victor Manuel
;
Gomez Jairo Alejandro
;
Hurtado Andres Felipe
;
Cabezas Ivan Mauricio
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
computer vision;
driver information systems;
road accidents;
user interfaces;
ComVidas;
driver assistance system using computer vision;
multimodal notification interface;
traffic accident;
Conductors;
Human computer interaction;
Monitoring;
Silicon compounds;
Sleep;
System-on-chip;
Vehicles;
Interacción humano computadora;
Notificación multimodal;
Sistemas de asistencia al conductor;
Visión por computador;
42.
A patterns catalog for the design and development of mobile applications
机译:
用于设计和开发移动应用程序的模式目录
作者:
Gonzalez Ricardo
;
Curiel Mariela
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
mobile computing;
smart phones;
software engineering;
mobile application development;
mobile device development;
pattern catalog;
software engineering;
Best practices;
Mobile applications;
Mobile handsets;
Navigation;
Silicon compounds;
Software;
Software engineering;
Mobile applications;
mobile devices;
patterns catalog;
software components;
software engineering;
43.
A framework for the generation and management of self-adaptive enterprise applications
机译:
生成和管理自适应企业应用程序的框架
作者:
Arboleda Hugo
;
Paz Andres
;
Jimenez Miguel
;
Tamura Gabriel
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
business data processing;
decision support systems;
software architecture;
Shift framework;
architectural design;
architectural development;
automated derivation;
context-dependent quality requirements;
decision support;
monitoring infrastructure;
quality scenarios;
self-adaptive enterprise applications generation;
self-adaptive enterprise applications management;
Adaptation models;
Analytical models;
Concrete;
Context modeling;
Monitoring;
Runtime;
Unified modeling language;
Self-adaptive enterprise applications;
component configurations;
software product lines;
44.
A pervasive and ubiquitous mobile health application for tracking people with disabilities
机译:
一个无处不在的移动健康应用程序,用于跟踪残疾人
作者:
Vergara Jeisson A.
;
Ramirez Yesika M.
;
Camargo Jorge E.
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
biomedical communication;
cloud computing;
diseases;
handicapped aids;
health care;
medical information systems;
mobile computing;
patient monitoring;
smart phones;
alzheimer patients;
blind people;
caregivers;
disabilities;
disorientation;
health information;
health services;
health-related applications;
m-health field;
mobile health cloud application;
movement problems;
occasional memory loss;
patient monitoring;
people tracking;
pervasive mobile health application;
position tracking;
quality of life;
smart phones;
ubiquitous mobile health application;
wheelchair;
Alzheimer's disease;
Global Positioning System;
Mobile applications;
Mobile communication;
Mobile handsets;
Monitoring;
Sensors;
alzheimer;
cloud;
m-health;
pervasive;
ubiquitous;
45.
ZETEMA: A web service for automatic short-answer questions grading
机译:
ZETEMA:一种Web服务,用于自动对简短的回答问题进行评分
作者:
Mancera Sergio
;
Jimenez Sergio
;
Gonzalez Fabio A.
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
Web services;
computer aided instruction;
educational administrative data processing;
Beetle;
Python;
SciEntsBank;
Web interface;
Web service;
XML format;
ZETEMA;
automatic short-answer questions grading;
Accuracy;
Bagging;
Electronic learning;
Joints;
Semantics;
Web services;
XML;
Automatic short answer grading;
Web services for educational applications;
46.
Analysis and design for the development of software with service-oriented approach: Characteristics and methodological framework
机译:
面向服务方法的软件开发分析和设计:特征和方法框架
作者:
Mestre Maribel Romero
;
Lozano Ballesteros Adrian Miguel
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
service-oriented architecture;
scientific community;
service-oriented architecture;
service-oriented software;
software development;
software engineering;
Computational modeling;
Computer architecture;
Proposals;
Semiconductor optical amplifiers;
Service-oriented architecture;
Análisis y diseño;
arquitectura orientada a servicios;
desarrollo dirigido por modelos;
líneas de productos de software;
procesos de negocio;
47.
“Coupling technologies” for didactic proposals
机译:
教学建议的“耦合技术”
作者:
Lopez Carolina
;
López Francisco
;
Castillo Luis F.
;
Gómez Tomás
;
Arango López Jeferson
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
art;
cognitive systems;
computer aided instruction;
teaching;
arts education;
cognitive sciences;
coupling sensorimotor systems;
coupling technologies;
didactic proposals;
extended cognitive system;
hand-tool coupling;
teaching method;
Analysis of variance;
Art;
Couplings;
Education;
Fractals;
Proposals;
art education;
embodied aesthetic;
sensorimotor tasks;
48.
Accelerating common machine learning algorithms through GPGPU symbolic computing
机译:
通过GPGPU符号计算加速通用机器学习算法
作者:
Diaz Miguel C.
;
Gonzalez Fabio A.
;
Ramos-Pollan Raul
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
graphics processing units;
learning (artificial intelligence);
regression analysis;
GPGPU symbolic computing;
graphics processing units;
kernel k-means algorithm;
logistic regression algorithm;
machine learning algorithms;
Algorithm design and analysis;
Clustering algorithms;
Graphics processing units;
Kernel;
Libraries;
Logistics;
Machine learning algorithms;
GPGPU;
Kernel K-Means;
Logistic Regression;
Machine Learning;
Theano;
49.
Electronic health record as an eHaaS historia clínica electrónica como servicio de software en la nube
机译:
电子病历作为eHaaS电子病历作为云软件服务
作者:
Villa Luis Bernardo
;
Cabezas Ivan
;
Cruz Juan
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
cloud computing;
electronic health records;
health care;
community cloud;
e-Health;
eHaaS;
electronic health record;
health catalogue repository;
health record bank;
patient self-management approach;
software as a service architecture;
Decision support systems;
Cloud Computing;
Electronic Health Record;
Personal Health Record;
e-Health;
eHaaS;
50.
Securing interactions of Android applications
机译:
保护Android应用程序的交互
作者:
Jimenez Lina Marcela
;
Rueda Sandra Julieta
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
Android (operating system);
data protection;
program diagnostics;
security of data;
smart phones;
software packages;
Android applications;
access control;
installation package;
protection mechanisms;
smartphones;
Androids;
Humanoid robots;
Manuals;
Silicon;
Silicon compounds;
Uniform resource locators;
Yttrium;
Android Security;
Secure Applications Development;
Static Analysis;
51.
Towards business process architecture analysis
机译:
进行业务流程架构分析
作者:
Suarez Mario
;
Sanchez Mario
;
Villalobos Jorge
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
business data processing;
organisational aspects;
BPA-tool platform;
business process analysis technique;
business process architecture;
business process architecture analysis;
business process modeling technique;
control domain;
decision making;
process centered organizations;
relationship analysis;
structure analysis;
Analytical models;
Decision making;
Documentation;
Organizations;
Process modeling;
Standards organizations;
52.
Morphological analysis for automatized visual inspection using reduced HOG
机译:
使用减少的HOG进行自动目测检查的形态分析
作者:
Estefany Osorio A.
;
Calvo S. Andres F.
;
Holguin L German A.
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
image classification;
object detection;
pedestrians;
reliability;
support vector machines;
HOG;
automatized visual inspection;
histogram-of-oriented gradient;
morphological analysis;
object classification system;
object detection system;
pedestrian detection;
performance evaluation;
plastic bottle;
quality assurance;
reliability index;
support vector machine;
Databases;
Histograms;
Image color analysis;
Robustness;
Shape;
Support vector machines;
Visualization;
53.
Solution to calculate the strategic alignment: Applied to a company in the power sector
机译:
计算战略一致性的解决方案:适用于电力行业的公司
作者:
Canas Miguel
;
Pena Yeimi
;
Correal Dario
;
Gonzalez Oscar
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
business data processing;
decision making;
electricity supply industry;
strategic planning;
technology management;
Colombia;
alignment identification;
alignment indicators;
alignment level;
alignment relation;
application services;
business managers;
business objectives;
business processes;
business services;
business strategies materialization;
company requirements;
decision making process;
model-driven strategy;
power sector;
strategic alignment;
technology managers;
technology solutions;
Capability maturity model;
Companies;
Decision making;
Manuals;
Silicon compounds;
Unified modeling language;
Alignment maturity levels;
Application services;
Business process;
Decisions Making;
Strategic Alignment;
54.
Innova-procedure: A procedure to guide the innovation of software development processes in VSEs
机译:
创新流程:指导VSE中软件开发流程创新的程序
作者:
Anacona Dolly
;
Bastidas Maria I.
;
Pino Francisco J.
;
Pardo Cesar
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
innovation management;
small-to-medium enterprises;
software engineering;
software houses;
software quality;
Innova-Procedure;
VSE;
competitiveness improvement;
microsized software development company;
product quality improvement;
small business innovation;
small-and-medium-sized software development companies;
software development processes;
software organizations;
Companies;
ISO Standards;
Product design;
Quality assessment;
Software;
Technological innovation;
VSE;
process innovation;
software development;
55.
Incorporation of HCI: Usability validation in use cases through the activity taxonomy
机译:
合并HCI:通过活动分类法对用例进行可用性验证
作者:
Villegas Maria L.
;
Collazos Cesar A.
;
Giraldo William J.
;
Gonzalez Juan M.
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
human computer interaction;
interactive systems;
program verification;
software reusability;
HCI;
activity taxonomy;
human computer interaction;
software development;
taxonomic classification;
transactional interactive system;
usability validation;
Human computer interaction;
Instruments;
Interactive systems;
Proposals;
Taxonomy;
Usability;
Casos de Uso;
Incorporación de HCI;
Taxonomía de la Actividad;
Usabilidad;
56.
Bacteria agent colony inside an ad-hoc network
机译:
临时网络中的细菌媒介菌落
作者:
Parra Amaris Jorge Ernesto
;
Checa Hurtado Angela Consuelo
;
Ortiz Trivino Jorge Eduardo
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
ad hoc networks;
multi-agent systems;
optimisation;
telecommunication computing;
ad-hoc network;
agent communication;
bacteria agent colony;
bacteria collective behavior;
bioinspired algorithm;
mutiagent systems;
quorum sensing;
Ad hoc networks;
Electronic mail;
Heuristic algorithms;
Microorganisms;
Mobile computing;
Sensors;
Yttrium;
57.
Indexing GPU acceleration for solutions approximation of the Laplace equation
机译:
索引GPU加速以求解Laplace方程的解
作者:
Tamayo Monsalve Manuel Alejandro
;
Tabares Soto Reinel
;
Liliana Montes Castrillon Nubia
;
Osorio Gustavo
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
Laplace equations;
approximation theory;
graphics processing units;
indexing;
GPU acceleration;
Laplace equation;
graphics processing units;
partial differential equations;
recurrent equations;
solutions approximation;
two-dimensional indexation;
Acceleration;
Approximation methods;
Electronic mail;
Graphics processing units;
High definition video;
Laplace equations;
VLIW;
58.
JSVT4: A review of software testing by means of statistical methods
机译:
JSVT4:通过统计方法回顾软件测试
作者:
Sanmiguel Jorge
;
Cardoso Rodrigo
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
Java;
formal logic;
program testing;
statistical distributions;
Eclipse plugin;
JSVT3;
JSVT4;
Java software validation;
Junit+;
first order logic predicates;
non-representative test data;
probabilistic distributions;
software testing;
statistical methods;
Java;
Probabilistic logic;
Silicon compounds;
Software testing;
Statistical analysis;
Usability;
assertions run-time checking;
correctness;
error detection;
software statistical validation;
testing;
59.
Interaction techniques comparison for Leap Motion in VRCollage app: Comparison between Clutching, Go-Go and selection techniques
机译:
VRCollage应用程序中Leap Motion的交互技术比较:离合器,移动和选择技术之间的比较
作者:
Suarez Jose M.
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
human computer interaction;
interactive devices;
user interfaces;
Leap Motion;
VRCollage app;
clutching technique;
go-go technique;
interaction technique;
selection technique;
Hardware;
Light emitting diodes;
Random access memory;
Silicon compounds;
Software;
Yttrium;
Clutching;
Go-Go;
Leap Motion;
Selección;
Técnicas;
VRCollage;
60.
Judicial precedents search supported by natural language processing and clustering
机译:
自然语言处理和聚类支持的司法判例搜索
作者:
Calambas Manuel Alejandro
;
Ordonez Armando
;
Chacon Angela
;
Ordonez Hugo
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
document handling;
information retrieval;
law administration;
natural language processing;
pattern clustering;
clustering;
court documents;
judicial precedent search;
legal professionals;
natural language processing;
Document clustering;
judicial document retrieval;
judicial natural language processing;
legal ontology;
named entity recognition;
61.
Rational agents federation through neural networks assembly in the diagnosis of acute coronary syndromes
机译:
通过神经网络装配进行理性代理商联合诊断急性冠脉综合征
作者:
Sprockel John
;
Gonzalez Enrique
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
diseases;
electrocardiography;
neural nets;
AOPOA methodology;
Colombia;
acute coronary syndromes diagnosis;
acute myocardial infarction;
biomarkers;
chest pain;
death;
electrocardiogram;
ichemic heart disease;
neural networks assembly;
rational agents federation;
stratification strategy;
Assembly;
Biological neural networks;
Diseases;
Heart;
Myocardium;
Pain;
Diagnóstico;
algoritmo genético;
dolor torácico;
metodología AOPOA;
redes neuronales;
síndromes coronarios agudos;
sistemas de ensamble;
sistemas multiagentes;
62.
ECUSI: Herramienta software para la evaluación colaborativa de la usabilidad de sistemas interactivos
机译:
ECUSI:用于交互式评估交互系统可用性的软件工具
作者:
Solano Andres
;
Ceron Juan Camilo
;
Collazos Cesar A.
;
Fardoun Habib M.
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
groupware;
interactive systems;
software metrics;
software quality;
software tools;
ECUSI software tool;
collaborative evaluation of the usability of interactive systems;
easy-to-learn systems;
easy-to-use systems;
fundamental quality characteristics;
interactive software systems;
usability evaluation methods;
Collaboration;
Conductors;
Google;
Interactive systems;
Software tools;
Usability;
collaborative evaluation of the usability;
evaluation methods;
usability;
63.
Brain Puzzle 3D
机译:
脑益智3D
作者:
Nunez Deyberth Hernando Riano
;
Hernandez Carlos Jaime Barrios
;
Forero Pablo Alejandro Figueroa
;
Tiberio Hernandez Penaloza Jose
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
biology computing;
brain;
computer aided instruction;
computer games;
interactive systems;
mouse controllers (computers);
3D Mouse;
Brain Puzzle 3D;
human brain;
learning;
nonconventional interaction devices;
visual interactive tool;
Mice;
Physiology;
Three-dimensional displays;
Visualization;
Brain;
Mouse 3D;
Puzzle;
SpaceNavigator;
Unity;
64.
Notation proposal for modeling tangible user interfaces
机译:
用于建模有形用户界面的注释建议
作者:
Cortes-Rico Laura Juliana
;
Florez-Valencia Leonardo
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
Unified Modeling Language;
human computer interaction;
user interfaces;
UML profile;
digital information;
human-computer interaction;
notation proposal;
tangible interaction;
tangible user interface;
unified modeling language profile;
Electronic mail;
Hardware;
Proposals;
Software;
Unified modeling language;
User interfaces;
Visualization;
Notación de modelado;
constraint;
información digital;
interfaces tangibles de usuario;
objetos físicos;
perfil UML;
token;
65.
Lessons learned in the design and implementation of a private cloud for high-performance computing using OpenStack in existing university infrastructure
机译:
在现有大学基础架构中使用OpenStack设计和实现用于高性能计算的私有云的经验教训
作者:
Caliz Ospino Rodolfo Arturo
;
Perez Arteaga Pedro Fabian
;
Perez Castillo Jose Nelson
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
cloud computing;
computer centres;
educational institutions;
parallel processing;
public domain software;
CECAD;
Center for High Performance Computing;
OpenStack technology;
Universidad Distrital Francisco José de Caldas;
academic community;
computing services;
data center infrastructure;
design decisions;
high-performance computing;
private cloud design process;
private cloud implementation process;
private cloud management process;
private cloud operation process;
university infrastructure;
Computational modeling;
Computer architecture;
Hardware;
Metals;
Platform as a service;
Cloud computing;
HPC;
High-Performance Computing;
IaaS;
Openstack;
66.
Evaluation of the reference framework for integration of web resources in DotLRN
机译:
评价DotLRN中Web资源集成的参考框架
作者:
Sotelo Gomez Fabinton
;
Ordonez Armando
;
Solarte Mario Fernando
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
Internet;
learning management systems;
B-Learning activities;
Cauca-Colombia rural school;
LMS DotLRN;
Web resources;
middle school education;
reference framework;
Electronic learning;
Internet;
Learning management systems;
Least squares approximations;
Media;
Silicon;
Uniform resource locators;
Web resources;
e-learning services;
integration;
learning management system;
reference framework;
67.
A DSL for rapid prototyping of cross-platform tower defense games
机译:
DSL,用于跨平台塔防游戏的快速原型制作
作者:
Sanchez Kevin
;
Garces Kelly
;
Casallas Rubby
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
computer games;
program compilers;
public domain software;
software portability;
specification languages;
DSL;
MDE techniques;
Plants vs. Zombies game;
Space Attack game;
behavioral aspects;
code generation;
cross-platform tower defense games;
domain specific language;
game portability;
game productivity;
model-driven engineering techniques;
open source language;
rapid prototyping;
structural aspects;
videogame;
Concrete;
DSL;
Games;
Object oriented modeling;
Poles and towers;
Sprites (computer);
Syntactics;
Cross-platform;
Domain Specific Languages;
Model-Driven Engineering;
Tower defense games;
68.
MONO+KM: Knowledge management in collaborative project development
机译:
MONO + KM:协作项目开发中的知识管理
作者:
Pedraza-Garcia Gilberto
;
Beltran Guillermo
;
Correal Dario
;
Gonzalez Osear
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
groupware;
knowledge management;
organisational aspects;
MONO tool;
MONO+KM;
collaborative project development;
decision recovery;
knowledge management approach;
Collaboration;
Electronic publishing;
Information services;
Internet;
Knowledge management;
MONOS devices;
Software;
Collaborative Projects;
Decision recovery;
Knowledge Management;
Project Knowledge Management;
69.
Managing trade-offs among architectural tactics using feature models and feature-solution graphs
机译:
使用特征模型和特征解决方案图管理架构策略之间的权衡
作者:
Chavarriaga Jaime
;
Noguera Carlos
;
Casallas Rubby
;
Jonckers Viviane
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
Internet;
database management systems;
formal specification;
software architecture;
software quality;
architectural tactics;
conflicting alternative selection;
conflicting tactics;
database-based Web applications;
design alternatives;
feature model;
feature-solution graphs;
nonconflicting tactics;
quality attributes;
software architecture;
trade-off decision;
trade-off point detection;
Computer architecture;
Concurrent computing;
Databases;
Feature extraction;
Redundancy;
Servers;
Software;
Feature Model;
Feature-Solution Graphs;
Quality attributes;
Software Product Lines;
70.
M-health system backend supported by an actors model
机译:
参与者模型支持的M-health系统后端
作者:
Corredor Acosta Manuel Alejandro
;
Cadavid Rengifo Hector Fabio
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
diseases;
health care;
mobile computing;
software architecture;
telemedicine;
M-health system;
actor-based programming model;
cardiovascular disease;
software architecture;
telemedicine system;
Indexes;
Internet;
Java;
Monitoring;
Software;
Telemetry;
Visualization;
actors;
events;
telemedicine;
telemetry;
71.
Participant selection in CrowdSensing environments
机译:
人群感应环境中的参与者选择
作者:
Torres Johan M.
;
Pomares Alexandra
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
intelligent sensors;
mobile computing;
outsourcing;
CrowdSensing environments;
contextual information;
crowdsourcing;
embedded sensors;
masses;
participant selection;
participatory sensing;
smart mobile devices;
Context;
Context modeling;
Crowdsourcing;
Intelligent sensors;
Legged locomotion;
Mobile handsets;
crowdsensing;
crowdsourcing;
participatory sensing;
selección de participantes;
72.
KunaySoft: Adaptive system of vocational guidance
机译:
KunaySoft:自适应职业指导系统
作者:
Gonzalez Vargas Juan Camilo
;
Parra Laguna Javier Leonardo
;
Carrillo-Ramos Angela
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
computer aided instruction;
educational institutions;
further education;
vocational training;
KunaySoft system;
adaptive system;
higher education;
learner characteristics;
learning styles;
life expectancy;
major selection;
personality types;
professional program;
school environment;
student attitudes;
student preferences;
student skills;
syllabus selection;
technical program;
technological program;
vocational guidance;
Adaptation models;
Adaptive systems;
Color;
Context;
Education;
Navigation;
Surges;
Adaptive System;
context profile;
major profile;
student profile;
university profile;
vocational guidance;
73.
Comunicability of two web 2.0 accessibility evaluation tools
机译:
两个Web 2.0可访问性评估工具的可通信性
作者:
Pascual Afra
;
Ribera Mireia
;
Granollers Toni
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
Internet;
interactive systems;
Web 2.0 accessibility evaluation tools;
Web editor tools;
emphatic system editor for accessibility;
interactive systems;
semiotic inspection method;
semiotics engineering;
test of accessibility web content manager system system;
Blogs;
Europe;
HTML;
Inspection;
Semiotics;
Software;
Web 2.0;
Accesibilidad;
Comunicabilidad;
Editores web;
Evaluación;
Ingeniería Semiótica;
Usabilidad;
74.
Pavement and base layers local thickness estimation using computer vision
机译:
使用计算机视觉估算路面和基础层的局部厚度
作者:
Brayan Barrios A.
;
Bladimir Bacca C.
;
Sandra Nope R.
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
computer vision;
friction;
geotechnical engineering;
inspection;
maintenance engineering;
road building;
structural engineering computing;
Colombian paved roads state;
base layers local thickness estimation;
computer vision;
deflectometry study;
flexible pavement;
geotechnical study;
international friction index;
international roughness index;
pavement rehabilitation quality;
public road;
surface defect visual inspection;
texture filter;
Band-pass filters;
Computer vision;
Estimation;
Gabor filters;
Image edge detection;
Image segmentation;
Roads;
Pavement;
computer vision;
texture segmentation;
thickness estimation;
75.
Identifying evacuation routes via the P-graph methodology
机译:
通过P-graph方法识别疏散路线
作者:
Garcia-Ojeda Juan C.
;
Bertok Botond
;
Friedler Ferenc
;
Argoti Andres
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
buildings (structures);
emergency management;
graph theory;
P-graph methodology;
PNSsubT/sub problem;
building floor map;
building location;
building passage;
building-evacuation routes assessment;
building-evacuation routes identification;
concomitant software;
evacuation time;
evacuation-route planning;
minimum cost;
time-expanded process-network synthesis;
Systems engineering and theory;
P-graph;
building-evacuation routes;
combinatorial optimization;
process-network synthesis;
76.
Pervasive mobile application to assist elderly people with cognitive impairment
机译:
普及的移动应用程序可帮助患有认知障碍的老年人
作者:
Reyes Angie K.
;
Camargo Jorge E.
;
Diaz Gloria M.
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
cognition;
diseases;
health care;
medical computing;
mobile computing;
patient monitoring;
patient treatment;
Alzheimer diseases;
aging people;
caregivers;
cognitive impairment;
diseases;
elderly people assistance;
health care;
health professionals;
mobile devices;
nonpharmacological interventions;
patient monitoring;
pervasive computing;
pervasive mobile application;
therapies;
ubiquitous computing;
ubiquitous mobile application;
Alzheimer's disease;
Electronic mail;
Gold;
Mobile applications;
Monitoring;
Silicon compounds;
Deterioro cogmtivo;
computación en la nube;
computación móvil;
enfermedad de Alzheimer;
terapia no farmacológica;
77.
Design and creation of a BCI videogame to train sustained attention in children with ADHD
机译:
设计和创建BCI电子游戏以训练多动症儿童的持续注意力
作者:
Munoz John E.
;
Lopez David Sebastian
;
Lopez Jose F.
;
Lopez Alexander
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
brain-computer interfaces;
computer games;
groupware;
handicapped aids;
medical disorders;
multimedia computing;
neurophysiology;
ADHD;
BCI video game;
attention deficit hyperactivity disorder;
brain-computer interface;
children;
collaborative designing process;
electroencephalographic signal;
multimedia tool;
neurophysiology;
Avatars;
Electroencephalography;
Games;
Human computer interaction;
Neurofeedback;
Pediatrics;
ADHD;
BCI;
Neurofeedback;
Neuromodulation;
Theta/Beta ratio;
Videogame;
78.
Production scheduling in flexible job shop scheduling using an Imperialist Competitive Algorithm (ICA) minimizing makespan
机译:
灵活的车间调度中的生产调度,使用帝国主义竞争算法(ICA)最小化了制造时间
作者:
Beltran Ricaurte I. I. Brian
;
Londono Restrepo Maria Isabel
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
computational complexity;
flexible manufacturing systems;
job shop scheduling;
minimisation;
search problems;
FJSP;
ICA;
combinatorial search space;
computational complexity;
flexible job shop scheduling problem;
imperialist competitive algorithm;
makespan minimization;
optimal solution;
optimization approaches;
production scheduling;
Flexible Job Shop Scheduling;
Imperialist competitive algorithm;
79.
A comparative study of dimensionality reduction methods for p-type based contour representations
机译:
基于p型轮廓表示的降维方法的比较研究
作者:
Victorino Jorge
;
Gomez Francisco
会议名称:
《Computing Colombian Conference》
|
2015年
关键词:
Fourier transforms;
feature extraction;
image representation;
mathematical morphology;
pattern clustering;
principal component analysis;
CFT;
PCA;
complex Fourier transform;
computational method;
cumulated variance;
dimensionality reduction methods;
knowledge discovery;
morphology;
objective clustering measurements;
open leaf contours;
p-type based contour representations;
shape representations;
tropical vegetation;
Accuracy;
Feature extraction;
Harmonic analysis;
Head;
Principal component analysis;
Shape;
意见反馈
回到顶部
回到首页