Sciweavers

1078 search results - page 49 / 216
» Local and Global Relational Consistency
Sort
View
DEXAW
2006
IEEE
104views Database» more  DEXAW 2006»
15 years 1 months ago
On Using Simplification and Correction Tables for Integrity Maintenance in Integrated Databases
When a database is defined as views over autonomous sources, inconsistencies with respect to global integrity constraints are to be expected. This paper investigates the possibili...
Henning Christiansen, Davide Martinenghi
TIME
2005
IEEE
15 years 3 months ago
A Local Method for Prioritized Fusion of Temporal Information
Information often comes from different sources and merging these sources usually leads to the apparition of inconsistencies. Fusion is the operation which consists in restoring th...
Mahat Khelfallah, Belaid Benhamou
IADIS
2003
14 years 11 months ago
Connecting the Real and the Virtual World: How to Measure Digital Cities Impact
The paper introduces the concept of digital city and discusses how to assess a particular project, concerning its success in connecting the real city with its virtual counterpart....
Luis Borges Gouveia
POPL
2012
ACM
13 years 5 months ago
The marriage of bisimulations and Kripke logical relations
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
Chung-Kil Hur, Derek Dreyer, Georg Neis, Viktor Va...
IJCNN
2007
IEEE
15 years 4 months ago
A Hybrid HMM/ANN Based Approach for Online Signature Verification
: This paper presents a new approach based on HMM/ANN hybrid for online signature verification. A group of ANNs are used as local probability estimators for an HMM. The Viterbi alg...
Zhong-Hua Quan, De-Shuang Huang, Kun-hong Liu, Kwo...