Modern reinforcement learning (RL) systems have demonstrated remarkable capabilities in complex environments, such as video games. However, they still fall short of achieving human-like sample efficiency and adaptabil...
详细信息
In a survey, a lot of questions and answers are listed and participators will select one of the answers for each question. Sometimes, participators may not be willing to select the preferred one item in the answers be...
详细信息
The trend towards systems that support a rich variety of interaction techniques has consequences for the traditional understanding of software design practice. Formal approaches to software development have mainly foc...
详细信息
The trend towards systems that support a rich variety of interaction techniques has consequences for the traditional understanding of software design practice. Formal approaches to software development have mainly focused on design expressions that avoid explicit discussion of interactive behaviour. The emphasis in rigorous development is on transforming a mathematical specification into an implementation through a series of valid refinement steps. However, any design process for interactive systems must also add user oriented requirements. It is suggested that a suitable concern for human factors can be folded into a rigorous development process by generalising from functional models and refinement to models that provide multiple viewpoints onto the design artefacts. The paper provides an overview of the relevant perspectives and describes work aimed at integrating them within the specification phase of software development.
interaction objects (interactors) are abstract structures that provide a link between rigorous approaches to software development and user-oriented aspects of interaction. The focus of the paper is on the second role ...
详细信息
interaction objects (interactors) are abstract structures that provide a link between rigorous approaches to software development and user-oriented aspects of interaction. The focus of the paper is on the second role of interactors;in particular, how a formal model of interaction can be used to classify and clarify various properties of interactive behaviour that are important from a user-oriented viewpoint, The formal model used in this discussion abstracts away from distinctions between states, events, and renderings;when needed, these concepts are introduced as various projections on the basic model.
This paper presents a CAD-based approach for automated surface defect detection. We leverage the a-priori knowledge embedded in a CAD model and integrate it with point cloud data acquired from commercially available s...
详细信息
This paper presents a CAD-based approach for automated surface defect detection. We leverage the a-priori knowledge embedded in a CAD model and integrate it with point cloud data acquired from commercially available s...
详细信息
Neuronal reconstruction–a process that transforms image volumes into 3D geometries and skeletons of cells–bottlenecks the study of brain function, connectomics and pathology. Domain scientists need exact a...
详细信息
暂无评论