Sciweavers

1469 search results - page 106 / 294
» Structural aspects of tilings
Sort
View
KI
2009
Springer
15 years 11 months ago
Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles
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...
Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robe...
TOOLS
1999
IEEE
15 years 10 months ago
A Survey of Schema Evolution in Object-Oriented Databases
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...
Xue Li
IFM
1999
Springer
101views Formal Methods» more  IFM 1999»
15 years 10 months ago
A Modular Framework for the Integration of Heterogeneous Notations and Tools
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...
Robert Büssow, Wolfgang Grieskamp
CAISE
2006
Springer
15 years 10 months ago
Separation and Modularization of Crosscutting Social Patterns in Detailed Architectural Design
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 ...
Carla T. L. L. Silva, Jaelson Brelaz de Castro, Jo...
DEXA
1995
Springer
92views Database» more  DEXA 1995»
15 years 9 months ago
CICERO: An Assistant for Planning Visits to a Museum
- 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...
Dario Maio, Stefano Rizzi