Previous teaching models in the learning theory community have been batch models. That is, in these models the teacher has generated a single set of helpful examples to present to the learner. In this paper we present an interactive model in which the learner has the ability to ask queries as in the query learning model of Angluin [1]. We show that this model is at least as powerful as previous...

As modeling and visualization applications proliferate, there arises a need to simplify large polygonal models at interactive rates. We present a simplification algorithm suitable for interactive applications. The algorithm is fast and can guarantee displayable results within a given time limit. Results also have good quality. Inspired by splitting algorithms from vector quantization literature...

When using B or Event-B for formal specifications, model checking is often used to detect errors such as invariant violations, deadlocks or refinement errors. Errors are presented as counter-example states and traces and should help fixing the underlying bugs. We suggest automating parts of this process: Using a synthesis technique, we try to generate more permissive or restrictive guards or in...

We present an interactive technique for the registration of captured images of elastic and rigid body parts in which the user is given flexible control over material specific deformation properties. Our method can effectively handle arbitrary stiffness distributions and it achieves an accurate matching without sacrificing the physical correctness of the simulated deformations. The algorithm con...

The new technologies of computer systems and artificial intelligence enable new directions in art. One new direction is the creation of highly interactive works based on computation. We describe several interactive artworks and show that there are strong similarities that transcend categories such as drama, music, and dance. Examining interactive art as a general approach, we identify one impor...

This paper describes a general architecture for an interactive model-based vision system. A human speciies a limited amount of information which establishes a context for autonomous interpretation of images. Object models are described by constraints specifying necessary geometrical properties and relationships between objects. The use of constraints allows for exible object in-stantiation. A u...

Mass customization has become one of the key strategies for a service provider to differentiate itself from its competitors in a highly segmented global service market. This paper proposes an interactive service customization model to support individual service offering for customers. In this model, not only that the content of an activity is customizable, but the process model can also be cons...

Recently, much attention has been paid to interactive temporal models which let authors deene possible interactions with users and represent dynamic organization of hypermedia documents. The possibility of user interaction makes it very hard for authors to predict the course of presentation and to author a document without an authoring tool. The authoring tool then must be designed with a rich ...

In this research, we address the application of uncertaintyprogramming to design a multi-site, multi-product, multi-period,closed-loop supply chain (CLSC) network. In order to make theresults of this article more realistic, a CLSC for a case study inthe iron and steel industry has been explored. The presentedsupply chain covers three objective functions: maximization ofprofit, minimization of n...