Abstract
Inductive Logic Programming (ILP) is an established subfield of Machine Learning. Nevertheless, it is recognized that efficiency and scalability is a major obstacle to an increased usage of ILP systems in complex applications with large hypotheses spaces. In this work, we focus on improving the efficiency and scalability of ILP systems by exploring tabling mechanisms available in the underlying Logic Programming systems. Tabling is an implementation technique that improves the declarativeness and performance of Prolog systems by reusing answers to subgoals. To validate our approach, we ran the April ILP system in the YapTab Prolog tabling system using two well-known datasets. The results obtained show quite impressive gains without changing the accuracy and quality of the theories generated.

Abstract
Three-dimensional graphical applications can provide an added value to Location Based Mobile Services (LBMS). This is particularly true for the applications related to urban environments, which can interactively present three-dimensional models to the user, visualized in accordance to his location. Modelling an urban environment is mainly a manual procedure and so it can become a difficult, tedious and time consuming task, due to the many different geometries, textures, details, etc, involved in the urban structures. This paper presents the XL3D modelling system that provides, in an automatic fashion, three-dimensional models of urban areas to be used in a LBMS Project. The XL3D modelling system is based on interoperable access to digital data, in diverse formats, accessing XML documents or invoking Web services in a distributed architecture. The system is driven by L-systems based modelling processes that automatically generate three-dimensional models of urban environments, specified in a declarative mode using documents based on an XML Schema, also called XL3D. Copyright © 2005 by the Association for Computing Machinery, Inc.

Abstract
The paper describes the organization and use of a pipeline that is tightly-coupled to the CPU inside a platform FPGA with support for dynamic partial reconfiguration. It describes the overall hardware system organization and the pipeline structure, and presents the associated development environment and run-time support system, including the support for dynamically changing pipeline implementations and altering the operations of a pipeline stage.

Abstract
Ubiquitous computing requires a multitude of devices to have access to the same services. Abstract specifications of user interfaces are designed to separate the definition of a user interface from that of the underlying service. This paper proposes the incorporation of interaction style into this type of specification. By selecting an appropriate interaction style, an interface can be better matched to the device being used. Specifications that are based upon three different styles have been developed, together with a prototype Style-Based Interaction System (SIS) that utilises these specifications to provide concrete user interfaces for a device. An example weather query service is described, including specifications of user interfaces for this service that use the three different styles as well as example concrete user interfaces that SIS can produce. © IFIP International Federation for Information Processing 2005.

Abstract

Abstract