Sciweavers

5284 search results - page 828 / 1057
» Ontologizing Semantic Relations
Sort
View
GG
2008
Springer
15 years 7 months ago
Graph Transformation for Topology Modelling
In this paper we present meta-rules to express an infinite class of semantically related graph transformation rules in the context of pure topological modelling with G-maps. Our p...
Mathieu Poudret, Agnès Arnould, Jean-Paul C...
HRI
2010
ACM
15 years 6 months ago
Towards robust human robot collaboration in industrial environments
In this paper a system, which is driven through natural language, that allows operators to select and manipulate objects in the environment using an industrial robot is proposed. I...
Batu Akan, Baran Çürüklü, Gi...
CORR
2010
Springer
153views Education» more  CORR 2010»
15 years 6 months ago
Characterising Probabilistic Processes Logically
Abstract. In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the...
Yuxin Deng, Rob J. van Glabbeek
CORR
2010
Springer
132views Education» more  CORR 2010»
15 years 6 months ago
Functorial Data Migration
In this paper we present a simple database definition language: that of categories and functors. A database schema is a category and a state is a set-valued functor. We show that m...
David I. Spivak
ENTCS
2006
133views more  ENTCS 2006»
15 years 6 months ago
A Data Model for Data Integration
Data integration systems provide a uniform query interface (UQI) to multiple, autonomous data sources [4]. This paper presents the universal data model (UDM) that captures the sem...
James J. Lu