Works Published in 2008

search works

Displaying works 61 - 80 of 137 in total

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

2008 chapter

Toward Automatic Hint Generation for Logic Proof Tutoring Using Historical Student Data

In Intelligent Tutoring Systems (pp. 373–382).

TL;DR: The feasibility of this approach to automatically generate hints for an intelligent tutor that learns is demonstrated by extracting MDPs from four semesters of student solutions in a logic proof tutor, and the probability that they will be able to generate hints at any point in a given problem is calculated. (via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: Crossref
Added: February 24, 2020

2008 chapter

A Model for Sharing of Confidential Provenance Information in a Query Based System

In Lecture Notes in Computer Science (pp. 62–69).

TL;DR: A model for sharing provenance information when the confidentiality level is decided by the user dynamically is presented and the key feature of this model is the Query Sharing concept. (via Semantic Scholar)
Source: Crossref
Added: February 24, 2020

2008 chapter

Balancing Cognitive and Motivational Scaffolding in Tutorial Dialogue

In Intelligent Tutoring Systems (pp. 239–249).

By: K. Boyer n, R. Phillips n, M. Wallis n, M. Vouk n & J. Lester n

TL;DR: A tutorial dialogue study that investigates motivational strategies and cognitive feedback found that the choice of corrective tutorial strategy makes a significant difference in the outcomes of both student learning gains and self-efficacy gains. (via Semantic Scholar)
UN Sustainable Development Goal Categories
4. Quality Education (OpenAlex)
Source: Crossref
Added: February 24, 2020

2008 book

Why tutored problem solving may be better than example study: Theoretical implications from a simulated-student study

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

By: N. Matsuda, W. Cohen, J. Sewall, G. Lacerda & K. Koedinger

Contributors: N. Matsuda, W. Cohen, J. Sewall, G. Lacerda & K. Koedinger

Source: ORCID
Added: February 11, 2020

2008 journal article

Cycles in dense digraphs

Combinatorica, 28(1), 1–18.

TL;DR: It is proved that in general β(G) ≤ γ(G), and that in two special cases: when V (G) is the union of two cliques when the vertices of G can be arranged in a circle such that if distinct u, v, w are in clockwise order and uw is a (directed) edge, then so are both uv, vw. (via Semantic Scholar)
Sources: Crossref, NC State University Libraries, ORCID
Added: February 5, 2020

2008 journal article

Shape deformation in continuous map generalization

GeoInformatica, 13(2), 203–221.

By: J. Danciger*, S. Devadoss*, J. Mugno*, D. Sheehy* & R. Ward*

author keywords: Continuous generalization; Scale change; Homotopy; Cartograms
TL;DR: An application of this method is used to provide an algorithm to obtain cartograms and to preserve topology, area-ratios, and relative position as they change over time. (via Semantic Scholar)
Sources: Crossref, NC State University Libraries
Added: January 14, 2020

2008 article

Adaptive speculation in behavior-oriented parallelization

Jiang, Y., & Shen, X. (2008, April). 2008 IEEE International Symposium on Parallel and Distributed Processing.

By: Y. Jiang* & X. Shen*

TL;DR: Adaptive speculation is proposed to predict the profitability of a speculation and dynamically enable or disable the speculation of a region and enhance the usability of behavior-oriented parallelization by allowing users to label potential parallel regions more flexibly. (via Semantic Scholar)
Source: ORCID
Added: December 31, 2019

2008 conference paper

Semantical considerations on dialectical and practical commitments

Proceedings of the National Conference on Artificial Intelligence, 1, 176–181. http://www.scopus.com/inward/record.url?eid=2-s2.0-57749190779&partnerID=MN8TOARS

By: M. Singh

Contributors: M. Singh

Source: ORCID
Added: December 10, 2019

2008 conference paper

Checking Correctness of Business Contracts via Commitments

Proceedings of the 7th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS), 2, 787–794. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899949549&partnerID=MN8TOARS

By: N. Desai, N. Narendra & M. Singh

