2834 search results - page 222 / 567 » Representing Trees with Constraints |
91
Voted
ECAIW
2000
Springer
15 years 5 months ago
2000
Springer
In this paper we present a tabu approach for a version of the Sports League Scheduling Problem. The approach adopted is based on a formulation of the problem as a Constraint Satisf...
93
Voted
IFIP
2000
Springer
15 years 4 months ago
2000
Springer
Virtual enterprises have great difficulty in defining and adapting their business processes across the members of the virtual enterprise. We introduce an approach that allows (semi...
110
Voted
AAAI
1990
15 years 1 months ago
1990
This paper presents an algebra for conflict resolution in nonlinear planning. A set of conflicts in a plan is considered as a constraint network. Each node in the network represen...
92
Voted
JLP
2010
14 years 11 months ago
2010
Abstract. ComputationalsystemsareoftenrepresentedbymeansofKripkestructures, and related using simulations. We propose rewriting logic as a flexible and executable framework in whi...
97
Voted
TAICPART
2010
IEEE
14 years 11 months ago
2010
IEEE
We introduce a new Syntax-based Security Testing (SST) framework that uses a protocol specification to perform security testing on text-based communication protocols. A protocol sp...