Constraint satisfaction problems (CSPs) and one of its extensions fuzzy CSPs (FCSPs) are simple models for formulating problems that exist in the real world. There are a lot of general-purpose solvers for FCSPs, and once we formulate a problem as an FCSP and then can have one of the solvers solve it. This formulation is however another problem because it is a process that entails highly abstracting the problem, it is not often determined uniquely, and it governs the efficiency of solving the problem. The authors consider that it improves this situation to increasing the visibility of solvers' behavior in order to adjusting models developed once. In this paper, the authors show their ongoing work for developing a tool for analyzing and visualizing FCSPs, which provides two- and three-dimensional views of FCSPs and shows the behavior of solvers with animations.
The authors propose a method for personalizing the flexible widget layout (FWL) by adjusting the desirability of widgets with a pairwise comparison method, and show its implementation and that it actually works. Personalization of graphical user interfaces (GUIs) is important from a perspective of usability, and it is a challenge in the field of model-based user interface designs. The FWL is a model- and optimization-based layout framework of GUIs offering a possibility for personalization, but it has not actually realized it with any concrete method yet. In this paper, the authors implement a method for personalization as a dialog box and incorporate it into the existing system of the FWL; thus, users can personalize layouts generated by the FWL system at run-time.
A Fuzzy Constraint Satisfaction Problem (FCSP) is an extension of the classical CSP, a powerful tool for modeling various problems based on constraints among variables. Meanwhile a Dynamic CSP (DCSP) is a framework for modeling the transformation of problems, and the difference between past solution and new solution should be as small as possible. These schemes are the technique to formulate real world problems as CSPs more easily. The CSP model that combines these (Dynamic Fuzzy CSP) is already has researches however, CSPs are NP-hard problems in general, no efficient and complete algorithms for solving CSPs exist and the increase in the worst-case computation time is exponential in the size of the problems.
In the work reported in this paper we tested a hybrid approximate method, called the SRS algorithm. Moreover, we introduce an after filtering method, called the SRSD algorithm. We empirically show that SRS and SRSD algorithm keep the stability of solutions rather than other algorithms. It is able to quickly get a good-quality approximate and stabile solution to a large problem.
We show an improvement of our previous work, a formulation of the flexible widget layout (FWL) problem as a fuzzy constraint satisfaction problem (FCSP) and a method for solving it. The automation of widget layout is one of the most important challenges for the generation of graphical user interfaces (GUIs). In the field of model-based user interface design, widget layout is more complicated because a layout system needs to select widgets. FWL is the automatic GUI generation requiring (1) deciding which widgets are used and (2) completing the layout immediately. We formulate the desirability of selection as fuzzy constraints; thus, we can utilize existing techniques of FCSP without extending its framework. We divide the layout process into three phases, and realize the automatic layout in feasible time.
We propose a new service composition method with the analytic hierarchy process and discuss its availability. The concept of context-aware services has been attracting attention as an approach to improving the usability of computer-mediated services. In ubiquitous computing environments, there are several means to provide services for users, and thus, to select an appropriate mean among them is a challenge. Our method for context-aware service composition determines service behaviors by context data. Through the implementation and examination of the method, we have found that the method can output reasonable results.
The topic handled in this thesis relates to the field of human computer interaction, and user interfaces (UIs), which are sometimes called human interfaces. There are many studies about this topic; they are roughly separated into three types: developments of actual UIs such as new devices and new applications, evaluations or developments of evaluation methods for existing or newly introduced UIs, and offers of new kinds of frameworks, architectures, and concepts for UIs, The study mentioned in this thesis mainly belongs to the third type, and its part belongs to the first one. In this chapter, I introduce the terms and their definitions used in the field of HCI, explain the objective of this thesis, and mention the structure of the following chapters of this thesis.
We propose an improvement of our previous work, a formulation of the flexible widget layout (FWL) problem as a fuzzy constraint satisfaction problem (FCSP). Automatic widget layout is an important challenge for the graphical user interfaces (GUIs) generation. In the field of model-based user interface design, the layout is more complicated because to select widgets is needed. FWL is GUI generations with deciding which widgets are used. In this paper, we improve our previous work so that the formulation coincides more strictly with FCSP.