Sciweavers

4129 search results - page 525 / 826
» Dynamic Contextual Adaptation
Sort
View
ECAI
2004
Springer
15 years 10 months ago
Agreements Without Disagreements
The first part of this paper presents a coalition formation method for multi-agent systems which finds a Pareto optimal solution without aggregating the preferences of the agents. ...
Samir Aknine, Philippe Caillou
ESA
2004
Springer
137views Algorithms» more  ESA 2004»
15 years 10 months ago
Fast 3-Coloring Triangle-Free Planar Graphs
We show the first o(n2 ) algorithm for coloring vertices of trianglefree planar graphs using three colors. The time complexity of the algorithm is O(n log n). Our approach can be ...
Lukasz Kowalik
FSTTCS
2004
Springer
15 years 10 months ago
Who is Pointing When to Whom?
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
Dino Distefano, Joost-Pieter Katoen, Arend Rensink
HICSS
2002
IEEE
110views Biometrics» more  HICSS 2002»
15 years 10 months ago
Supporting Workflow Management Systems with Traceability
Workflow Management Systems need to support organizations adapt their workflows to meet changing environments and business processes. We propose a traceability based knowledge man...
Peng Xu, Balasubramaniam Ramesh
139
Voted
KR
2010
Springer
15 years 10 months ago
A Logical Understanding of Legal Interpretation
If compliance with a norm does not achieve its purpose, then its applicability must dynamically be restricted or expanded. Legal interpretation is a mechanism from law allowing no...
Guido Boella, Guido Governatori, Antonino Rotolo, ...