Works Published in 2007
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
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.
co-author countries:
Türkiye 🇹🇷 United States of America 🇺🇸
Contributors: P. Yolum * & M. Singh n
citeseerx.ist.psu.edu (repository)
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.
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
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
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
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.
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.
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.
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.
Source: ORCID
Added: December 6, 2019
2007 journal article
Irreducible polynomials and barker sequences
ACM Communications in Computer Algebra, 41(4), 118.
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.
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.
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).
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.
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.
Source: ORCID
Added: December 6, 2018
2007 article
AN EXPERIMENTAL STUDY ON SECURITY PROTOCOLS IN WLANS
WIRELESS NETWORK SECURITY, pp. 295–322.
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
Contributors: M. Singh
Sources: NC State University Libraries, ORCID
Added: August 6, 2018
