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 present paper unranked tableaux calculus is discussed, which extends the classical first order tableaux calculus for formulas over unranked terms. The correctness and completeness theorems of the calculus are proved and its expressive power in Web-related applications are illustrated.
The key objective of OPUCE system is to enable the participation of end-users in the management of their own services, by providing them with innovative tools which allow an easy creation and delivery of personalized communication and information services. This paper describes the OPUCE service and component repository, which extends the OMA OSPE service model storage approach XDM. By integrating...
The model of free-form queries has been an enormous success for HTML-based search engines on the web. If the same free-form search is made available for grid services, it will serve as a powerful tool for scientists to retrieve information on resources, monitoring data, replica location sets, and meta-data on scientific data sets, in an intuitive manner. Current implementations of XML-based grid service...
A Wiki is a collaborative Web page authoring system. Users collaborate to build a Web site by creating and updating Wiki pages through Web browsers. However, conventional Wikis easily lose the consistency of the contents because a number of anonymous users can participate in authoring them. By introducing information agents that understand the. Wiki contents, we can keep the consistency. The agents...
In Japan, a huge number of entrance examination questions and school textbook exercises are accumulated in databases at various educational institutions and companies in education industry. These databases are now becoming more and more indispensable educational resources for teachers, educational researchers, and learners. However, since these resources are stored in a wide variety of forms, we cannot...
Statistical graphs are ubiquitous mechanisms for data visualization such that most, if not all, enterprises communicate information through them. However, many graphs are stored as unstructured images or proprietary binary objects, making them difficult to work with beyond the reports in which they are embedded. While graphs can be mapped to more common XML representations, these lack expressive semantics...
Current fashion systems to interconnect large software architectures are moving toward SOA based solutions. This new paradigm for designing system can be improved, in our opinion, by using semantics. Semantics can a play a main role in boosting interoperability thanks to current technologies to express knowledge and to describe semantic Web services (SWS). This paper tackles the provision of a Software...
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.