3921 search results - page 693 / 785 » Transforming Models with ATL |
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
In this paper we investigate two related aspects of the formalization of open interaction systems: how to specify norms, and how to enforce them by means of sanctions. The problem...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
In this paper we study tools for conviviality to develop user-friendly multiagent systems. First, we show how to use the social-cognitive concept of conviviality in multiagent sys...
ACMACE
2005
ACM
13 years 11 months ago
2005
ACM
We introduce how to involve the heat sensation in image creation by using thermal vision. We develop ”ThermoTablet” which can detect touch regions of physical input objects on...
CP
2008
Springer
13 years 11 months ago
2008
Springer
When implementing a propagator for a constraint, one must decide about variants: When implementing min, should one also implement max? Should one implement linear equations both wi...
CSR
2008
Springer
13 years 11 months ago
2008
Springer
A function f of a graph is called a complete graph invariant if two given graphs G and H are isomorphic exactly when f(G) = f(H). If additionally, f(G) is a graph isomorphic to G, ...