College of Engineering
Displaying works 1 - 20 of 28 in total
Sorted by most recent date added to the index first, which may not be the same as publication date order.
1992 report
Efficient solution of sparse linear systems
[Lecture Notes]. Troy, New York: Rensselaer Polytechnic Institute, Department of Computer Science.
1992 journal article
Mental model of the process of composing geometric proofs using an intelligent tutoring system
Japan Journal of Educational Technology, 15(4), 167–182.
1992 journal article
Overview on the studies of intelligent CAIs/ITSs in Japan
Educational Technology Research, 15(1-2), 1–8.
1992 chapter
Foundations of Computers
In T. Okamoto (Ed.), Introduction to Information Education for Teachers: Cases in Middle-School Education (pp. 88–119). Tokyo, Japan: Personal Media.
Ed(s): T. Okamoto
1992 chapter
Polynomial factorization 1987–1991
In Lecture Notes in Computer Science: Vol. 583. LATIN '92 (pp. 294–313).
Event: 1st Latin American Symposium on Theoretical Informatics at São Paulo, Brazil on April 6-10, 1992
1992 conference paper
The Semantic Integration of Information Models
Proceedings of the AAAI Workshop on Cooperation among Heterogeneous Intelligent Agents, 1–8. Washington.
1992 conference paper
Temporal Adverbials and the Structure of Events
Proceedings of the 4th Symposium on Logic and Language, 1–4. Budapest.
1992 conference paper
Computing the Temporal Structure of Events in Natural Language
Proceedings of the European Conference on Artificial Intelligence, 528–532. Vienna.
1992 conference paper
A Critical Examination of the Cohen-Levesque Theory of Intentions
Proceedings of the 10th European Conference on Artificial Intelligence, 364–368. Vienna.
1992 chapter
Enterprise Information Modeling and Model Integration in Carnot
In C. J. Petrie Jr (Ed.), Enterprise Integration Modeling (pp. 290–299). Cambridge, MA: MIT Press.
Ed(s): C. Petrie
1992 journal article
Student model and its recognition by hypothesis-based reasoning in ITS
Electronics and Communications in Japan (Part III: Fundamental Electronic Science), 75(8), 85–95.
1992 conference paper
On the semantics of protocols among distributed intelligent agents
Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]. Presented at the Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings].
Event: Eleventh Annual International Phoenix Conference on Computers and Communication [1992 Conference Proceedings]
1992 conference paper
Processor-efficient parallel solution of linear systems. II. The positive characteristic and singular cases
Proceedings., 33rd Annual Symposium on Foundations of Computer Science. Presented at the Proceedings., 33rd Annual Symposium on Foundations of Computer Science.
Event: Proceedings., 33rd Annual Symposium on Foundations of Computer Science
1992 conference paper
On computing determinants of matrices without divisions
Papers from the international symposium on Symbolic and algebraic computation - ISSAC '92. Presented at the Papers from the international symposium.
Event: Papers from the international symposium
1992 conference paper
Modular utility representation for decision-theoretic planning
236–242. http://www.scopus.com/inward/record.url?eid=2-s2.0-0026963728&partnerID=MN8TOARS
1992 journal article
Optimal reduction of two-terminal directed acyclic graphs
SIAM Journal on Computing, 21(6), 1112–1129.
1992 conference paper
Optimal construction of project activity networks
Proceedings of the 1992 Annual Meeting of the Decision Sciences Institute, San Francisco, 1424–1426.
1992 journal article
EPILEGOMENON
Computational Intell, 8(2), 326–335.
1992 article
Rational Self-Government and Universal Default Logics
Economics and Cognitive Science, pp. 5–13.
1992 journal article
RATIONALITY AND ITS ROLES IN REASONING
Computational Intell, 8(2), 376–409.