Works Published in 2013

search works

Displaying works 61 - 80 of 225 in total

Sorted by most recent date added to the index first, which may not be the same as publication date order.

2013 chapter

Linear Logic Programming for Narrative Generation

In Logic Programming and Nonmonotonic Reasoning (pp. 427–432).

By: C. Martens*, A. Bosser, J. Ferreira & M. Cavazza

TL;DR: This paper uses the language Celf to represent narrative knowledge, and its own querying mechanism to generate story instances, through a number of proof terms, to build a directed graph which represents narrative plots structured by narrative causality. (via Semantic Scholar)
Source: Crossref
Added: August 28, 2020

2013 journal article

Discovering how end-user programmers and their communities use public repositories: A study on Yahoo! Pipes

Information and Software Technology, 55(7), 1289–1303.

author keywords: End-user programmers; Community analysis; Artifact repositories; Web mashups; Diversity analysis
TL;DR: It is discovered that end-user programmers do not effectively reuse existing programs, submit pipes that are highly similar to others already in the repository, and in most cases do not have an awareness of the community or the richness of artifacts that exist in repositories. (via Semantic Scholar)
Source: Crossref
Added: August 28, 2020

2013 journal article

In-execution dynamic malware analysis and detection by mining information in process control blocks of Linux OS

Information Sciences, 231, 45–63.

author keywords: Intrusion detection system; Kernel task structure; Malware forensic; Operating system security; Malicious process detection
TL;DR: A novel concept of genetic footprint is proposed, by mining the information in the kernel process control blocks (PCB) of a process, that can be used to detect malicious processes at run time, and it is shown that the presented technique is robust to well known run-time evasion attempts. (via Semantic Scholar)
Source: Crossref
Added: August 28, 2020

2013 chapter

Validating Library Usage Interactively

In Computer Aided Verification (pp. 796–812).

By: W. Harris*, G. Jin*, S. Lu* & S. Jha*

TL;DR: This work presents an interactive program analysis that a programmer can apply to validate that his optimization does not change his program's semantics, and uses this analysis to validate optimizations of real-world, mature applications. (via Semantic Scholar)
Source: Crossref
Added: August 28, 2020

2013 journal article

Software effort models should be assessed via leave-one-out validation

Journal of Systems and Software, 86(7), 1879–1890.

By: E. Kocaguneli* & T. Menzies*

author keywords: Software cost estimation; Prediction system; Bias; Variance
TL;DR: This work depreciate N-way and endorse LOO validation for assessing effort models because of their generated B&V values and runtimes and in terms of reproducibility, LOO removes one cause of conclusion instability. (via Semantic Scholar)
Sources: Crossref, NC State University Libraries
Added: August 28, 2020

2013 journal article

Choose to Change: The West Virginia Early Childhood Obesity Prevention Project

Journal of Nutrition Education and Behavior, 45(4), S92.

By: S. Partington*, E. Murphy*, E. Bowen*, D. Lacombe*, G. Piras, L. Carson, L. Cottrell*, T. Menzies*

Sources: Crossref, NC State University Libraries
Added: August 28, 2020

2013 journal article

Predictive models in software engineering

Empirical Software Engineering, 18(3), 433–434.

Sources: Crossref, NC State University Libraries
Added: August 28, 2020

2013 journal article

Complex biomarker discovery in neuroimaging data: Finding a needle in a haystack

NeuroImage: Clinical, 3, 123–131.

TL;DR: The nature of complex biomarkers being investigated in the recent literature is considered and techniques to find such biomarkers that have been developed in related areas of data mining, statistics, machine learning and bioinformatics are presented. (via Semantic Scholar)
Source: Crossref
Added: August 28, 2020

2013 chapter

ALACRITY: Analytics-Driven Lossless Data Compression for Rapid In-Situ Indexing, Storing, and Querying

In Transactions on Large-Scale Data- and Knowledge-Centered Systems X (pp. 95–114).

By: J. Jenkins n, I. Arkatkar n, S. Lakshminarasimhan n, D. Boyuka n, E. Schendel n, N. Shah n, S. Ethier*, C. Chang* ...

Source: Crossref
Added: August 28, 2020

2013 journal article

A graph-based approach to find teleconnections in climate data

Statistical Analysis and Data Mining, 6(3), 158–179.

author keywords: graph algorithm; teleconnections; dipole discovery
TL;DR: A systematic graph‐based approach to find the teleconnections in climate data is presented, which can generate a single snapshot picture of all the dipole interconnections on the globe in a given dataset and thus makes it possible to study the changes in dipole interactions and movements. (via Semantic Scholar)
UN Sustainable Development Goal Categories
13. Climate Action (Web of Science; OpenAlex)
Source: Crossref
Added: August 28, 2020

2013 chapter

VIA - Visualizing Individual Actions to Develop a Sustainable Community Culture through Cycling

In Distributed, Ambient, and Pervasive Interactions (pp. 316–325).

