Sciweavers

7690 search results - page 191 / 1538
» On the semantics of informational independence
Sort
View
IDEAS
1999
IEEE
131views Database» more  IDEAS 1999»
15 years 10 months ago
ISIS: A Semantic Mediation Model and an Agent Based Architecture for GIS Interoperability
The diversity of spatial information systems promotes the need to integrate heterogeneous spatial or geographic information systems (GIS) in a cooperative environment. This paper ...
Eric Leclercq, Djamal Benslimane, Kokou Yét...
SEMWEB
2005
Springer
15 years 12 months ago
The Fuzzy Description Logic f-SHIN
Abstract. In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a hig...
Giorgos Stoilos, Giorgos B. Stamou, Vassilis Tzouv...
POPL
2006
ACM
16 years 6 months ago
On flow-sensitive security types
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
Sebastian Hunt, David Sands
COOPIS
2002
IEEE
15 years 11 months ago
Formal Ontology Engineering in the DOGMA Approach
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
Mustafa Jarrar, Robert Meersman
MM
2006
ACM
134views Multimedia» more  MM 2006»
16 years 13 days ago
The mediamill large.lexicon concept suggestion engine
In this technical demonstration we show the current version of the MediaMill system, a search engine that facilitates access to news video archives at a semantic level. The core o...
Marcel Worring, Cees G. M. Snoek, Bouke Huurnink, ...