Works Published in 2007

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 136 in total

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

2007 conference paper

A modular action description language for protocol composition

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

By: N. Desai & M. Singh

Contributors: N. Desai & M. Singh

Source: ORCID
Added: December 10, 2019

2007 conference paper

Enacting protocols by commitment concession

Proceedings of the International Conference on Autonomous Agents, 116–123.

By: P. Yolum* & M. Singh n

co-author countries: Türkiye 🇹🇷 United States of America 🇺🇸

Contributors: P. Yolum* & M. Singh n

Source: ORCID
Added: December 10, 2019

2007 conference paper

Dynamics of contracts-based organizations: A formal approach based on institutions

Proceedings of the International Conference on Autonomous Agents, 82–84.

By: Y. Udupi n & M. Singh n

co-author countries: United States of America 🇺🇸

Contributors: Y. Udupi n & M. Singh n

Source: ORCID
Added: December 10, 2019

2007 conference paper

Choice and interoperation in protocol enactment

Proceedings of the International Conference on Autonomous Agents, 132–134.

co-author countries: United States of America 🇺🇸

Contributors: A. Chopra n & M. Singh n

Source: ORCID
Added: December 10, 2019

2007 conference paper

Interest-matching comparisons using CP-nets

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

By: A. Wicker & J. Doyle

Contributors: A. Wicker & J. Doyle

Source: ORCID
Added: December 6, 2019

2007 journal article

AAAI-07 workshop reports

AI Magazine, 28(4), 119–128. http://www.scopus.com/inward/record.url?eid=2-s2.0-39049150323&partnerID=MN8TOARS

By: S. Anand, D. Bahls, C. Burghart, M. Burstein, H. Chen, J. Collins, T. Dietterich, J. Doyle ...

Contributors: S. Anand, D. Bahls, C. Burghart, M. Burstein, H. Chen, J. Collins, T. Dietterich, J. Doyle ...

Source: ORCID
Added: December 6, 2019

2007 conference paper

AAAI Workshop - Technical Report: Preface

AAAI Workshop - Technical Report, WS-07-10. http://www.scopus.com/inward/record.url?eid=2-s2.0-51849090045&partnerID=MN8TOARS

By: J. Doyle, J. Goldsmith, U. Junker & J. Lang

Contributors: J. Doyle, J. Goldsmith, U. Junker & J. Lang

Source: ORCID
Added: December 6, 2019

2007 report

View and index selection for query-performance improvement: Algorithms, heuristics and complexity

North Carolina State University. Dept. of Computer Science.

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

Source: ORCID
Added: December 6, 2019

2007 conference paper

Proofchecker: an accessible environment for automata theory correctness proofs

ACM SIGCSE Bulletin, 39(3), 48–52.

By: M. Stallmann, S. Balik, R. Rodman, S. Bahram, M. Grace & S. High

Event: ACM

Source: ORCID
Added: December 6, 2019

2007 conference paper

High-contrast algorithm behavior: observation, hypothesis, and experimental design

Proceedings of the 2007 workshop on Experimental computer science, 12.

By: M. Stallmann & F. Brglez

Event: ACM

Source: ORCID
Added: December 6, 2019

2007 journal article

A case for smaller class size with integrated lab for introductory computer science

ACM SIGCSE Bulletin, 39(1), 341–345.

By: K. Boyer, R. Dwight, C. Miller, C. Raubenheimer, M. Stallmann & M. Vouk

Source: ORCID
Added: December 6, 2019

2007 journal article

Irreducible polynomials and barker sequences

ACM Communications in Computer Algebra, 41(4), 118.

By: P. Borwein*, E. Kaltofen n & M. Mossinghoff*

co-author countries: Canada 🇨🇦 United States of America 🇺🇸
Source: Crossref
Added: August 18, 2019

2007 chapter

Structured Low Rank Approximation of a Sylvester Matrix

In Trends in Mathematics (pp. 69–83).

co-author countries: China 🇨🇳 United States of America 🇺🇸
author keywords: Sylvester matrix; approximate greatest common divisor; structured total least norm; hybrid symbolic/numeric algorithm
Source: Crossref
Added: August 18, 2019

2007 conference paper

Using independent-study projects in your research and teaching program

Proceedings of the 2007 ASEE Annual Conference and Exposition. Presented at the 2007 ASEE Annual Conference and Exposition, Honolulu, HI.

By: E. Gehringer

Event: 2007 ASEE Annual Conference and Exposition at Honolulu, HI on June 24-27, 2007

Sources: NC State University Libraries, ORCID
Added: June 12, 2019

2007 conference paper

Active and collaborative learning strategies for teaching computing

Proceedings of the 2007 ASEE Annual Conference and Exposition. Presented at the 2007 ASEE Annual Conference and Exposition, Honolulu, HI.

By: E. Gehringer

Event: 2007 ASEE Annual Conference and Exposition at Honolulu, HI on June 24-27, 2007

Sources: NC State University Libraries, ORCID
Added: June 12, 2019

2007 journal article

Reusable learning objects through peer review: The Expertiza approach

Innovate—Journal of Online Education, 3(6).

By: E. Gehringer, L. Ehresman, S. Conger & P. Wagle

Sources: NC State University Libraries, ORCID
Added: June 12, 2019

2007 conference paper

Animations of important concepts in parallel computer architecture

Proceedings of the 2007 workshop on Computer architecture education - WCAE '07. Presented at the the 2007 workshop.

By: M. Gambhir n, E. Gehringer n & Y. Solihin n

co-author countries: United States of America 🇺🇸

Event: the 2007 workshop

Sources: Crossref, ORCID
Added: March 29, 2019

2007 conference paper

Unc-ch at duc 2007: Query expansion, lexical simplification and sentence selection strategies for multi-document summarization

Proceedings of Document Understanding Conference (DUC) Workshop.

By: C. Blake, J. Kampov, A. Orphanides, D. West & C. Lown

Source: ORCID
Added: December 6, 2018

2007 article

AN EXPERIMENTAL STUDY ON SECURITY PROTOCOLS IN WLANS

WIRELESS NETWORK SECURITY, pp. 295–322.

By: A. Agarwal n & W. Wang n

co-author countries: United States of America 🇺🇸
Source: Web Of Science
Added: August 6, 2018

2007 conference paper

Formalizing communication protocols for multiagent systems

IJCAI International Joint Conference on Artificial Intelligence, 1519–1524. http://www.scopus.com/inward/record.url?eid=2-s2.0-75649138061&partnerID=MN8TOARS

By: M. Singh

Contributors: M. Singh

Sources: NC State University Libraries, ORCID
Added: August 6, 2018