Configuration is a complex task generally involving varying measures of constraint satisfaction, optimization, and the management of soft constraints. Although many successful systems have been developed, these are often difficult to maintain and to generalize in rapidly changing domains. In this paper we consider building intelligent knowledge based systems with maintainability well to the for...

Purpose: The aim of this study was to compare the effectiveness of family therapy program based on attachment and emotion on anxiety disorder and behavior of gifted adolescents. Methodology: The research method was quasi-experimental with pretest-posttest design with two experimental groups. From the statistical population of students studying in gifted schools in Tehran, 40 people were random...

Run-time checks are often assumed to be a cost-effective way of improving the dependability of software components, by checking required properties of their outputs and flagging an output as incorrect if it fails the check. Run-time checks’ main point of attractiveness is that they are supposed to be easy to implement. Also, they are implicitly assumed to be effective in detecting incorrect out...

In this paper I simulate neighborhood level political migration dynamics following a change in neighborhood racial composition using SimPolSeg, an original agent-based modeling software program. SimPolSeg simulates agent behavior according to the Migration-Polarization (MP) theory of partisan sorting (Anastasopoulos 2014a). Dynamic simulations using SimPolSeg demonstrate how non-white migration...

We introduce a simulation optimization approach that is effective in guiding the search for optimal values of input parameters to a simulation model. Our proposed approach, which includes enhanced data mining methodology and state-of-the-art optimization technology, is applicable to settings in which a large amount of data must be analyzed in order to discover relevant relationships. Our approa...

Hardware and software co-design is a design technique which delivers computer systems comprising hardware and software components. A critical phase of codesign process is to decompose a program into hardware and software. This paper proposes an algebraic partitioning method whose correctness is verified in the algebra of programs. We introduce the program analysis phase before program partition...

In this paper, we present a CBR approach for implementing an agent playing the well-known Angry Birds game. We adopt a preference-based procedure for constructing the case base, collecting experience from a random agent that continually explores the problemsolution space and improves the quality of already found solutions. As the retrieve phase involves finding a game scene similar to a given o...

Case-based problem solving refers to reasoning about new problems by reusing past cases. Visual case-based problem solving pertains to reuse of past cases that contain only visual knowledge. In this paper, we explore the problem of automated adaptation of diagrammatic cases, i.e., automatic transfer of diagrammatic knowledge from a source case to a target problem. We describe Galatea, a compute...

Miminizing errors of the physical parameters of interest should be the ultimate goal of any event selection optimization in high energy physics data analysis involving parameter determination. Quick and reliable error estimation is a crucial ingredient for realizing this goal. In this paper we derive a formalism for direct evaluation of measurement errors using the signal probability density fu...

Dynamic pricing has been used extensively in specific markets for many years but recent years has seen an interest in the utilization of this approach for the deployment of novel and attractive tariff structures for mobile communication services. This paper describes the development and operation of an Agent Based Model (ABM) for subscriber behavior in a dynamically priced mobile telephony netw...