College of Engineering
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).
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).
2012 chapter
Data-Driven Method for Assessing Skill-Opportunity Recognition in Open Procedural Problem Solving Environments
In Intelligent Tutoring Systems (pp. 615–617).
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.
Event: the 17th ACM annual conference
2012 book
Towards argumentation with symbolic dempster-shafer evidence
In Frontiers in Artificial Intelligence and Applications (Vol. 245, pp. 462–469).
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).
2012 journal article
Specifying and verifying cross-organizational business models: An agent-oriented approach
IEEE Transactions on Services Computing, 5(3), 305–318.
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
Event: The 11th International Conference on Autonomous Agents and Multiagent Systems at Valencia, Spain on June 4-8, 2012
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).
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
Event: The 11th International Conference on Autonomous Agents and Multiagent Systems at Valencia, Spain on June 4-8, 2012
2012 journal article
Agent-based organisational governance of services
Multiagent and Grid Systems, 8(1), 3–18.
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).
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.
Event: 2012 IEEE 9th International Conference on Mobile Ad-Hoc and Sensor Systems (MASS)
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.
2012 book
Argument schemes for reasoning about trust
In Frontiers in Artificial Intelligence and Applications (Vol. 245, pp. 430–441).
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.
2012 conference paper
UCON LEGAL
Proceedings of the 2nd ACM SIGHIT symposium on International health informatics - IHI '12, 227–236.
2012 article
Leveraging Multiple Mechanisms for Information Propagation
Advanced Agent Technology, pp. 1–2.
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.
Event: the 37th International Symposium
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.
Event: the 37th International Symposium