Under certain well–defined conditions, determining the correctness of a system under test (SUT) is based on a checking sequence generated from a finite state machine (FSM) specification of the SUT. When there is a di...
详细信息
The discovery of the association between terms and a specified topic is a difficult task. A new data mining technique, topic-oriented mining and reasoning, is presented for this task. The technique consists of two thr...
详细信息
The discovery of the association between terms and a specified topic is a difficult task. A new data mining technique, topic-oriented mining and reasoning, is presented for this task. The technique consists of two threads: pattern mining and pattern reasoning. Pattern mining means the automatic discovery of interesting user topic models. A novel topic structure is presented for this thread. Pattern reasoning means the utilization and maintenance of the interesting user topic models to determine if an input data is relevant to the specified topic. The innovation for this thread is the use of meta-knowledge for the discovered knowledge. In this way the system can trace errors to update inadequate subtopics in the user topic model. The experimental results show that all objectives we expect for the topic-oriented model are achievable.
Microarray data from time-series experiments, where gene expression profiles are measured over the course of the experiment, require specialised algorithms. In this paper we introduce new architectures of Bayesian cla...
详细信息
This paper describes a new environment for the pre-operative planning of total hip replacement. The system is based on a multimodal/multisensorial interface, which includes advanced software visualisation and evaluati...
详细信息
This paper describes a new environment for the pre-operative planning of total hip replacement. The system is based on a multimodal/multisensorial interface, which includes advanced software visualisation and evaluation modules for the planning and state-of-the-art technologies for immersive interface (stereoscopic display, different six degrees of freedom tracking technologies, speech recognition, and haptic feedbacks). This paper is focused on the final clinical application description. More specific visualisation-related modules are described in other related papers.
One indication of the maturation of computerscience Education as a research-based discipline is the recent emergence of several large-scale studies spanning multiple institutions. This paper examines a "family&q...
详细信息
ISBN:
(纸本)1595930434
One indication of the maturation of computerscience Education as a research-based discipline is the recent emergence of several large-scale studies spanning multiple institutions. This paper examines a "family" of these multi-institutional, multi-national studies, detailing core elements and points of difference in both study design and the organization of the research team, and highlighting the costs and benefits associated with the different approaches. Copyright 2005 ACM.
There are many ways of structuring software, and the seminar focussed on an established one (object-orientation) and two emerging ones (agent-orientation and feature-orientation).
ISBN:
(纸本)3540219897
There are many ways of structuring software, and the seminar focussed on an established one (object-orientation) and two emerging ones (agent-orientation and feature-orientation).
Let T be a text of length n and P be a pattern of length m, both strings over a fixed finite alphabet A. The k-difference (k-mismatch, respectively) problem is to find all occurrences of P in T that have edit distance...
详细信息
This paper is a contribution towards the body of literature which views negotiation in a qualitative light. It builds on an existing logical framework for negotiation between rational, cooperative, truthful agents pro...
暂无评论