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 processing of high amount of documents is a highly complex challenge, which becomes even more complicated when the goal is to extract the semantically relevant data within the documents. The large-scale processing of immense repositories of knowledge requires techniques which perform information extraction to facilitate the subsequent classification and indexing of texts. Having this into account,...
Assertions or formal program specifications are fundamental to build more reliable software. One of the most important applications of assertions is found in the design by contract metaphor: pre-conditions, invariants and post-conditions. Current assertion approaches use some software technology that relies on simple mechanisms; however their actual implementation can be both quite complex and instrusive...
Automated medical diagnosis systems based on knowledge-oriented descriptions have gained momentum with the emergence of Semantic Descriptions. However, soundness and efficiency of the underlying logics in these descriptions are critical to harness the potential of these systems. In this paper, we provide a well-structured ontology for automated diagnosis and a three-fold formalization based on Predicate...
The systematic method used to identify diseases is a called differential diagnosis (DDx). It is mostly used by healthcare professionals to diagnose a specific disease in a patient. If the disease is diagnosed, the method could be used to recommend the medications in order to receive treatment. The goal of the current paper is to design a system based on semantic Web technologies to a system with the...
Web services choreography allows enterprises to create new business processes that mirror today's dynamic and ever-changing business needs. Creating a business process requires not only a clear definition of the collaboration patterns of all its components, but also a way of depicting standard business-to-business (B2B) and enterprise application integration (EAI) interactions. In this context, WS-CDL...
Business process management (BPM) is the management of IT-supported business operations from a business expert's process view rather than from a technical perspective. The application of SW technologies to BPM has gained interest in both the academic and corporate sector. The most significant issue facing BPM is the integration of business processes in a dynamic environment with an IT system in order...
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.