algorithms are designed to take advantage of incremental changes to a formal model to improve the efficiency of the reachable state space generation. This report presents incremental changes that are considered appropriate for Coloured Petri Nets and then presents and discusses some algorithms

We study the problem of classifying data in a given taxonomy when classifications associated with multiple and/or partial paths are allowed. We introduce a new algorithm that incrementally learns a linear-threshold classifier for each node of the taxonomy. A hierarchical classification is obtained

Incremental computations can improve the performance of interactive programs such as spreadsheet programs, program development environments, text editors, etc. Incremental algorithms describe how to compute a required value depending on the input, after the input has been edited. By considering

ABSTRACT. In this short note we give incremental algorithms for the following lattice problems: finding a basis of a lattice, computing the successive minima, and determining the orthogonal decomposition. We prove an upper bound for the number of update steps for every insertion order

whenever the network topology changes (by even a single node) is unacceptable. In this situation, incremental algo-rithms are needed. Such algorithms accommodate topolog-ical changes by adapting the existing schedule, rather than rebuilding the schedule from scratch. The twin objectives of incremental

subsumes the problem of finding optimal hyperpaths in directed hypergraphs (under varying optimization criteria) that has received attention recently. In this paper we present an incremental algorithm for a version of the grammar problem. As a special case of this algorithm we obtain an efficient

incremental algorithms

functions, without having to perform inference over the full solution-space. We describe incremental, approximate algorithms for the prime implicant and DNNF compilation languages, and provide empirical evidence that these algorithms enable space reductions of several orders-of-magnitude over the full com

This work presents an algorithm that given a generalized planar graph obtains its constrained Delaunay triangulation (CDT). The proposed method, which follows the general approach of [3], works incrementally based on two improved procedures.

to the distribution over the unobserved variables. From this perspective, it is easy to justify an incremental variant of the EM algorithm in which the distribution for only one of the unobserved variables is recalculated in each E step. This variant is shown empirically to give faster convergence in a mixture