Sciweavers

1573 search results - page 126 / 315
» Signs and Formal Concepts
Sort
View
SEMWEB
2007
Springer
15 years 8 months ago
OntoDNA: Ontology Alignment Results for OAEI 2007
OntoDNA is an automated ontology mapping and merging system that utilizes unsupervised data mining methods, comprising of Formal Concept analysis (FCA), Self-Organizing map (SOM) a...
Ching-Chieh Kiu, Chien-Sing Lee
SPIESR
2004
171views Database» more  SPIESR 2004»
15 years 3 months ago
Interactive segmentation with hidden object-based annotations: toward smart media
In this paper a novel "Smart Media" concept for semantic-based multimedia security and management is proposed. This concept is based on interactive object segmentation (...
Yuriy Rytsar, Sviatoslav Voloshynovskiy, Fré...
ECAI
2010
Springer
15 years 3 months ago
Linear Logic for Non-Linear Storytelling
Whilst narrative representations have played a prominent role in AI research, there has been a renewed interest in the topic with the development of interactive narratives. A typic...
Anne-Gwenn Bosser, Marc Cavazza, Ronan Champagnat
CORR
2008
Springer
118views Education» more  CORR 2008»
15 years 2 months ago
An Activity-Based Model for Separation of Duty
This paper offers several contributions for separation of duty (SoD) administration in role-based access control (RBAC) systems. We first introduce a new formal framework, based o...
Alessandro Colantonio, Roberto Di Pietro, Alberto ...
OOPSLA
2007
Springer
15 years 8 months ago
A rewriting approach to the design and evolution of object-oriented languages
Abstract. Object-oriented language concepts have been highly successful, resulting in a large number of object-oriented languages and language extensions. Unfortunately, formal met...
Mark Hills, Grigore Rosu