Open Access. Powered by Scholars. Published by Universities.®
Physical Sciences and Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 6 of 6
Full-Text Articles in Physical Sciences and Mathematics
Mental Models For Introductory Csc Concepts, Jennifer J. Wheeler, Erika Rogers
Mental Models For Introductory Csc Concepts, Jennifer J. Wheeler, Erika Rogers
Computer Science and Software Engineering
If is hypothesized that the development of mental models for a concept can lead to improved learning. The purpose of this paper is to identify, quantify, and analyze the mental models of students beginning to program in the UNIX environment. By focusing on 4 basic concept, this study abstracts current mental models from students and hypothesizes ways of improving these models. Ultimately, the results of the study will be incorporated into the design and implementation of a multimedia tutor. This tutor will attempt to teach people how to develop mental models in order to improve their learning.
Teaching Object Technology In Industry Short Courses, David S. Janzen
Teaching Object Technology In Industry Short Courses, David S. Janzen
Computer Science and Software Engineering
No abstract provided.
Temporal Probabilistic Logic Programs, Alex Dekhtyar, Michael I. Dekhtyar, V. S. Subrahmanian
Temporal Probabilistic Logic Programs, Alex Dekhtyar, Michael I. Dekhtyar, V. S. Subrahmanian
Computer Science and Software Engineering
There are many applications where the precise time at which an event will occur (or has occurred) is uncertain. Temporal probabilistic logic programs (TPLPs) allow a programmer to express knowledge about such events. In this paper, we develop a model theory, fixpoint theory, and proof theory for TPLPs, and show that the fixpoint theory may be used to enumerate consequences of a TPLP in a sound and complete manner. Likewise the proof theory provides a sound and complete inference system. Last, but not least, we provide complexity results for TPLPs, showing in particular, that reasonable classes of TPLPs have polynomial …
Neural Networks And Structured Knowledge: Knowledge Representation And Reasoning, Franz J. Kurfess
Neural Networks And Structured Knowledge: Knowledge Representation And Reasoning, Franz J. Kurfess
Computer Science and Software Engineering
This collection of articles is the first of two parts of a special issue on "Neural Networks and Structured Knowledge." The contributions to the first part shed some light on the issues of knowledge representation and reasoning with neural networks. Their scope ranges from formal models for mapping discrete structures like graphs or logical formulae onto different types of neural networks, to the construction of practical systems for various types of reasoning. In the second part to follow, the emphasis will be on the extraction of knowledge from neural networks, and on applications of neural networks and structured knowledge to …
Monitoring Distributed Processes With Intelligent Agents, Franz J. Kurfess, Klaus Holthaus, Dhaval P. Shah, Felip Miralles
Monitoring Distributed Processes With Intelligent Agents, Franz J. Kurfess, Klaus Holthaus, Dhaval P. Shah, Felip Miralles
Computer Science and Software Engineering
This paper describes a platform-independent application for the monitoring of distributed applications. The tool is intended for system administrators to properly distribute the components of a distributed application onto particular machines. An essential part of this tool is based on intelligent mobile agent technology used to access the target systems. Although a full implementation turned out to be infeasible due to security considerations, the implementation and experimentation indicate the suitability of intelligent agents technology for such purposes.
Green Manufacturing Of Ammunition Through Knowledge Management With Distributed Access, Ali H. Dogru, Murat M. Tanik, Franz J. Kurfess, Marcus Healey, Leon Jololian
Green Manufacturing Of Ammunition Through Knowledge Management With Distributed Access, Ali H. Dogru, Murat M. Tanik, Franz J. Kurfess, Marcus Healey, Leon Jololian
Computer Science and Software Engineering
This paper describes a distributed software requirements gathering methodology dealing with knowledge management for environmentally safer production and lifecycle aspects of tank ammunition. A requirements elicitation methodology is adapted and implemented as a distributed access tool on the Internet. This tool is used for gathering the requirements related information for a specific ammunition production process. During product development, requirements negotiation is the process where the customer needs are identified. This process is regarded as one of the most important parts of building a system because during this stage it is decided precisely what will be built. The concept has been …