Sciweavers

780 search results - page 29 / 156
» Combining a Formal with an Example-driven Approach for Data ...
Sort
View
ISEMANTICS
2010
13 years 7 months ago
Taking the LIDS off data silos
LInked Data Services (LIDS) denote the integration of dataproviding services and Linked Data. LIDS are parameterised and formally described web resources which return RDF when der...
Sebastian Speiser, Andreas Harth
ER
2004
Springer
103views Database» more  ER 2004»
14 years 2 months ago
Querying Heterogeneous Spatial Databases: Combining an Ontology with Similarity Functions
This paper uses a knowledge-based approach to querying heterogeneous spatial databases based on an ontology and conceptual and attribute similarities. The ontology, which may be in...
Mariella Gutiérrez, M. Andrea Rodríg...
BPM
2007
Springer
201views Business» more  BPM 2007»
14 years 3 months ago
Towards Formal Analysis of Artifact-Centric Business Process Models
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
Kamal Bhattacharya, Cagdas Evren Gerede, Richard H...
BIS
2007
147views Business» more  BIS 2007»
13 years 10 months ago
Facilitating Business Interoperability from the Semantic Web
Abstract. Most approaches to B2B interoperability are based on language syntax standardisation, usually by XML Schemas. However, due to XML expressivity limitations, they are diffi...
Roberto García, Rosa Gil
ICRA
2006
IEEE
110views Robotics» more  ICRA 2006»
14 years 3 months ago
Integration of Visual and Inertial Information for Egomotion: a Stochastic Approach
— We present a probabilistic framework for visual correspondence, inertial measurements and Egomotion. First, we describe a simple method based on Gabor filters to produce corre...
Justin Domke, Yiannis Aloimonos