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.
For modelling hybrid systems, we have extended Event B based on its framework with the differential event. The differential event describes continuous behaviors of hybrid systems by differential equations and evolution constraint, whose proof obligations provide dynamical properties of a model. In order to ensure the safety and reliability of a model, proof obligations should be proved. It is difficult...
With the big success of deep convolutional neural networks (CNN) in image classification task, many proposal based networks are proposed to detect given objects in an image. Faster R-CNN is such a network that uses a region proposal network (RPN) to generate nearly cost-free region proposals, which has shown excellent performance in ILSVRC and MS COCO datasets. However, Faster R-CNN does not behave...
With the rapid growth of semantic data, scalable reasoning has attracted more, more attention. However, most existing works about scalable reasoning focus only on RDFS/OWL ter Horst semantics, which are small fragments of OWL 2 RL,, have limitation in expressivity. As OWL 2 RL semantics extended with SWRL rules can be expressed by datalog language, materialization of datalog programs is widely adopted...
Mining topics in Twitter is increasingly attracting more attention. However, the shortness and informality of tweets leads to extreme sparse vector representation with a large vocabulary, which makes the conventional topic models (e.g., Latent Dirichlet Allocation) often fail to achieve high quality underlying topics. Luckily, tweets always show up with rich user-generated hash tags as keywords. In...
This paper proposes a hybrid algorithm based on improved LLE and adaptive k-means for visual codebook generation in tourism scene classification. Firstly, we construct the improved LLE algorithm to get lower dimensional and compressed image feature representations. Then we form the adaptive k-means clustering algorithm to generate the visual codebook. Finally, we use the visual codebook histogram...
As the size of image databases for various applications keeps growing at an explosive rate, how to automatically and efficiently classify the images and mimic human visual perception is an extremely important issue. The spatial layout information of the image is a kind of abstract semantics and the visual grammar of the image. It could dramatically improve the effectiveness of the scene classification...
Ontology construction can allow users or agents of software to arrive at consistent views about organization structure of information, even improve the reusability in the professional fields. However, because of the differences between domains, there is no existing technical route as the standard method for ontology construction at the present time. This paper offers an improved ontology construction...
Nowadays, the sharing of e-education resources has become a big concern, as it helps to save manpower, physical resources, time and space. In this paper, a novel method is proposed for semantically indexing the huge amount of resources that are integrated together by an e-education resources sharing platform. The platform system architecture is illustrated, and an ontology is created to provide a...
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.