The problem this paper addresses is that an architecture formed of software components can contain composition errors (introduced, for instance, as a result of the choice of a framework's parameters). The title &q...
详细信息
ISBN:
(纸本)0889864276
The problem this paper addresses is that an architecture formed of software components can contain composition errors (introduced, for instance, as a result of the choice of a framework's parameters). The title "Erroneous architecture is a relative concept" is to emphasize that whether a composition error occurs in an architecture depends on the way the architecture is used in its environment. An important issue is finding a way to possibly statically verify that, for a given setup containing the architecture, no composition errors can occur in any run. The contribution of the paper is bringing an evidence that this can be done by employing behavior protocols and their consent operator.
An architecture design of the intelligent agent for speech recognition and translation is presented in this paper. The design involves the agent architecture and the method of the agent is used. The architecture desig...
详细信息
An architecture design of the intelligent agent for speech recognition and translation is presented in this paper. The design involves the agent architecture and the method of the agent is used. The architecture design shows the relationship between the intelligent agent and speech recognition also translation. The intelligent agent for speech recognition is called S-AGENT and T-AGENT for translation. The purpose of the S-AGENT is to facilitate for transmitting the speech data via Internet or network. The S-AGENT is acting as a data transmit control to ensure the transmitted speech data is securely delivered. The task of the T-AGENT is different from the S-AGENT. The T-AGENT is acting as information retrieval. It processes the output from the speech recognition and translates the output based on its information memory database. If the information cannot be found on its memory, it searches the information required from the database dictionary provided. At the same time, it learns the information and saves the information to its memory for the future purpose.
This paper describes the application of a novel reinforcement learning to the difficult real world problem of elevator dispatching. We propose a new algorithm combing Q-learning and residual gradient to solve this pro...
详细信息
ISBN:
(纸本)4907764227
This paper describes the application of a novel reinforcement learning to the difficult real world problem of elevator dispatching. We propose a new algorithm combing Q-learning and residual gradient to solve this problem and obtain the results which are better than other traditional elevator control algorithms.
Final year, group (capstone) projects in computing disciplines are often expected to fill multiple roles: in addition to allowing students to learn important domain-specific knowledge, they should reinforce computing ...
详细信息
Final year, group (capstone) projects in computing disciplines are often expected to fill multiple roles: in addition to allowing students to learn important domain-specific knowledge, they should reinforce computing and softwareengineering concepts and provide for the acquisition of transferable skills. For motivational and pedagogical reasons, it is clearly preferable that such projects respond to real needs, be those in research or industry. We describe two student projects based on a large repository of usage data and integrated into a course in Professional Computing. These projects fulfilled the objectives outlined above and were closely linked to the research of the first author. We suggest that similar projects based on large databases may offer a transferable paradigm for others to follow. Finally, we outline some important elements for a successful group project based on a large database. Copyright 2004 ACM.
＜正＞ Recently the Mathematical Programming community showed a renewed interest in Hilbert’s Positivstellensatz. The reason for this is that global optimization of polynomials in R[x1,..., xn] is NP-hard, while the ...
＜正＞ Recently the Mathematical Programming community showed a renewed interest in Hilbert’s Positivstellensatz. The reason for this is that global optimization of polynomials in R[x1,..., xn] is NP-hard, while the question whether a polynomial can be written as a sum of squares has tractable aspects. This is due to the fact that Semidefinite Programming can be used to decide in polynomial time （up to a prescribed precision） whether a polynomial can be rewritten as a sum of squares of linear combinations of monomials coming from a specified set. We investigate this approach in the context of Satisfiability. We are interested in the question whether the Satisfiability area can provide examples of polynomials which are non-negative but not sums of squares but also examine the potential of the theory for providing tests for unsatisfiability and providing MAXSAT upper bounds. We compare the SOS （Sums Of Squares） approach with existing upper bound techniques （for the MAX-2-SAT case） of Goemans and Williamson [6] and Feige and Goemans [5], which are based on Semidefinite Programming as well. We advocate that the SOS approach gives more accurate upper bounds at comparable computational costs.
Object-Oriented Information System (OOIS) is an information system that employs object-oriented technologies in system design and implementation. Recent research advances and industrial innovations in distributed syst...
Object-Oriented Information System (OOIS) is an information system that employs object-oriented technologies in system design and implementation. Recent research advances and industrial innovations in distributed system modeling and Internet applications have enabled OOIS design and implementation to be carried out on the basis of new technologies and platforms. This special section on Modeling Object-Oriented Information Systems presents readers with a set of best papers selected from the 7th International Conference on OOIS. Reviews of theories and applications of OOIS’s are also provided for predicating trends in OOIS modeling.
Speech recognition and understanding have been studied for many years. The neural network is well-known as a technique that is able to classify nonlinear problems. Much research has been done in applying neural networ...
详细信息
Speech recognition and understanding have been studied for many years. The neural network is well-known as a technique that is able to classify nonlinear problems. Much research has been done in applying neural networks to solving the problem of recognizing speech such as Arabic. Arabic offers a number of challenges to speech recognition. We propose a fully-connected hidden layer between the input and state nodes and the output. We also investigate and show that this hidden layer makes the learning of complex classification tasks more efficient. We also investigate the difference between LPCC (linear predictive cepstrum coefficients) and MFCC (Mel-frequency cepstral coefficients) in the feature extraction process. The aim of the study was to observe the differences in the 29 letters of the Arabic alphabet from "alif" to "ya". The purpose of this research is to upgrade the knowledge and understanding of Arabic alphabet or words using a fully-connected recurrent neural network (FCRNN) and backpropagation through time (BPTT) learning algorithm. Six speakers (a mixture of male and female) in a quiet environment are used in training.
In many business process modelling situations using Petri nets, the resulting model does not have a single input place and a single output place. Therefore, the correctness of the model cannot be assessed within the e...
详细信息
In many business process modelling situations using Petri nets, the resulting model does not have a single input place and a single output place. Therefore, the correctness of the model cannot be assessed within the existing frameworks, which are devised for workflow nets - a particular class of Petri nets with a single input place and a single output place. Moreover, the existing approaches for tackling this problem are rather simplistic and they do not work even for simple examples. This paper shows that, by an appropriate reduction of a multiple input/multiple output Petri net, it is possible to use the existing techniques to check the correctness of the original process. The approach is demonstrated with an appropriate example.
暂无评论