37482043
An experimental graphics system with natural language input
Abstract An experimental graphics system is described which allows interaction through natural language and touches on the screen. Artificial Intelligence techniques for processing language and representing knowledge are investigated as adequate tools with which to construct a habitable graphics system. The system is evaluated and conclusions presented.
14384022
Designing semantics-preserving cluster representatives for scientific input conditions
In scientific domains, knowledge is often discovered from experiments by grouping or clustering them based on the similarity of their output. The causes of similarity are analyzed based on the input conditions characterizing a given type of output, i.e., a given cluster. This analysis helps in applications such as decision support in industry. Cluster representatives form at-a-glance depictions for such applications. Randomly selecting a set of conditions in a cluster as its representative is not sufficient since distinct combinations of inputs could lead to the same cluster. In this paper, an approach called DesCond is proposed to design semantics-preserving cluster representatives for scientific input conditions. We define a notion of distance for conditions to capture semantics based on the types of their attributes and their relative importance. Using this distance, methods of building candidate cluster representatives with different levels of detail are proposed. Candidates are compared using the DesCond Encoding proposed in this paper that assesses their complexity and information loss, given user interests. The candidate with the lowest encoding for each cluster is returned as its designed representative. DesCond is evaluated with real data from Materials Science. Evaluation with domain expert interviews and formal user surveys shows that designed representatives consistently outperform randomly selected ones and different candidates suit different users.
195710721
Special Issue: Machine Learning in Design
This issue of AIEDAM is based on a workshop on Machine Learning in Design held at the 1996 Conference on Artificial Intelligence in Design, AID'96 (Gero & Sudweeks, 1996), the third of such workshops, with the previous two being held at AID'92 (Gero, 1992) and at AID'94 (Gero & Sudweeks, 1994). The first two workshops also resulted in special issues of AIEDAM (Maher et al., 1994; Duffy et al., 1996).
13541175
Evaluating Network Serviceability
Abstract The capability to manage network operations on a day-to-day basis has become an important area of concern given the rapid expansion of computer networks. A related, but much less studied area, is the impact that the design of a network has on the ease with which it can be serviced. Evaluating the ease of servicing the network and its components does not concentrate on day-to-day operations of the network, but rather examines the network design over a longer term to identify problematic components, configurations and dependencies between components based on expert knowledge and historical data. This paper reports on our experience with a system to evaluate the ease of servicing a network—its serviceability—given a description of its design. The motivation for the work is that computer networks are more often “grown” than “designed” without concern for serviceability issues. The work also examines the impact of dependencies between components on the role of service and the potential disruption costs caused by these dependencies. This work is important because it is pro-active in explicitly considering the role of servicing a network when changing the components or configuration of a network. This approach is in contrast to network management, which is reactive in dealing with problems. The paper reports on a successful implementation of such as system and our experiences with it.
6315058
Knowledge and Control for a Mechanical Design Expert System
A new variety of Oriental hybrid lily plant bearing large upright-facing flowers particularly characterized by their clear pink coloration with deeper midribs, their large size and substance, and their upright to semi-upright orientation, the flowers being of excellent form and long persistence both on the plant and as cut flowers. This combination is completely new in the Oriental hybrid divisions of lilies suited to forcing and to mass commercial cultivation. The plant is an excellent garden plant, highly resistant to disease and shows tolerance of virus; the bulbs may be precooled and forced for cut flower production and the clone is vigorous, a good grower and a good propagator.
7484630
A Graduate Level Expert Systems Course
This article presents an approach to a graduate-level course in expert, knowledge-based, problem-solving systems. The core of the course, and this article, is a set of questions called a profile, that can be used to characterize and compare each system studied.
33488472
Expert System Assisted Test Data Generation for Software Branch Coverage
Abstract With the increased production of complex software systems, verification and validation (V & V) has evolved into a set of activities that span the entire software life cycle. Among these various activities, software testing plays a major role in V&V. Conventional software testing methods generally require considerable manual effort which can generate only a limited number of test cases before the amount of time expended becomes unacceptably large. In this paper, we present a new approach to generating test cases based on artificial intelligence methods. By analyzing the branch coverage of previous test cases, an expert system is able to generate new test cases which provide additional coverage. Heuristic rules are used to modify previous test cases in order to achieve the desired branch coverage. This approach to software testing has the potential for greatly reducing the overall costs associated with branch coverage testing.
317687
A Cost Model for Determining the Optimal Number of Software Test Cases
A probabilistic model is presented that demonstrates the optimal number of software test cases required in situations where the following can be estimated as independent parameters: (1) the cost per test; (2) the cost per error if undetected until field implementation; (3) the number of software executions over its lifetime; (4) the number of possible different executions; and (5) the number of faults embedded in the software. A formula is derived by the use of calculus and is solved by approximation techniques. Tables of the optimal number of tests over a range of parameter values are presented to illustrate the results. The model serves as a basis for further research efforts to improve the accuracy of input variable estimation. >
15121856
Agent-based and analytical modeling to evaluate the effectiveness of greenbelts
We present several models of residential development at the rural–urban fringe to evaluate the effectiveness of a greenbelt located beside a developed area, for delaying development outside the greenbelt. First, we develop a mathematical model, under two assumptions about the distributions of service centers, that represents the trade-off between greenbelt placement and width, their effects on the rate of development beyond the greenbelt, and how these interact with spatial patterns of aesthetic quality and the locations of services. Next, we present three agent-based models (ABMs) that include agents with the potential for heterogeneous preferences and a landscape with the potential for heterogeneous attributes. Results from experiments run with a one-dimensional ABM agree with the starkest of the results from the mathematical model, strengthening the support for both models. Further, we present two different two-dimensional ABMs and conduct a series of experiments to supplement our mathematical analysis. These include examining the effects of heterogeneous agent preferences, multiple landscape patterns, incomplete or imperfect information available to agents, and a positive aesthetic quality impact of the greenbelt on neighboring locations. These results suggest how width and location of the greenbelt could help determine the effectiveness of greenbelts for slowing sprawl, but that these relationships are sensitive to the patterns of landscape aesthetic quality and assumptions about service center locations. # 2004 Elsevier Ltd. All rights reserved.
18888101
Validation of Elliptic Curve Public Keys
We present practical and realistic attacks on some standardized elliptic curve key establishment and public-key encryption protocols that are effective if the receiver of an elliptic curve point does not check that the point lies on the appropriate elliptic curve. The attacks combine ideas from the small subgroup attack of Lim and Lee, and the differential fault attack of Biehl, Meyer and Muller. Although the ideas behind the attacks are quite elementary, and there are simple countermeasures known, the attacks can have drastic consequences if these countermeasures are not taken by implementors of the protocols. We illustrate the effectiveness of such attacks on a key agreement protocol recently proposed for the IEEE 802.15 Wireless Personal Area Network (WPAN) standard.
12974717
A System for Learning Routes and Schedules with Genetic Algorithms