this paper describes a number of hyperresolution-based decision procedures for a subfragment of the guarded fragment. We first present a polynomial space decision procedure of optimal worst-case space and time complex...
详细信息
Benders Decomposition is a form of hybridisation that allows linear programming to be combined with other kinds of algorithms. It extracts new constraints for one subproblem from the dual values of the other subproble...
详细信息
this paper describes a filtering algorithm for a type of constraint that often arises in rostering problems but that also has wider application. Defined on a sequence of variables, the stretch constraint restricts the...
详细信息
We describe a successful implementation of a theorem prover for modal logic S4 that runs on a Java smart card with only 512 KBytes of RAM and 32KBytes of EEPROM. Since proof search in S4 can lead to infinite branches,...
详细信息
there are many problems withthe simplification of elementary functions, particularly over the complex plane. Systems tend to make major errors, or not to simplify enough. In this paper we outline the "unwinding ...
详细信息
In interactive graphical applications we often require that objects do not overlap. Such non-overlap constraints can be modelled as disjunctions of arithmetic inequalities. Unfortunately, disjunctions are typically no...
详细信息
For signature verification, there can be a large number of features available in a signature and not all these features are of use as some even could be unfavorable for verification of particular signatures. Also, the...
详细信息
Boiler-houses technical operation involves labor-intensive processes. Indispensable condition of boiler-houses operation is the automation of primary and support equipment. At present the automation level of technolog...
详细信息
ISBN:
(纸本)0780363469
Boiler-houses technical operation involves labor-intensive processes. Indispensable condition of boiler-houses operation is the automation of primary and support equipment. At present the automation level of technological installations is of rather low level. In the given paper the automated control system of boiler-house on the basis of DE-2514GM withthe usage of programmable logical controller SLC 5/04 is presented.
there are various formalizations of soft constraints in the literature; so far, we have analyzed the semiring-based approach of [BMR97], the fuzzy ones in [Rut94] and the Max-CSP’s from [FW92]. If we abstrac...
ISBN:
(纸本)3540428631
there are various formalizations of soft constraints in the literature; so far, we have analyzed the semiring-based approach of [BMR97], the fuzzy ones in [Rut94] and the Max-CSP̵7;s from [FW92]. If we abstract the common features from those frameworks, we can define soft constraints and frameworks via a restricted collection: a finite set of variables, a finite variable domain, a universal algebra. the latest is composed by a set, called universe, and functions to combine universe elements. A universe collects the values (for instance, only 0 and 1 in the hard constraint case) that a constraint can assign to variable domain elements. An algebra function combines universe elements; hence an algebra function can be used to derive constraints from input ones, as it can be applied to the universe values in the input constraints̵7; range. We can generalize all the soft constraint operations of [BMR97],[Rut94],[FW92] via universal algebra functions; and we can construct all solution sets of [BMR97],Rut94] by means of such operations. So, bingo!, all aformentioned soft frameworks are instances of ours: i.e., constraints, constraint operations and solution sets of those frameworks are instances of ours.
We handle finite graphs in two ways, as relational structures on the one hand, and as algebraic objects, i.e., as elements of algebras, based on graph operations on the other.
ISBN:
(纸本)3540412859
We handle finite graphs in two ways, as relational structures on the one hand, and as algebraic objects, i.e., as elements of algebras, based on graph operations on the other.
暂无评论