1469 search results - page 106 / 294 » Structural aspects of tilings |
KI
2009
Springer
15 years 3 months ago
2009
Springer
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...
TOOLS
1999
IEEE
15 years 3 months ago
1999
IEEE
Changes in the real world may require both the database population and the database schema to evolve. Particularly, this is the case in CAD/CAM and CASE database systems, in which...
IFM
1999
Springer
15 years 3 months ago
1999
Springer
Abstract. We report on the notation and tool integration framework developed in the application-oriented research project Espress. The framework is based on a Z core and provides m...
CAISE
2006
Springer
15 years 3 months ago
2006
Springer
This paper outlines an aspect-oriented approach to support separation and modularization of crosscutting concerns in multi-agent systems. Aspects as abstractions to capture social ...
DEXA
1995
Springer
15 years 2 months ago
1995
Springer
- In this paper we present CICERO, a system for the assisted planning of personalized itineraries to visit the Ducal Palace in Urbino, Italy. The graphic interface gives users a st...