Contributors: N. Desai, N. Narendra & M. Singh

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

2008 conference paper

On the enactability of business protocols

Proceedings of the National Conference on Artificial Intelligence, 2, 1126–1131. http://www.scopus.com/inward/record.url?eid=2-s2.0-57749188042&partnerID=MN8TOARS

By: N. Desai & M. Singh

Contributors: N. Desai & M. Singh

Source: ORCID
Added: December 10, 2019

2008 conference paper

ICWS 2008: Message from the program chairs

Proceedings of the IEEE International Conference on Web Services, ICWS 2008.

By: J. Huai, M. Shan, M. Singh, J. Zhang, F. Casati & M. Hsu

Contributors: J. Huai, M. Shan, M. Singh, J. Zhang, F. Casati & M. Hsu

Source: ORCID
Added: December 10, 2019

2008 conference paper

Design patterns for policy-based service engagements

Proceedings - 2008 IEEE Workshop on Policies for Distributed Systems and Networks, POLICY 2008, 97–100.

By: Y. Udupi n & M. Singh n

Contributors: Y. Udupi n & M. Singh n

TL;DR: This work formalizes the atoms of a service engagement as commitments among the participants, to be created and manipulated as the engagement progresses, and scopes the commitments of an engagement in a (virtual) organization and specifies how the policies of the participants affect their interactions. (via Semantic Scholar)
Source: ORCID
Added: December 10, 2019

2008 conference paper

Constitutive Interoperability

Proceedings of the 7th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS), 2, 797–804. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899983406&partnerID=MN8TOARS

By: A. Chopra & M. Singh

Contributors: A. Chopra & M. Singh

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

2008 book

Interoperation in protocol enactment

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

Contributors: A. Chopra n & M. Singh n

TL;DR: The interoperation of agents is studied, dealing with their autonomy and heterogeneity in computational terms and how this affects their interoperability in open systems. (via Semantic Scholar)
Source: ORCID
Added: December 10, 2019

2008 conference paper

An adaptive probabilistic trust model and its evaluation

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 3, 1449–1452. http://www.scopus.com/inward/record.url?eid=2-s2.0-84899977303&partnerID=MN8TOARS

By: C. Hang, Y. Wang & M. Singh

Contributors: C. Hang, Y. Wang & M. Singh

Source: ORCID
Added: December 10, 2019

2008 conference paper

Comparing preferences expressed by cp-networks (extended abstract)

AAAI Workshop - Technical Report, WS-08-09, 128–133. http://www.scopus.com/inward/record.url?eid=2-s2.0-66149165890&partnerID=MN8TOARS

By: A. Wicker & J. Doyle

Contributors: A. Wicker & J. Doyle

Source: ORCID
Added: December 6, 2019

2008 conference paper

Cognitive mechanics: Natural intelligence beyond biology and computation

AAAI Fall Symposium - Technical Report, FS-08-06, 35–37. http://www.scopus.com/inward/record.url?eid=2-s2.0-77952157352&partnerID=MN8TOARS

By: J. Doyle

Contributors: J. Doyle

Source: ORCID
Added: December 6, 2019

2008 report

Visualizing very large layered graphs with quilts

North Carolina State University. Dept. of Computer Science.

By: B. Watson, D. Brink, T. Lograsso, D. Devajaran, T. Rhyne & H. Patel

Source: ORCID
Added: December 6, 2019

2008 report

Matrix depictions for large layered graphs

(No. TR-2008-17). Dept. Computer Science, North Carolina State University.

By: B. Watson, D. Brink, M. Stallmann, R. Devajaran, M. Rakow, T. Rhyne, H. Patel

Source: ORCID
Added: December 6, 2019

2008 conference paper

View and index selection for query-performance improvement: quality-centered algorithms and heuristics

Proceedings of the 17th ACM conference on Information and knowledge management, 1329–1330.

By: M. Kormilitsin, R. Chirkova, Y. Fathi & M. Stallmann

Event: ACM

Source: ORCID
Added: December 6, 2019

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.