Sciweavers

1943 search results - page 201 / 389
» Ordering Default Theories
Sort
View
SEMWEB
2007
Springer
16 years 1 months ago
RDFSync: Efficient Remote Synchronization of RDF Models
In this paper we describe RDFSync, a methodology for efficient synchronization and merging of RDF models. RDFSync is based on decomposing a model into Minimum Self-Contained graphs...
Giovanni Tummarello, Christian Morbidoni, Reto Bac...
VMCAI
2007
Springer
16 years 1 months ago
Shape Analysis of Single-Parent Heaps
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
ICIP
2006
IEEE
16 years 1 months ago
Extracting Static Hand Gestures in Dynamic Context
Cued Speech is a specific visual coding that complements oral language lip-reading, by adding static hand gestures (a static gesture can be presented on a single photograph as it ...
Thomas Burger, Alexandre Benoit, Alice Caplier
SAC
2006
ACM
16 years 1 months ago
A branch and prune algorithm for the approximation of non-linear AE-solution sets
Non-linear AE-solution sets are a special case of parametric systems of equations where universally quantified parameters appear first. They allow to model many practical situat...
Alexandre Goldsztejn
HICSS
2005
IEEE
243views Biometrics» more  HICSS 2005»
16 years 23 days ago
Definition of an Object-Oriented Modeling Language for Enterprise Architecture
In enterprise architecture, the goal is to integrate business resources and IT resources in order to improve an enterprise’s competitiveness. In an enterprise architecture proje...
Lam-Son Lê, Alain Wegmann