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.
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.
＜正＞ 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.
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.
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.
Formal specification of abstract data types (ADTs) is important in modeling system architectures and their implementations. One of the most widely used ADTs is graph, since many problems in sciences and engineering ca...
详细信息
Formal specification of abstract data types (ADTs) is important in modeling system architectures and their implementations. One of the most widely used ADTs is graph, since many problems in sciences and engineering can be formulated and solved by a graph model. In this paper, we present a formal approach to the specification of graphs as an ADT using real-time process algebra (RTPA). RTPA is a formal method that describes a software system, especially a real-time system, as a set of processes. We use RTPA to describe a generic graph model in three parts encompassing the architecture, static and dynamic behaviors. In the RTPA specification, the graph behaviors can be classified into four categories, namely: (a) basic operations (InsertNode, DeleteNode, InsertEdge, DeleteEdge, GetSize, GetNumberOfEdges, Retrieve, Update, and Search); (b) node/edge-specific operations (FindNode, FindEdge, Fanin, Fanout, FindNeighbours, and Degree); (c) pointer operations (CurrentNode and CurrentEdge); and (d) utility operations (Create, Clear, and Release). Each of the 20 operations is formally described by an RTPA processes in a unified encapsulation of graph behaviors. On the basis of the RTPA graph model, a wide range of graph-based applications can be implemented by sharing the common architecture and behaviors of the graph as a system type or class.
Regression testing is an important part of software quality assurance. We work to extend regression testing to include regression benchmarking, which applies benchmarking to detect regressions in performance. Given th...
详细信息
software process components that share information and that cooperate for common tasks lead to multiple problems of interoperability. Some based-interoperability approaches have been proposed. However, more problems r...
详细信息
ISBN:
(纸本)9728865007
software process components that share information and that cooperate for common tasks lead to multiple problems of interoperability. Some based-interoperability approaches have been proposed. However, more problems remain to be solved to enable the heterogeneous process components interoperability at execution level. This paper presents a process-based approach (architecture) for the federation of software process systems. Based on this approach, we focus on its implementation problems for the process execution interoperability. We show how we solve these problems and we discuss their implementation through the main development techniques of distributed applications.
暂无评论