Sciweavers

745 search results - page 78 / 149
» Towards a Formal Approach for Object Database Design
Sort
View
PODS
2008
ACM
158views Database» more  PODS 2008»
15 years 10 months ago
Local Hoare reasoning about DOM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
Philippa Gardner, Gareth Smith, Mark J. Wheelhouse...
ICCV
2007
IEEE
15 years 12 months ago
Enabling Users to Guide the Design of Robust Model Fitting Algorithms
Model-based image interpretation extracts high-level information from images using a priori knowledge about the object of interest. The computational challenge in model fitting is...
Matthias Wimmer, Freek Stulp, Bernd Radig
ICPR
2008
IEEE
15 years 11 months ago
A contrario matching of SIFT-like descriptors
In this paper, the matching of SIFT-like features [5] between images is studied. The goal is to decide which matches between descriptors of two datasets should be selected. This m...
Julie Delon, Julien Rabin, Yann Gousseau
DEXAW
1998
IEEE
109views Database» more  DEXAW 1998»
15 years 2 months ago
Expressing Dynamics of Mobile Agent Systems Using Ambient Calculus
The mobile agent approach has become popular due to recent developments in the mobile code paradigm and enabling programming technologies. Many existing agentbased systems lack cl...
Peter Stañski, Arkady B. Zaslavsky
DEXA
2009
Springer
124views Database» more  DEXA 2009»
15 years 4 months ago
VisiNav: Visual Web Data Search and Navigation
Semantic Web technologies facilitate data integration over a large number of sources with decentralised and loose coordination, ideally leading to interlinked datasets which descri...
Andreas Harth