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
2007 conference paper
Enacting protocols by commitment concession
Proceedings of the International Conference on Autonomous Agents, 116–123.
Contributors: P. Yolum * & M. Singh n
2007 conference paper
Dynamics of contracts-based organizations: A formal approach based on institutions
Proceedings of the International Conference on Autonomous Agents, 82–84.
Contributors: Y. Udupi n & M. Singh n
2007 conference paper
Choice and interoperation in protocol enactment
Proceedings of the International Conference on Autonomous Agents, 132–134.
Contributors: A. Chopra n & M. Singh n
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
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
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
2007 report
View and index selection for query-performance improvement: Algorithms, heuristics and complexity
North Carolina State University. Dept. of Computer Science.
2007 conference paper
Proofchecker: an accessible environment for automata theory correctness proofs
ACM SIGCSE Bulletin, 39(3), 48–52.
Event: ACM
2007 conference paper
High-contrast algorithm behavior: observation, hypothesis, and experimental design
Proceedings of the 2007 workshop on Experimental computer science, 12.
Event: ACM
2007 journal article
A case for smaller class size with integrated lab for introductory computer science
ACM SIGCSE Bulletin, 39(1), 341–345.
2007 journal article
Irreducible polynomials and barker sequences
ACM Communications in Computer Algebra, 41(4), 118.
2007 chapter
Structured Low Rank Approximation of a Sylvester Matrix
In Trends in Mathematics (pp. 69–83).
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
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
2007 journal article
Reusable learning objects through peer review: The Expertiza approach
Innovate—Journal of Online Education, 3(6).
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.
Event: the 2007 workshop
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.
2007 article
AN EXPERIMENTAL STUDY ON SECURITY PROTOCOLS IN WLANS
WIRELESS NETWORK SECURITY, pp. 295–322.
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