We formalize paper fold (origami) by graph rewriting. Origami construction is abstractly described by a rewrite system (O,R), where O is the set of abstract origami's and is a binary relation on O, called fold. An...
详细信息
We formalize paper fold (origami) by graph rewriting. Origami construction is abstractly described by a rewrite system (O,R), where O is the set of abstract origami's and is a binary relation on O, called fold. An abstract origami is a triplet (Π,∼), where Π is a set of faces constituting an origami, and ∼ and are binary relations on Π, each representing adjacency and superposition relations of the faces. Origami construction is modeled as a rewrite sequence of abstract origami's. We then address the problems of representation and transformation of abstract origami's and of reasoning about the construction for computational purposes. We present a hypergraph of origami and define origami fold as algebraic graph transformation. The algebraic graph theoretic formalism enables us to reason origami in two separate domains of discourse, i.e. pure combinatoric domain and geometric domain R × R, and thus helps us to further tackle challenging problems in origami research.
Within the scope of information retrieval, efficient similarity search in large document or multimedia collections is a critical task. In this paper, we present a rigorous comparison of three different approaches to t...
详细信息
Requirements changes sometimes cause a project to fail. A lot of projects now follow incremental development processes so that new requirements and requirements changes can be incorporated as soon as possible. These p...
详细信息
This paper presents a web-application supporting structured decision modelling and analysis. The application allows for decision modelling with respect to different preferences and views, allowing for numerically impr...
详细信息
In this work a decision support tool for optimal administration of Levodopa (L-Dopa) in patients with Parkinson's Disease (PD) is presented. The so called Medication Change Proposer (MCP) is part of the PERFORM sy...
详细信息
Literature suggests that requirements defects are a very costly problem to fix. Understanding how requirements changes influence the overall quality of software is important. Having some defect predictors at the requi...
详细信息
This project was initiated to develop a method for managing requirements elicitation processes (i.e. planning, carrying out, observing, and replanning the process). Requirements are elicited step by step during requir...
详细信息
ISBN:
(纸本)9789955258445
This project was initiated to develop a method for managing requirements elicitation processes (i.e. planning, carrying out, observing, and replanning the process). Requirements are elicited step by step during requirements engineering (RE) process. However, we sometimes have difficulty in maintaining project's schedule, because some types of requirements are not fully elicited even when the scheduled requirements process is finished. If we forecast difficulties of the requirements elicitation of these types of requirements, we can alter the design of the system based on the difficulties of the requirements elicitation. We have developed the PRINCE model in order to emphasize the requirements elicitation process and/or plan the requirements process. We analyzed factors that affect the completion period of requirements elicitation. This paper presents a guide for observing requirements maturation with the PRINCE model. The decision tree derived by WEKA, a data mining system, is also presented for inferring requirements maturation types. We evaluate the tree by real projects and discuss its effectiveness and problems for our future work.
The International Workshop on the Web and Requirements engineering (WeRE) was held in conjunction with the 18 th International IEEE Requirements engineering Conference (RE'10) in Sydney (Australia) on September 2...
The International Workshop on the Web and Requirements engineering (WeRE) was held in conjunction with the 18 th International IEEE Requirements engineering Conference (RE'10) in Sydney (Australia) on September 28 2010. WeRE intends to be an international forum for exchanging ideas on both using Web technologies as a platform in the requirements engineering field, and applying requirements engineering in the development and use of websites. Papers focused on new domains and new experiences with the connection between requirements engineering and the Web were presented in WeRE.
Although LFSR reseeding based on test cubes for modeled faults is an efficient test compression approach, it suffers from the drawback of limited, and often unpredictable, coverage of unmodeled defects. We present a n...
详细信息
Although LFSR reseeding based on test cubes for modeled faults is an efficient test compression approach, it suffers from the drawback of limited, and often unpredictable, coverage of unmodeled defects. We present a new defect coverage-driven window-based LFSR reseeding technique, which offers both high test quality and high compression. The efficiency of the proposed encoding technique in detecting defects is boosted by an efficient "output deviations" metric for grading the calculated LFSR seeds. We show that, compared to standard compression-driven LFSR reseeding, higher defect coverage is obtained without any loss of compression.
暂无评论