We introduce an abstract domain consisting of atomic formulas constrained by linear arithmetic constraints (or convex hulls). This domain is used in an algorithm for specialization of constraint logic programs. The algorithm incorporates in a single phase both top-down goal directed propagation and bottom-up answer propagation, and uses a widening on the convex hull domain to ensure termination...

When comparing inductive logic programming (ILP) and attribute-value learning techniques, there is a trade-oo between expressive power and eeciency. Inductive logic programming techniques are typically more expressive but also less eecient. Therefore, the data sets handled by current inductive logic programming systems are small according to general standards within the data mining community. T...

Detection of commercials in TV videos is difficult because the diversity of them puts up a high barrier to construct an appropriate model. In this work, we try to deal with this problem through a top-down approach. We take account of the domain knowledge of commercial production and extract features that describe the characteristics of commercials. According to the clues from speech-music discr...

Latchup failure induced by electrostatic discharge (ESD) protection circuits occurred anomalously in a high-voltage IC product. Latchup issues existed at only three output pins, two of which belonged to the top and the other to the side. The layouts of top and bottom output pins are identical, and side output pins have another identical layouts. In our experiments it was found latchup of two to...

In this paper we address the problem of temporal segmentation of videos. We present a multi-modal approach where clues from different information sources are merged to perform the segmentation. Specifically, we segment videos based on textual descriptions or commentaries of the action in the video. Such a parallel information is available for cricket videos, a class of videos where visual featu...

In this paper we present a program specialisation method which, given a call/post speciication, transforms a logic program into a weakly call-correct one satisfying the post-condition. The specialisation is applied to specialised partially correct programs. This notion is based on the deenition of specialised derivation which is intended to describe program behaviour whenever some properties on...

We show how declarative diagnosis techniques can be extended to cope with verification of operational properties, such as computed answers, and of abstract properties, such as types and groundness dependencies. The extension is achieved by using a simple semantic framework, based on abstract interpretation. The resulting technique (abstract diagnosis) leads to elegant bottom-up and top-down ver...

Motivation Horn fragments of logics are useful: 1. They usually allow bottom-up evaluation. 2. They usually eliminate nondeterminism. 3. They form basis for logic programming.

Firstly the need for an approach to the design of an integrated vision system incorporating both bottom-up and top-down techniques is explained. Secondly two theories that may be applied in such a system, namely fuzzy conceptual schemas and support logic, are expounded. Thirdly a program utilising such tools and envisaged as a prototype generalised vision system is described. Fourthly results o...

An experimental observation related to the influence of the bottom topography on the development of gravity driven surface boundary currents in rotating systems is described and discussed. The results presented concern the local flow geometry in the vicinity of the head of the current. It is observed that, depending on the values of the independent experimental variables and the inclination ang...