Computer Science

College of Engineering

Works Published in 2012

copy embed code
Copy Embed Code Experiment

You can embed this resource into your own website. To do so, either use the code generated by us, or use the link and tweak the rest to your preferences. Copy the respective code or link below.

Displaying works 61 - 80 of 184 in total

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

2012 chapter

Leveraging Game Design to Promote Effective User Behavior of Intelligent Tutoring Systems

In Intelligent Tutoring Systems (pp. 597–599).

By: M. Johnson*, T. Okimoto* & T. Barnes

Source: Crossref
Added: January 19, 2020

2012 chapter

Using Individualized Feedback and Guided Instruction via a Virtual Human Agent in an Introductory Computer Programming Course

In Intelligent Tutoring Systems (pp. 612–614).

By: L. Lehmann*, D. Wilson* & T. Barnes

Source: Crossref
Added: January 19, 2020

2012 chapter

Data-Driven Method for Assessing Skill-Opportunity Recognition in Open Procedural Problem Solving Environments

In Intelligent Tutoring Systems (pp. 615–617).

By: M. Eagle* & T. Barnes

Source: Crossref
Added: January 19, 2020

2012 conference paper

Outreach for improved student performance

Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education - ITiCSE '12. Presented at the the 17th ACM annual conference.

By: K. Doran*, A. Boyce*, S. Finkelstein* & T. Barnes

Event: the 17th ACM annual conference

Source: Crossref
Added: January 19, 2020

2012 book

Towards argumentation with symbolic dempster-shafer evidence

In Frontiers in Artificial Intelligence and Applications (Vol. 245, pp. 462–469).

By: Y. Tang*, C. Hang n, S. Parsons* & M. Singh

Source: ORCID
Added: December 10, 2019

2012 book

The evolution of interoperability

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

Source: ORCID
Added: December 10, 2019

2012 journal article

Specifying and verifying cross-organizational business models: An agent-oriented approach

IEEE Transactions on Services Computing, 5(3), 305–318.

Source: ORCID
Added: December 10, 2019

2012 conference paper

Semantics and Verification of Information-Based Protocols

AAMAS '12: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, 2, 1149–1156. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899461141&partnerID=MN8TOARS

By: M. Singh

Event: The 11th International Conference on Autonomous Agents and Multiagent Systems at Valencia, Spain on June 4-8, 2012

Sources: ORCID, NC State University Libraries
Added: December 10, 2019

2012 book

Relating goal and commitment semantics

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

Source: ORCID
Added: December 10, 2019

2012 conference paper

Comma: A Commitment-Based Business Modeling Methodology and its Empirical Evaluation

AAMAS '12: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, 2, 1073–1080. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899460865&partnerID=MN8TOARS

By: P. Telang & M. Singh

Event: The 11th International Conference on Autonomous Agents and Multiagent Systems at Valencia, Spain on June 4-8, 2012

Sources: ORCID, NC State University Libraries
Added: December 10, 2019

2012 journal article

Agent-based organisational governance of services

Multiagent and Grid Systems, 8(1), 3–18.

By: F. Brazier*, V. Dignum*, M. Huhns*, C. Derksen*, F. Dignum*, T. Lessner*, J. Padget*, T. Quillinan*, M. Singh

Source: ORCID
Added: December 10, 2019

2012 chapter

Emerging Properties of Knowledge Sharing Referral Networks: Considerations of Effectiveness and Fairness

In Lecture Notes in Computer Science: Vol. 6573 LNAI (pp. 13–23).

By: P. Manavalan n & M. Singh

Sources: ORCID, Crossref
Added: December 10, 2019

2012 conference paper

Collaborative assessment of functional reliability in wireless networks

2012 IEEE 9th International Conference on Mobile Ad-Hoc and Sensor Systems (MASS 2012), 425–433.

By: Z. Feng*, K. Pelechrinis*, S. Krishnamurthy*, A. Swami*, F. Wu* & M. Singh

Event: 2012 IEEE 9th International Conference on Mobile Ad-Hoc and Sensor Systems (MASS)

Sources: ORCID, Crossref
Added: December 10, 2019

2012 conference paper

Behind the curtain: Service selection via trust in composite services

Proceedings - 2012 IEEE 19th International Conference on Web Services, ICWS 2012, 9–16.

By: C. Hang n, A. Kalia n & M. Singh

Source: ORCID
Added: December 10, 2019

2012 book

Argument schemes for reasoning about trust

In Frontiers in Artificial Intelligence and Applications (Vol. 245, pp. 430–441).

By: S. Parsons, K. Atkinson, K. Haigh, K. Levitt, P. McBurney, J. Rowe, M. Singh, E. Sklar

Source: ORCID
Added: December 10, 2019

2012 journal article

A heuristic for bottleneck crossing minimization and its performance on general crossing minimization: Hypothesis and experimental study

Journal of Experimental Algorithmics (JEA), 17, 1–3.

By: M. Stallmann

Source: ORCID
Added: December 6, 2019

2012 conference paper

UCON LEGAL

Proceedings of the 2nd ACM SIGHIT symposium on International health informatics - IHI '12, 227–236.

By: R. Gopalan n, A. Antón n & J. Doyle

Source: ORCID
Added: December 5, 2019

2012 article

Leveraging Multiple Mechanisms for Information Propagation

Advanced Agent Technology, pp. 1–2.

By: A. Wicker n & J. Doyle

Source: ORCID
Added: December 5, 2019

2012 conference paper

Certificates of impossibility of Hilbert-Artin representations of a given degree for definite polynomials and functions

Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation - ISSAC '12. Presented at the the 37th International Symposium.

By: F. Guo*, E. Kaltofen & L. Zhi*

Event: the 37th International Symposium

Source: Crossref
Added: July 27, 2019

2012 conference paper

Sparse polynomial interpolation and Berlekamp/Massey algorithms that correct outlier errors in input values

Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation - ISSAC '12. Presented at the the 37th International Symposium.

By: M. Comer n, E. Kaltofen & C. Pernet*

Event: the 37th International Symposium

Source: Crossref
Added: July 27, 2019