In this paper, we describe a user-oriented reliability model that addresses extensive web content, including many links, and that simultaneously addresses user dynamic navigation behaviour. Computation time is a probl...
详细信息
It is very important in the field of bioinformatics to apply computer to perform the function annotation for new sequenced bio-sequences. Based on GO database and BLAST program, a novel method for the function annotat...
详细信息
It is very important in the field of bioinformatics to apply computer to perform the function annotation for new sequenced bio-sequences. Based on GO database and BLAST program, a novel method for the function annotation of new biological sequences is presented by using the variable-precision rough set theory. The proposed method is applied to the real data in GO database to examine its effectiveness. Numerical results show that the proposed method has better precision, recall-rate and harmonic mean value compared with existing methods.
Simulation is an effective way to evaluate the performance of the business process model and it provides supports to process reengineering. But current business process simulation cannot model the complex factors and ...
详细信息
ISBN:
(纸本)9781424415281;1424415284
Simulation is an effective way to evaluate the performance of the business process model and it provides supports to process reengineering. But current business process simulation cannot model the complex factors and is lack of a distributed and extendable system framework. An integrated business process simulation environment based on workflow and multi-Agent is provided in this paper. In the environment, persons are modeled as agents, which can have individual complex properties and behaviors. At the same time, the enforcement of complex task assignment policies is simulated through a bidding process among agents. The system structure, key technologies together with the implementation are presented in the paper.
Based on Catmull-Clark Subdivision scheme, a valid algorithm of offset approximation for Subdivision Surface is proposed. It can overcome the defect that previous approaches treat offset surface only as parametric sur...
详细信息
Using the concept of duality between points and planes in 3D projective space, an explicit and efficient method of computer-aided design for developable surfaces based on Bezier and B-spline basis functions is propose...
详细信息
Web Intelligence (WI) is a new and active research field in current AI and IT. Intelligent B2C Portals are an important research topic in WI. In this paper, we first investigate and analyze the architecture of a B2C p...
详细信息
With increasingly complexity in MAS, rigorous design practices are needed in case of critical applications. Event B, which provides an accessible and rigorous formal approach to development of such complex system, is ...
详细信息
ISBN:
(纸本)9843233948
With increasingly complexity in MAS, rigorous design practices are needed in case of critical applications. Event B, which provides an accessible and rigorous formal approach to development of such complex system, is ideal for the formal modelling of reactive systems. In this paper we present a part of ongoing work in this area. A practical approach for developing flexible and reliable formal specifications of MAS using Event B is described, exemplified on Contract Net Protocol (CNP) in the interaction of MAS, associating an intelligent shape and style design systems in automobile.
A method of recording the fetal electrocardiogram (ECG) and heart rate (HR) is described. An abdominal lead and a thoracic lead were used to measure the fetal ECG and maternal ECG, respectively. The maternal component...
详细信息
A method of recording the fetal electrocardiogram (ECG) and heart rate (HR) is described. An abdominal lead and a thoracic lead were used to measure the fetal ECG and maternal ECG, respectively. The maternal component in the abdominal lead measurement was estimated by a digital adaptive filter using the thoracic lead measurement as a reference. By suppressing the estimated maternal components in the abdominal lead, the fetal ECG could be detected. The beat-by-beat fetal QRS complex peaks were determined by a digital matched filter from the fetal ECG enhanced in this way. The method was trialed in 10 pregnant Holstein cows at gestational periods ranging from 136 to 224 days. The results show that this method can extract the fetal ECG and determine the fetal HR from the raw noisy measurement data. The results suggest that the method would have applicability in monitoring fetal ECG as well as providing a non-invasive, continuous HR profile during gestation, which will enable better understanding of the development of cattle fetuses before delivery.
Mobile games are one of the primary entertainment applications at present. Limited by scarce resources, such as memory, CPU, input and output, etc, mobile game development is more difficult than desktop application de...
详细信息
This paper is part of an ongoing series of projects in which we are investigating "threshold concepts": concepts that, among other things, transforms the way a student looks as the discipline and are often t...
详细信息
ISBN:
(纸本)9781595938411
This paper is part of an ongoing series of projects in which we are investigating "threshold concepts": concepts that, among other things, transforms the way a student looks as the discipline and are often troublesome to learn. The word "threshold" might imply that students cross the threshold in a single "aha" moment, but often they seem to take longer. Meyer and Land introduce the term "liminal space" for the transitional period between beginning to learn a concept and fully mastering it. Based on in-depth interviews with graduating seniors, we found that the liminal space can provide a useful metaphor for the concept learning process. In addition to observing the standard features of liminal spaces, we have identified some that may be specific to computing, specifically those relating to levels of abstraction. Copyright 2007 ACM.
暂无评论