By: B. Watson n, D. Berube n, N. Hristov*, C. Strohecker*, S. Betz*, L. Allen*, M. Burczyk, A. Howard* ...

TL;DR: Network members will use new technologies to engage the community about its use of transportation--especially biking--and study how that communication affects sustainability awareness and behavior. (via Semantic Scholar)
Source: Crossref
Added: August 28, 2020

2013 chapter

Metrics for Character Believability in Interactive Narrative

In Interactive Storytelling: Vol. 8230 LNCS (pp. 223–228).

By: P. Gomes*, A. Paiva, C. Martinho & A. Jhala*

Contributors: P. Gomes*, A. Paiva, C. Martinho & A. Jhala*

TL;DR: The proposed believability dimensions are: behavior coherence, change with experience, awareness, behavior understandability, personality, visual impact, predictability, social and emotional expressiveness. (via Semantic Scholar)
UN Sustainable Development Goal Categories
10. Reduced Inequalities (OpenAlex)
Sources: Crossref, ORCID, NC State University Libraries
Added: August 28, 2020

2013 book

Personalizing embedded assessment sequences in narrative-centered learning environments: A collaborative filtering approach

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 369–378).

By: W. Min, J. Rowe, B. Mott & J. Lester

Contributors: W. Min, J. Rowe, B. Mott & J. Lester

Source: ORCID
Added: May 20, 2020

2013 chapter

SkyPackage: From Finding Items to Finding a Skyline of Packages on the Semantic Web

In Semantic Technology (pp. 49–64).

By: M. Sessoms n & K. Anyanwu n

TL;DR: Enabling complex querying paradigms over the wealth of available Semantic Web data will significantly impact the relevance and adoption ofSemantic Web technologies in a broad range of domains. (via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Sources: ORCID, Crossref, NC State University Libraries
Added: May 10, 2020

2013 conference paper

Augmenting introductory computer science classes with GameMaker and mobile apps

Proceeding of the 44th ACM technical symposium on Computer science education, 767–767.

By: T. Barnes n, A. Boyce n, V. Catete n, K. Doran*, A. Hicks n & L. Keller*

TL;DR: This workshop introduces free software and curricula to enable novice high school and college students in a first computing course to learn basic game and mobile phone development and discusses how these activities facilitate teaching highSchool and non-major (CS0) course topics, but they can also be used to illustrate more advanced topics. (via Semantic Scholar)
Source: ORCID
Added: May 6, 2020

2013 journal article

Modeling and Algorithms for QoS-Aware Service Composition in Virtualization-Based Cloud Computing

IEICE Transactions on Communications.

Ruozhou Yu

author keywords: cloud service provisioning; network virtualization; quality of service; service composition; approximation algorithm
UN Sustainable Development Goal Categories
9. Industry, Innovation and Infrastructure (OpenAlex)
Source: ORCID
Added: March 29, 2020

2013 journal article

An integer programming approach for the view and index selection problem

Data & Knowledge Engineering, 83, 111–125.

By: Z. Asgharzadeh Talebi*, R. Chirkova n & Y. Fathi n

author keywords: Business intelligence; Data warehouse and repository; OLAP; Materialized views; View and index selection; Integer programming; Heuristics
TL;DR: This work proposes an integer programming model for the OLAP view- and index-selection problem and uses heuristic strategies to further reduce the size of this IP model and dramatically reduce its execution time, although it no longer guarantees that the reduced IP model offers a globally optimal solution for the original problem. (via Semantic Scholar)
Source: Crossref
Added: February 24, 2020

2013 journal article

Query optimization in information integration

Acta Informatica, 50(4), 257–287.

By: D. Chen*, R. Chirkova n, F. Sadri* & T. Salo*

TL;DR: This paper uses synthetic and real-life datasets in the implementation of an information integration system shell to provide experimental results that demonstrate that the algorithms proposed could form a basis for scalable query processing in information integration and interoperability in many practical settings. (via Semantic Scholar)
Source: Crossref
Added: February 24, 2020

2013 chapter

Two-Stage Stochastic View Selection for Data-Analysis Queries

In Advances in Intelligent Systems and Computing (pp. 115–123).

By: R. Huang n, R. Chirkova n & Y. Fathi n

TL;DR: This work considers the problem of selecting an optimal set of views to answer a given collection of queries at the present time as a two-stage stochastic programming problem and shows that this model is equivalent to an integer programming (IP) model that can be solved via various commercial IP solvers. (via Semantic Scholar)
Source: Crossref
Added: February 24, 2020

2013 chapter

Activity Video Analysis via Operator-Based Local Embedding

In Lecture Notes in Computer Science (pp. 845–852).

TL;DR: This paper proposed a novel geometric framework to investigate the temporal relations as well as spatial features in a video sequence, and an algorithm for human activity video classification is implemented by employing Markov models in the low dimensional embedding space. (via Semantic Scholar)
Source: Crossref
Added: February 24, 2020

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.