We show how the service composition problem can be viewed as a planning problem in which state descriptions are ambiguous and operator definitions are incomplete. We then discuss the problem of interpreting documents (which describe the world state), and introduce a semantic type matching algorithm. The matching algorithm together with an interleaved search and execution algorithm allow for bas...

decline curve analysis has some advantages over transient well test analysis in which it is not required to shut-in the well and also wellbore storage effects do not exist. few studies have been done on decline curve analysis of naturally fractured reservoirs but there are even some limitations with available models. on the other hand well test could be expensive and in some operational conditi...

These lines are the intersections of the plane through the point p in the world and the centres of the left and right cameras with the two camera focal planes (see Figure 1). These epipolar lines are formed by the intersections of the pencil of planes through the line joining the image centres with the camera focal planes. Hence such lines form a pencil passing through the point of intersection...

Reliable curve matching is a difficult proble~rl but is required in Inany visio11-based applicatio~ls. It is particularly difficult when the edges in question are not li~rlited to be on straight lines. Our 1riai11 corltribution in this paper is to propose a new algorithr~i for curve matching (illcludi~lg lines). The nlethod is described within a probabilistic relaxatio~l fra~rlework. Novel si~~...

A disk Wang-Bézier type generalized Ball curve is a Wang-Bézier type generalized Ball curve whose control points are disks in a plane. It can be viewed as a parametric curve with error tolerances. In this paper, we discuss the problem of degree reduction of disk Wang-Bézier type generalized Ball curve, that is, bounding disk Wang-Bézier type generalized Ball curves with lower degree disk Wa...

In this paper, we discuss a method for representing and matching planar curves. The technique is based on using calculations from concentric circles to represent each curve by two sets of angles. The angles are defined by vectors constructed from the center point of the circles and the points on the curve trace that intersect each circle. The circles have incrementally increasing radii represen...

A disk Wang-Bézier type generalized Ball curve is a Wang-Bézier type generalized Ball curve whose control points are disks in a plane. It can be viewed as a parametric curve with error tolerances. In this paper, we discuss the problem of degree reduction of disk Wang-Bézier type generalized Ball curve, that is, bounding disk Wang-Bézier type generalized Ball curves with lower degree disk Wa...