Sciweavers

1836 search results - page 148 / 368
» Hierarchies for semantic classes
Sort
View
CSL
2010
Springer
14 years 11 months ago
Degrees of Security: Protocol Guarantees in the Face of Compromising Adversaries
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
David A. Basin, Cas J. F. Cremers
IJCSA
2008
126views more  IJCSA 2008»
14 years 10 months ago
The GOQL Language and its Formal Specifications
The Graphical Object Query Language (GOQL) is a graphical query language that complies with the ODMG standard and runs on top of the o2 DBMS. The language provides users with the ...
Euclid Keramopoulos, Philippos Pouyioutas, Tasos P...
IV
2006
IEEE
130views Visualization» more  IV 2006»
15 years 4 months ago
Ontology Driven Visualisation of Maps with SVG - An Example for Semantic Programming
This article describes a particular use of ontologies for visualising maps in a browser window. Geographic data are represented as instances of concepts in an ontology of transpor...
Frank Ipfelkofer, Bernhard Lorenz, Hans Jürge...
CIVR
2005
Springer
144views Image Analysis» more  CIVR 2005»
15 years 3 months ago
A Weakly Supervised Approach for Semantic Image Indexing and Retrieval
This paper presents a new approach for building semantic image indexing and retrieval systems. Our approach is composed of four phases : (1) knowledge acquisition, (2) weakly-super...
Nicolas Maillot, Monique Thonnat
OTM
2005
Springer
15 years 3 months ago
Inferring Complex Semantic Mappings Between Relational Tables and Ontologies from Simple Correspondences
There are many problems requiring a semantic account of a database schema. At its best, such an account consists of mapping formulas between the schema and a formal conceptual mode...
Yuan An, Alexander Borgida, John Mylopoulos