In this paper we will show how constraint solving methods can be applied for the recognition of buildings in aerial images. Object models are transformed to constraint representations which are matched against extracted image features. To cope with disturbances caused by occlusions and noise, we distinguish between the unobservability of a) relations between object parts and b) object parts the...

It is well understood that the huge volumes of data captured in recent years have the potential to underpin significant research developments in many fields. But, to realise these benefits, all relevant parties must be comfortable with how this data is shared. At the heart of this is the notion of privacy — which is recognised as being somewhat difficult to define. Previous authors have shown h...

In this paper we will show how constraint solving methods can be applied for the recognition of buildings in aerial images. Object models are transformed to constraint representations which are matched against extracted image features. To cope with disturbances caused by occlusions and noise, we distinguish between the unobservability of a) relations between object parts and b) object parts the...

We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables us to represent incomplete knowledge, nondeterministic actions, observations, sensing actions and conditional plans; it also enables a logical expression of several frequently made assumptions about the nature of the ...

abstract narcissus species (amaryllidaceae) are highly suitable outdoor ornamental plants and also as cut flower. narcissus is used in folk medicine and is a medicinal plant, because of galanthamine properties. south area of iran such as khouzestan province, is one of the most important areas of producing cut flower of narcissus in winter season. in this research, the effects of planting distan...

State representations summarize our knowledge about a system. When unobservable quantities are introduced the state representation is typically no longer unique. However, this nonuniqueness does not affect subsequent inferences based on any observable data. We demonstrate that the inference-free subspace may be extracted whenever the quantity’s unobservability is guaranteed by a global conserva...

We show that the Depth of an ultraproduct of Boolean Algebras cannot jump over the Depth of every component by more than one cardinal. Consequently we have similar results for the Depth invariant.

This short paper proposes a method for computing depth maps from multiple satellite cameras and fusing them to an enhanced one for the principal camera of a movie production. Additional precision is gathered from optionally adding a Time-of-Flight camera. The proposed algorithm is a generalization of the PatchMatch Stereo algorithm [1]. It calculates multiple stereo depth maps without the need ...

A depth image-based rendering (DIBR) technique is one of the rendering processes of virtual views with a color image and the corresponding depth map. The most important issue of DIBR is that the virtual view has no information at newly exposed areas, so called disocclusion. The general solution is to smooth the depth map using a Gaussian smoothing filter before 3D warping. However, the filtered...