In this paper we present a technique to generate animated 3D models from a limited set of images. We adopt a model-based approach to shape recovery to obtain a specific model parameterisation for animation. A generic animatable 3D mesh model is first manually posed to match the pose in the images. Shape information from multiple 2D image silhouettes is integrated by reconstructing the occupied ...

This paper adopts the idea of using knowledge gained by various validation sessions over time with a validation technology developed previously. The work is designed to reduce the human involvement needed to apply this technology. It introduces the reuse of test cases with the ”best solution”, discovered in previous validation sessions. This reduces the number of test cases to be solved and rat...

The testing of a state-based system may involve the application of a number of adaptive test cases. Where the implementation under test (IUT) is deterministic, the response of the IUT to some adaptive test case γ1 could be capable of determining the response of the IUT to another adaptive test case γ2. Thus, the expected cost of applying a set of adaptive test cases depends upon the order in wh...

An application of a method of test case generation for scientific computational software is presented. NEWTRNX, neutron transport software being developed at Oak Ridge National Laboratory, is treated as a case study. A model of dependencies between input parameters of NEWTRNX is created. Results of NEWTRNX model analysis and test case generation are evaluated.

This paper introduces the Trust Obstacle Mitigation Model (TOMM), which uses the concept of trust assumptions to derive security obstacles, and the concept of misuse cases to model obstacles. The TOMM allows a development team to anticipate malicious behaviour with respect to the operational database application and to document a priori how this malicious behaviour should be mitigated.

We improve the efficiency of Sampath’s diagnoser approach by exploiting compact symbolic representations of the system and diagnoser in terms of BDDs. We show promising results on test cases derived from a telecommunication application.

Every nation wants to achieve Universal Access of telecommunication services due to its importance to the economy and national life. Unfortunately in sub-Saharan Africa, telecommunication services are either scarce or non-existent in rural areas. However, previous telecommunication policies have enabled the provision of various network technologies in Africa. What type of policy is needed to pu...

Article history: Received 12 January 2010 Received in revised form 10 August 2010 Accepted 11 August 2010 Available online xxxx

We introduce the notion of positive local combinatorial dividing-lines in model theory. We show these are equivalently characterized by indecomposable algebraically trivial Fraïssé classes and by complete prime lter classes. We exhibit the relationship between this and collapse-ofindiscernibles dividing-lines. We examine several test cases, including those arising from various classes of hyperg...