217 search results - page 2 / 44 » Conflict analysis |
FORMATS
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integra...
FIW
2007
13 years 9 months ago
2007
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
IM
1997
13 years 9 months ago
1997
Policies are a means of influencing management behaviour within a distributed system, without coding the behaviour into the managers. Authorisation policies specify what activitie...
FLAIRS
2004
13 years 9 months ago
2004
We apply reasoning about mental attributes to process the scenarios of multiagent conflicts. Our approach is illustrated by the domain of complaint analysis: rather advanced metho...
FOCI
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract-- The dual notions of discernibility and indiscernibility play an important role in intelligent data analysis. While discernibility focuses on the differences, the indisce...