This paper proposes a Multiple-Agent system to construct an ontology of the English translations of the meanings of Noble Quran. None of the current agent based systems have solved the problem of ontology learning fro...
详细信息
Emotions plays a potential role in human computer interaction which are having an obligatory models of cognitive measures. The emotions are dominated by the human physiological communication channels. Those emotions c...
详细信息
Testing constraints for real-time systems are usually verified through the satisfiability of propositional formulae. In this paper, we propose an alternative where the verification of timing constraints can be done by...
详细信息
ISBN:
(纸本)0769521487
Testing constraints for real-time systems are usually verified through the satisfiability of propositional formulae. In this paper, we propose an alternative where the verification of timing constraints can be done by counting the number of truth assignments instead of boolean satisfiability. This number can also tell us how "far away" a given specification is from satisfying its safety assertion. Furthermore, specifications and safety assertions are often modified in an incremental fashion, where problematic bugs are fixed one at a time. To support this development, we propose an incremental algorithm for counting satisfiability. Our proposed incremental algorithm is optimal as no unnecessary nodes are created during each counting. This works for the class of expressions, known as path RTL ([1, 5]). To illustrate this application, we show how incremental satisfiability counting can be applied to a well-known rail-road crossing example, particularly when its specification is still being refined.
a new approach to maneuvering target tracking using the sliding mode observer theory, in the specific context of homing missile guidance is developed. this scheme requires a priori information about the target acceler...
详细信息
a new approach to maneuvering target tracking using the sliding mode observer theory, in the specific context of homing missile guidance is developed. this scheme requires a priori information about the target acceleration bounds alone, and there is no need for a dynamic model to represent the target maneuver dynamics. the proposed estimator is as simple to implement as the conventional extended kalman filter(ekf) itself. the simulation results, in the presence of realistic noise sources, demonstrate the superiority of the proposed estimation scheme over the ekf.
The performance of the Hopfield neural network with mean field annealing for finding solutions to the shortest path problem in a communication network is investigated. The neural network uses mean field annealing to e...
详细信息
The performance of the Hopfield neural network with mean field annealing for finding solutions to the shortest path problem in a communication network is investigated. The neural network uses mean field annealing to eliminate the constraint terms in the energy function. Unlike other systems which use penalty constraint terms there is no need to tune constraint parameters (this tuning has been found to be difficult and problem specific). Also, we avoid the need to pre-determine the minimum number of hops corresponding to the optimal route. We have very encouraging simulation results for the nine node grid network and fourteen node NFSNET-backbone network but have found that the neural network has difficulty finding valid routes when many hops are required to get from the source to destination.
Most undergraduate computing courses have a project component that attempts to convey some of the aspects of a 'real-life' development project but these often concentrate on the final product, rather than the ...
详细信息
Most undergraduate computing courses have a project component that attempts to convey some of the aspects of a 'real-life' development project but these often concentrate on the final product, rather than the process by which it is achieved. Process topics, such as project planning and scheduling, configuration management, etc., are often relegated to a casual support role, rather than treated as fundamental requirements for a rational software development process. We are making the concepts of software process central to our software engineering teaching and assessment. The paper reports on our experiences in developing three integrated Software Engineering units.
Career planning at the organizational level must be translated into career planning at the individual employee level. Performance appraisal can be used more broadly so that it can be the main tool for companies in emp...
详细信息
This study analyzes causal connections between cross-hemispheric brain regions in individuals diagnosed with major depressive disorder (MDD) through Electroencephalography (EEG) data. A phase-based causality analysis ...
详细信息
Brain connectivity, extracted from EEG is considered for quantitative characterization of changes in brain function due to a mental disease and its treatment. Weighted imaginary coherence is chosen as a connectivity m...
详细信息
暂无评论