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.
In the modern Application Specific Integrated Circuit (ASIC) design cycle, correctness properties for functional verification are usually created by an engineer whose task is to read the system documentation and manually generate a set of formal statements in the chosen verification language. This process is typical of the reason why up to 60% of engineering effort is spent on verification and test...
Multimedia retrieval suffers from the lack of common feature representation between a text based query and the visual content of a video repository. One approach to bridging this representation gap is known as query-by-concept, where a query and video are mapped into a common semantic feature space. One of the challenges with using semantic concepts for multimedia retrieval, is that the available...
In this paper, we address the problem of processing semantic data streams. The semantic annotation of sensor data is one of the solutions to the heterogeneous nature of sensor data streams. Existing systems for publishing semantic streaming data collect stream data and transmit the semantic streaming data to query engines regardless of the queries registered in the query engines. As a large number...
Mining opinions and analyzing sentiments from social network data help in various fields such as even prediction, analyzing overall mood of public on a particular social issue and so on. This paper involves analyzing the mood of the society on a particular news from Twitter posts. The key idea of the paper is to increase the accuracy of classification by including Natural Language Processing Techniques...
Home insurance is a critical issue in the state of Florida, considering that residential properties are exposed to hurricane risk each year. To assess hurricane risk and project insured losses, the Florida Public Hurricane Loss Model (FPHLM) funded by the states insurance regulatory agency was developed. The FPHLM is an open and public model that offers an integrated complex computing framework that...
Word prediction generally relies on n-grams occurrence statistics, which may have huge data storage requirements and does not take into account the general meaning of the text. We propose an alternative methodology, based on Latent Semantic Analysis, to address these issues. An asymmetric Word-Word frequency matrix is employed to achieve higher scalability with large training datasets than the classic...
Today, search engines play a vital role in accessing the online content. However, the data in the webpages are not clearly perceived by search engines. As a result, it provides a lot of irrelevant data with little desired information. In addition, it takes a lot of time in searching the appropriate result. By studying the online educational needs of Indian school children, we aim to retrieve appropriate...
Information privacy and security plays a major role in domains where sensitive information is handled, such as case studies of rare diseases. Currently, security for accessing any sensitive information is provided by various mechanisms at the user/system level by employing access control models such as Role Based Access Control. However, these approaches leave security at the knowledge level unattended,...
We are seeing a sea change down the pike in terms of financial information aggregation and consumption; this could potentially be a game changer in financial services space with focus on ability to commoditize data. Financial Services Industry deals with a tremendous amount of data that varies in its structure, volume and purpose. The data is generated in the ecosystem (its customers, its own accounts,...
A service mashup goes through several processes, which it takes much time and efforts for developers to mashup of many heterogeneous web services. To mitigate the complexity of a service mashup and automate the mashup process, the present paper proposes semantic service discovery and matching technologies. The semantic service discovery technology is capable of finding out more appropriate and ranked...
The Publish and Subscribe (pub/sub) dissemination paradigm has emerged as a popular means of disseminating time-sensitive or filtered information, usually in the form of middleware within the enterprise systems of Service-Oriented Architectures (SOA). Through the use of an event service, or broker, published information is disseminated only to the subscribers interested in that information. However,...
Today's industry emphasize greatly on data-driven and data engineering technologies, triggering a tremendous amount of structured and unstructured data across different domains. As a result of which, semantic information is implicitly available in the knowledge base, mainly in the form of data descriptions, and needs to be extracted automatically to better serve the users' need. But how to deliver...
Linked Data is an emerging trend on the web with top companies promoting their own means of marking up data semantically, publishing and connecting data on Web. Despite the increasing prevalence of Linked Data, there are a limited number of applications that implement and take advantage of its capabilities, particularly in the domain of education. In this project we are using Semantic technologies...
Bioenergy is a renewable energy generated from biomass, while biofuel is a hydrocarbon fuel that is produced from biomass. Recently, bioenergy and biofuel projects are encouraged and supported by many governments and organizations in various ways such as providing incentives, technical supports, information, and decision support tools. Economic model is one of the decision support tools, which helps...
Successfully modeling state and analytics-based semantic relationships of documents enhances thoroughness of representation, contextualization of importance and relevancy, posterity of provenance, and a delineation of priority for a document. These attributes are the core elements that form the machine-based knowledge representation for documents. However, modeling document relationships that can...
In today's cloud service market, different providers have very different low-level mechanisms to accommodate various types of policies from their users. Enforcement of policies over multiple cloud provider domains is an intrinsically complex problem for both sides. In reality, cloud providers have to either manually update enforcement mechanisms or negotiate adjusted policies with their users for...
With the increasing number of mobile devices, there have been many researches on searching and managing a large volume of mobile data. Most of the mobile platforms today provide users with keyword-based full text search (FTS) in order to search for mobile data. Recently, voice search interfaces have been deployed. These search methods, however, query only the keywords given as an input to local databases...
Due to its predictive nature, Social Media has proved to be an important resource in support of the identification of trends. In Customer Relationship Management there is a need beyond trend identification which includes understanding the topics propagated through Social Networks. In this paper, we explore topic modeling by considering the techniques of Latent Dirichlet Allocation which is a generative...
The Current description standards for Web Services such as WSDL and UDDI have a significant drawback of being restricted to the syntactic aspects of service. A service provider registers a service in the universal repository i.e. UDDI so that the service consumers can search and discover the required service that meets the user functional requirements from thousands of registered services. Matching...
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.