Works Published in 2017
Displaying works 121 - 140 of 258 in total
Sorted by most recent date added to the index first, which may not be the same as publication date order.
2017 book
Discrete multi-agent plan recognition: Recognizing teams, goals, and plans from action sequences
In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 212–228).
Contributors: C. Argenta n & J. Doyle n
author keywords: Multi-agent systems; Plan recognition
TL;DR:
D discrete Multi-agent Plan Recognition as Planning is described, which extends Ramirez and Geffner’s Plan recognition as Planning approach to multi-agent domains and uses the planning domain and synthesizes plans to achieve hypothesized goals with additional constraints for suspected team composition and previous observations.
(via Semantic Scholar)
Source: ORCID
Added: December 6, 2019
2017 report
Efficient Algorithms for Finding 2-Medians of a Tree
North Carolina State University. Dept. of Computer Science.
Source: ORCID
Added: December 6, 2019
2017 conference paper
Formal understanding of tradeoffs among liveness and safety requirements
Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016, 17–18.
Contributors: O. Kafali, N. Ajmeri & M. Singh
author keywords: Norms; sociotechnical systems; constraint logic programming
Source: ORCID
Added: October 7, 2019
2017 conference paper
Normative requirements in sociotechnical systems
Proceedings - 2016 IEEE 24th International Requirements Engineering Conference Workshops, REW 2016, 259–260.
Contributors: O. Kafali, N. Ajmeri & M. Singh
author keywords: Norms; privacy; design patterns
Source: ORCID
Added: October 7, 2019
2017 conference paper
Arnor: Modeling social intelligence via norms to engineer privacy-Aware personal agents
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 1, 230–238. http://www.scopus.com/inward/record.url?eid=2-s2.0-85046117998&partnerID=MN8TOARS
Contributors: N. Ajmeri , P. Murukannaiah, H. Guot & M. Singh
Source: ORCID
Added: October 7, 2019
2017 conference paper
Engineering socially intelligent personal agents via norms
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 3, 1822–1823. http://www.scopus.com/inward/record.url?eid=2-s2.0-85046418467&partnerID=MN8TOARS
Contributors: N. Ajmeri & M. Singh
Source: ORCID
Added: October 7, 2019
2017 conference paper
Kont: Computing Tradeoffs in Normative Multiagent Systems
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 3006–3012. http://www.scopus.com/inward/record.url?eid=2-s2.0-85027718735&partnerID=MN8TOARS
Event: at United States
Sources: NC State University Libraries, ORCID
Added: September 29, 2019
2017 journal article
Aragorn: Eliciting and Maintaining Secure Service Policies
Computer, 50(12), 50–58.
Contributors: S. Parsons *, C. Hang, N. Ajmeri n & M. Singh n
TL;DR:
Services are configured via policies that capture expected behaviors, but stakeholder requirements can change, making policy errors a surprisingly common occurrence, says Aragorn.
(via Semantic Scholar)
kclpure.kcl.ac.uk (repository)
Source: ORCID
Added: September 29, 2019
2017 conference paper
Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '17. Presented at the the 2017 ACM.
Event: the 2017 ACM
TL;DR:
An interactive probabilistic proof protocol that certifies in (log N)O(1) arithmetic and Boolean operations for the verifier the determinant of an N x N matrix over a field whose entries a(i,j) are given by a single (log NO(1)-depth arithmetic circuit, which is polynomial time uniform.
(via Semantic Scholar)
Source: Crossref
Added: July 21, 2019
2017 conference paper
Early Termination in Parametric Linear System Solving and Rational Function Vector Recovery with Error Correction
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation - ISSAC '17. Presented at the the 2017 ACM.
Event: the 2017 ACM
TL;DR:
An algorithm that given the same inputs uses possibly fewer evaluations to compute the solution and may recover it from fewer evaluations than generalized Welch/Berlekamp decoding, and develops a combined early termination algorithm.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
9. Industry, Innovation and Infrastructure
(Web of Science)
Source: Crossref
Added: July 21, 2019
2017 conference paper
The effect of visualization on students' miscalibration in the context of online peer assessment
Proceedings of Western Decision Sciences Institute 2017 Annual Meeting. Presented at the Western Decision Sciences Institute 2017 Annual Meeting, Vancouver, BC. http://wdsinet.org/Annual_Meetings/2017_Proceedings/CR%20PDF/cr60.pdf
Event: Western Decision Sciences Institute 2017 Annual Meeting at Vancouver, BC on April 4-8, 2017
Sources: NC State University Libraries, ORCID
Added: June 8, 2019
2017 conference paper
Verifying Concurrency in an Adaptive Ocean Circulation Model
Proceedings of the First International Workshop on Software Correctness for HPC Applications - Correctness'17.
TL;DR:
It is shown how concurrency inherent in the simulation model can be represented in a verification model to ensure correctness and to automatically generate safe synchronization arrangements.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
14. Life Below Water
(OpenAlex)
Source: ORCID
Added: December 6, 2018
2017 article
Exact Detection of Information Leakage: Decidability and Complexity
TRANSACTIONS ON LARGE-SCALE DATA- AND KNOWLEDGE-CENTERED SYSTEMS XXXII, Vol. 10420, pp. 1–23.
author keywords: Privacy and security in data-intensive systems; Information leakage; Data exchange
TL;DR:
Managing fine-grained access control in software is rather challenging and if access is not configured carefully, information leakage may happen: Users may infer sensitive information through the data explicitly accessible to them.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
3. Good Health and Well-being
(Web of Science)
16. Peace, Justice and Strong Institutions
(OpenAlex)
Source: Web Of Science
Added: December 3, 2018
2017 article
An Intelligent Weighted Fuzzy Time Series Model Based on a Sine-Cosine Adaptive Human Learning Optimization Algorithm and Its Application to Financial Markets Forecasting
ADVANCED DATA MINING AND APPLICATIONS, ADMA 2017, Vol. 10604, pp. 595–607.
Contributors: R. Yang n , M. Xu n, J. He *, S. Ranshous n & N. Samatova n
author keywords: Weighted fuzzy time series; Human learning optimization algorithm; Financial markets forecasting
TL;DR:
An intelligent weighted fuzzy time series model for financial forecasting, which uses a sine-cosine adaptive human learning optimization (SCHLO) algorithm to search for the optimal parameters for forecasting, is presented.
(via Semantic Scholar)
Sources: Web Of Science, ORCID
Added: November 26, 2018
2017 article
No (Privacy) News is Good News: An Analysis of New York Times and Guardian Privacy News from 2010-2016
2017 15TH ANNUAL CONFERENCE ON PRIVACY, SECURITY AND TRUST (PST), pp. 159–168.
Event: at United States
TL;DR:
This work provides a largescale text mining of privacy news, focusing on patterns in sentiment and keywords, and demonstrates that news facilitates the systematization of privacy knowledge.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions
(OpenAlex)
Sources: Web Of Science, ORCID, NC State University Libraries
Added: November 12, 2018
2017 article
Sampling Density Criterion for Circular Structured Light 3D Imaging
PROCEEDINGS OF THE 12TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS THEORY AND APPLICATIONS (VISIGRAPP 2017), VOL 6, pp. 478–483.
author keywords: 3D Reconstruction; Structured Light Pattern; Sampling Theorem; Geometry
TL;DR:
An approach to sampling rate (lower / upper b ound) determination to recover 3D objects represented by a set of circular light patterns, where the criterion for a sampling rate is formulated using geometric characteristics of the light patterns over laid on the surface.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
9. Industry, Innovation and Infrastructure
(Web of Science)
Source: Web Of Science
Added: October 16, 2018
2017 conference paper
Real time utility-based recommendation for revenue optimization via an adaptive online top-K high utility itemsets mining model
2017 13th International Conference on Natural Computation, Fuzzy Systems and Knowledge Discovery (ICNC-FSKD).
TL;DR:
This work considers that online transaction streams are usually accompanied with flow fluctuation, and proposes an Adaptive Online Top-K (RAOTK) high utility itemsets mining model to guide the utility-based recommendations.
(via Semantic Scholar)
Source: NC State University Libraries
Added: August 6, 2018
2017 conference paper
Trilogy: data placement to improve performance and robustness of cloud computing
2017 IEEE International Conference on Big Data (Big Data), 2442–2451.
TL;DR:
Evaluations show that maximizing the number of unique partitions per node increases robustness to tolerate workload deviation while minimizing this number reduces storage footprint, and a surprisingly small increase in granularity is sufficient to obtain most benefits.
(via Semantic Scholar)
UN Sustainable Development Goal Categories
9. Industry, Innovation and Infrastructure
(OpenAlex)
Source: NC State University Libraries
Added: August 6, 2018
2017 conference paper
Rectangular hash table: Bloom filter and bitmap assisted hash table with high speed
2017 IEEE International Conference on Big Data (Big Data), 837–846.
TL;DR:
This paper designs a practical and efficient hash table that achieves high load factor, low hash collision rate, fast lookup speed, fast update speed, and zero update failures and proposes a set of hashing techniques that leverage Bloom filters to significantly reduce hash collision rates.
(via Semantic Scholar)
Source: NC State University Libraries
Added: August 6, 2018
2017 conference paper
Leveraging External Knowledge for Phrase-based Topic Modeling
2017 conference on technologies and applications of artificial intelligence (taai), 29–32.
TL;DR:
Experimental results show that the proposed knowledge-based topic model outperforms the state-of-the-art baseline on both small and large datasets, extracting more meaningful phrases and coherent topics.
(via Semantic Scholar)
Source: NC State University Libraries
Added: August 6, 2018
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.
