Sciweavers

4564 search results - page 260 / 913
» Data Integration Using ID-Logic
Sort
View
PTS
2010
175views Hardware» more  PTS 2010»
15 years 3 months ago
Test Data Generation for Programs with Quantified First-Order Logic Specifications
We present a novel algorithm for test data generation that is based on techniques used in formal software verification. Prominent examples of such formal techniques are symbolic ex...
Christoph Gladisch
ICDE
2008
IEEE
133views Database» more  ICDE 2008»
16 years 6 months ago
XQSE: An XQuery Scripting Extension for the AquaLogic Data Services Platform
The AquaLogic Data Services Platform (ALDSP) is a BEA middleware platform for creating services that access and manipulate information drawn from multiple heterogeneous sources of ...
Vinayak R. Borkar, Michael J. Carey, Daniel Engova...
ICIP
2009
IEEE
16 years 6 months ago
Studying The Added Value Of Visual Attention In Objective Image Quality Metrics Based On Eye Movement Data
Current research on image quality assessment tends to include visual attention in objective metrics to further enhance their performance. A variety of computational models of visu...
BIRTHDAY
2009
Springer
15 years 12 months ago
Data Modeling in Dataspace Support Platforms
Data integration has been an important area of research for several years. However, such systems suffer from one of the main drawbacks of database systems: the need to invest signi...
Anish Das Sarma, Xin Luna Dong, Alon Y. Halevy
DASFAA
2006
IEEE
109views Database» more  DASFAA 2006»
15 years 11 months ago
Assessing the Completeness of Sensor Data
In this paper we present a quality model highlighting the completeness of sensor data with respect to its application. The model allows consistent handling of information loss as d...
Jit Biswas, Felix Naumann, Qiang Qiu