The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The semantic description of remote sensing image is a useful and meaningful task, which can help us to get a better understanding of the scene depicted in the remote sensing images and make better use of the remote sensing images. Nature language provides good solution for describing the semantic information of remote sensing images. Nature language description of a remote sensing image is to generate...
Video summary is important for users to quickly understand the video content. In this paper, first, some selection principles of video content and an importance evaluation model of movie summary are analyzed. Then, a movie summary generation system which includes three subsystems such as video management and retrieval subsystem, video clips selection subsystem, and video summary generation subsystem...
Automatic movie summarization based on the visual-audio features is introduced. The importance evaluation model for video clips chooses face detection and atwitter shot detection as the basis. Against the difficult of movie's speech endpoint detection, speech endpoint detection based on subtitles of movie is introduced, which can help detect the captions' start or end time exactly. Compared with other...
The activity diagram is widely used for describing and understanding workflows, however, it lacks a formal semantics and cannot be manipulated by computer. In this paper, we present a transformation from UML activity diagrams with time properties to timed coloured petri nets (TCPNs) in a formal way. We extend the activity diagram with time properties and a formal model named extended activity hyper...
Correctness is a critical requirement for software systems and one of the key factors in correctness is that the system be deadlock-free. In this paper, we present a Probe-Based Deadlock Detection and Recovery (PBDDR) strategy for Component-based System (CBS) which brings four contributions. First, we define a formal semantic model by using Communicating Sequential Processes (CSP) to abstract interaction...
Component-based development has gained a lot of attention in recent years. As a software development paradigm, it enhances the reusability and reduces the complexity but it also brings new challenges to Component-based System (CBS) reliability especially for deadlock problem. Since the CBS has a unique character which is component based, the composition might easily cause the deadlock of component...
Component-based software development (short for CBSD) is to develop software systems by choosing appropriate components in the distributed environment to assemble a dependable software architecture, which satisfies requirements. This new paradigm plays a key role in the software engineering and also brings new challenges to the dependable software architecture design. In this paper, firstly we introduce...
Due to the phenomenon of the data heterogeneous and information not be shared of equipment support training simulation systems, it is bringing forward an ontology-library-based method of information integration. Through constructing ontology-library and establishing similitude calculating and establishing arithmetic of date conflict resolution, it can implement the mapping of local ontology and global...
In supply chain knowledge management, it needs to integrate different local ontology of the companies on supply chain to build global ontology. This method will bring ontology heterogeneity problem due to the difference of syntax and semantics among local ontology. The method to solve such heterogeneity problem is by using ontology integration and ontology mapping. This paper proposes an ontology...
In the process of data integration, the traditional methods are difficult to solve the problems, what are the large amounts of data redundancy, faintness of Information representation, heterogeneous data and so on. The combination of emerging technology and XML-DTD technology can solve the above problem better. This paper analyzes the characteristics of gas accident of the coalfield, creating an OWL...
To address the problem of assessing the SQL code automatically in an E-learning system, this paper offers a way to calculate the similarity between SQL codes using the static analysis technology. We use the regular expressions, NFA and DFA technology to analyze the code and then generate the AST of the source code and target code. Based on the ASTs created before, the method proceeds the measuring...
Service discovery of state dependent services has to take workflow aspects into account. To increase the usability of a service discovery, the result list of services should be ordered with regard to the relevance of the services. Means of ordering a list of workflows is a similarity measure of the workflow and a query. In this paper different similarity measures facilitating structured workflows...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.