Robust natural language interpretation requires strong semantic domain models, "fall-soff" recovery heuristics, and very flexible control structures. Although single-strategy parsers have met with a measure of success, a multi.strategy approach is shown to provide a much higher degree of flexibility, redundancy, and ability to bring task-specific domain knowledge (in addition to general linguis...

Automated theorem provers use search strategies for accomplishing their proof tasks. Unfortunately, there is no unique strategy which is uniformly successful and uniformly fast on all problems. The combination of more than one strategy in parallel leads to a decreasing response time compared with sequential approaches and to an increasing number of solutions found. Limited availability of resou...

Based on IEEE 802.15.4 Low Rate-Wireless Personal Area Network (LR-WPAN) standard, the Zigbee standard has been proposed to interconnect simple, low rate and battery powered wireless devices. The deployment of Zigbee networks is expected to facilitate numerous applications such as Home-appliance networks, home healthcare, medical monitoring and environmental sensors. An effective routing scheme...

This paper is concerned with the issue of strategy selection for ontology alignment. By strategy selection we mean selecting strategies to align ontologies for different tasks according to the characteristics of the ontologies. Previously, strategy selection issues were often conducted manually or in an adhoc fashion. This paper first gives a formalization of the entire problem. It then propose...

In case-based reasoning systems, several learning techniques may apply to a given situation. In a failuredriven learning environment, the problems of strategy selection are to choose the best set of learning algorithms or strategies that recover from a processing failure and to use the strategies to modify the system’s background knowledge so that the failure will not repeat in similar future s...

Restart strategies are an important factor in the performance of conflict-driven Davis Putnam style SAT solvers. Selecting a good restart strategy for a problem instance can enhance the performance of a solver. Inspired by recent success applying machine learning techniques to predict the runtime of SAT solvers, we present a method which uses machine learning to boost solver performance through...

I. It is impossible to measure the merits of a grammar, seen as the component of an analyser, in absolute terms. An "ad hoc" grammar, constructed for a limited set of sentences is, w i t h o u t d o u b t , more efficient in dealing with those particular sentences than a zrammer constructed for a larger set. Therefore, t h e first rudimentary criterion, when evaluating the relation~hlp between ...

Next generation communications will offer a wide range of services available to users anywhere at any time. How wireless users access those services depends on the current user context: location, characteristics of the available networks, user preferences, application requirements and terminal capabilities. The vision is that users will not be tied down to a long-term contract with one single o...

Efficient solution of the very large linear systems that arise in numerical modelling of real-world applications is often only possible through the use of multilevel techniques. While highly optimized algorithms may be developed using knowledge about the origins of the matrix problem to be considered, much recent interest has been in the development of purely algebraic approaches that may be ap...