Despite the national surge in interest in technology fields, student performance measures continue to reveal that many students lack the analytical skills to complete college level courses in math and computer science...
详细信息
Despite the national surge in interest in technology fields, student performance measures continue to reveal that many students lack the analytical skills to complete college level courses in math and computer science. The development of tools for the measurement and enhancement of metacognitive skills will be examined. The primary measuring tool, the metacognitive skills inventory, was designed to measure metacognitive abilities. The inventory consists of two subscales: decomposition and confidence. The decomposition subscale measures the subjects ' awareness and reported use of the critical problem solving steps. Examples are problem identification, planning of solution strategies, and comparison of these strategies. The confidence subscale, measures the extent to which subjects are confident in their own problem solving ability. The inventory has been used in studies comparing student grades in college courses, problem solving skills at different levels in various college programs, and student performance on various tests. These tests include the SAT (both verbal and math), the MARS-R math anxiety scales, and the general expectancy of success scale-revised. The MSI is currently being used as an integral component of current research dealing with the development of training and education programs to increase metacognitive skills.
We propose LicenseScript as a new multiset rewriting/logic based language for expressing dynamic conditions of use of digital assets such as music, video or private data. LicenseScript differs from other rights expres...
详细信息
We propose LicenseScript as a new multiset rewriting/logic based language for expressing dynamic conditions of use of digital assets such as music, video or private data. LicenseScript differs from other rights expression languages in that it caters for the intentional but legal manipulation of data. We believe this feature is the answer to providing the flexibility needed to support emerging usage paradigms of digital data. We provide the language with a simple semantics based on traces.
Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components in different phases of software development. Compone...
详细信息
Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components in different phases of software development. Component technologies lead to increasing productivity and flexibility. However, it also introduces significant problems in ensuring the integrity and reliability of these composed systems because of their complex software topologies, interactions, and transactions. In this paper, we concentrate on the pattern-based design components and their compositions, which are captured as contracts through a composition theory. More specifically, design component contract is defined based on process calculus and logic programming; the properties that related to the design component contract are captured, and tools are used to automatically verify these properties. This research will enhance the capabilities of formal system modeling and analysis by providing a rigorous basis for high-assurance integration of diverse pattern-based components.
We present an adaptive hypermedia architecture based on Golog and conceptual graphs. We propose a conceptual graph model for the description of the hypermedia structure and the use of Golog, a logic programming langua...
详细信息
We present an adaptive hypermedia architecture based on Golog and conceptual graphs. We propose a conceptual graph model for the description of the hypermedia structure and the use of Golog, a logic programming language, for the generation of the personalized hypermedia. This approach has been validated by a prototype and two examples based on different domains.
A number of ontology based systems have been developed that support typical knowledge management tasks. At the moment almost all of these systems, however, rely on a number of assumptions about the nature of environme...
详细信息
A number of ontology based systems have been developed that support typical knowledge management tasks. At the moment almost all of these systems, however, rely on a number of assumptions about the nature of environment they are used in. In such an environment, a number of problems occur when trying to use ontology-based information and these are the following (1) changing information is the change in the set of information that should be accessible using an ontology; (2) changing ontologies are changes in the ontologies used to access information; and (3) changing sources or change of information sources making it impossible to establish a centralized ontology infrastructure that supports information sharing.
Probability features increasingly often in software and hardware systems: it is used in distributed coordination and routing problems, to model fault-tolerances and performance, and to provide adaptive resource manage...
详细信息
Probability features increasingly often in software and hardware systems: it is used in distributed coordination and routing problems, to model fault-tolerances and performance, and to provide adaptive resource management strategies. Probabilistic model checking is an automatic procedure for establishing if a desired property holds in a probabilistic specifications such as "leader election is eventually resolved with probability 1", "the chance of shutdown occurring is at most 0.01%", and "the probability that a message will be delivered within 30ms is at least 0.75". A probabilistic model checker calculates the probability of a given temporal logic property being satisfied, as opposed to validity. In contrast to conventional model checkers, which rely on reachability analysis of the underlying transition system graph, probabilistic model checking additionally involves numerical solutions of linear equations and linear programming problems. This paper reports our experience with implementing PRISM (***//spl sim/dxp/prism), a probabilistic symbolic model checker, demonstrates its usefulness in analyzing real-world probabilistic protocols, and outlines future challenges for this research direction.
A RISC VLIW processor implements dynamic instruction set extension integrating a pipelined, run-time reconfigurable datapath. A 0.18 /spl mu/m 6M CMOS chip prototype achieves energy consumption reduction up to 90% and...
详细信息
ISBN:
(纸本)0780377079
A RISC VLIW processor implements dynamic instruction set extension integrating a pipelined, run-time reconfigurable datapath. A 0.18 /spl mu/m 6M CMOS chip prototype achieves energy consumption reduction up to 90% and time reduction of 13/spl times/ on a signal processing algorithm benchmark. The IC contains 12M transistors and dissipates 120 mW at 80 MHz from a 1.8 V supply.
We describe the implementation and management of a flexible model for multilevel distance learning-based teacher training. The model was implemented to introduce curricular and pedagogical aspects of teaching logic pr...
详细信息
We describe the implementation and management of a flexible model for multilevel distance learning-based teacher training. The model was implemented to introduce curricular and pedagogical aspects of teaching logic programming, to high school computer science leading teachers, in the framework of an in service course. Although the advantages of preparing a unique training program for each teacher and initiating peer collaboration were clearly demonstrated during the course, we also noticed several difficulties that may be associated with the decentralization of the course and the exposure and accessibility of the Web-based communication.
The paper presents a spatial logic, called PISL-2D, and an implementation of its inference engine, called SpInE. The approach can be used to represent spatial knowledge in a 2-dimensional space using a set of qualitat...
详细信息
The paper presents a spatial logic, called PISL-2D, and an implementation of its inference engine, called SpInE. The approach can be used to represent spatial knowledge in a 2-dimensional space using a set of qualitative spatial relations. The formalism is based on a point-interval logic and a graphical representation, called Point Graphs. The graph representation is used by SpInE to verify and infer spatial knowledge.
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe the layout of bits in a memory word, the...
详细信息
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe the layout of bits in a memory word, the layout of memory words in a region, the layout of regions in an address space, or even the layout of address spaces in a multiprocessing environment. We provide a semantics for our formulas and then apply the semantics and logic to the task of developing a type system for Mini-KAM, a simplified version of the abstract machine used in the ML Kit with regions.
暂无评论