18 research outputs found

    Exploring The Responsibilities Of Single-Inhabitant Smart Homes With Use Cases

    Get PDF
    DOI: 10.3233/AIS-2010-0076This paper makes a number of contributions to the field of requirements analysis for Smart Homes. It introduces Use Cases as a tool for exploring the responsibilities of Smart Homes and it proposes a modification of the conventional Use Case structure to suit the particular requirements of Smart Homes. It presents a taxonomy of Smart-Home-related Use Cases with seven categories. It draws on those Use Cases as raw material for developing questions and conclusions about the design of Smart Homes for single elderly inhabitants, and it introduces the SHMUC repository, a web-based repository of Use Cases related to Smart Homes that anyone can exploit and to which anyone may contribute

    Spatial Inference - Learning vs. Constraint Solving

    No full text
    We present a comparison of two new approaches for solving constraints occurring in spatial inference. In contrast to qualitative spatial reasoning we use a metric description, where relations between pairs of objects are represented by parameterized homogenous transformation matrices with numerical (nonlinear) constraints. We employ interval arithmetics based constraint solving and methods of machine learning in combination with a new algorithm for generating depictions for spatial inference

    A uniform framework for constraint satisfaction problems

    No full text
    SIGLETIB Hannover: RN 9844(477) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekDEGerman
    corecore