Sökning: "object-based study"
Visar resultat 1 - 5 av 13 avhandlingar innehållade orden object-based study.
1. Urban Change Detection Using Multitemporal SAR Images
Sammanfattning : Multitemporal SAR images have been increasingly used for the detection of different types of environmental changes. The detection of urban changes using SAR images is complicated due to the complex mixture of the urban environment and the special characteristics of SAR images, for example, the existence of speckle. LÄS MER
2. Skräddaren, sömmerskan och modet : Arbetsmetoder och arbetsdelning i tillverkningen av kvinnlig dräkt 1770-1830
Sammanfattning : The aim of this study in textile studies and cultural history is to gain a greater understanding of what happened to the division of labour and manufacturing techniques when female fashions changed in the period 1770-1830. This was a time of upheaval as regards fashions, and a change in dress practice. LÄS MER
3. Urban Land-cover Mapping with High-resolution Spaceborne SAR Data
Sammanfattning : Urban areas around the world are changing constantly and therefore it is necessary to update urban land cover maps regularly. Remote sensing techniques have been used to monitor changes and update land-use/land-cover information in urban areas for decades. Optical imaging systems have received most of the attention in urban studies. LÄS MER
4. Primitive Direcursion and Difunctorial Semantics of Typed Object Calculus
Sammanfattning : In the first part of this thesis, we contribute to the semantics of typed object calculus by giving (a) a category-theoretic denotational semantics using partial maps making use of an algebraic compactness assumption, (b) a notion of "wrappers'' by which algebraic datatypes can be represented as object types, and (c) proofs of computational soundness and adequacy of typed object calculus via Plotkin's FPC (with lazy operational semantics), thus making models of FPC suitable also for first-order typed object calculus (with recursive objects supporting method update, but not subtyping). It follows that a valid equation in the model induces operationally congruent terms in the language, so that program algebras can be studied. LÄS MER
5. Multitemporal Spaceborne Polarimetric SAR Data for Urban Land Cover Mapping
Sammanfattning : Urban represents one of the most dynamic areas in the global change context. To support rational policies for sustainable urban development, remote sensing technologies such as Synthetic Aperture Radar (SAR) enjoy increasing popularity for collecting up-to-date and reliable information such as urban land cover/land-use. LÄS MER