Sciweavers

6952 search results - page 289 / 1391
» The information integrity imperative
Sort
View
ITP
2010
230views Mathematics» more  ITP 2010»
15 years 8 months ago
On the Formalization of the Lebesgue Integration Theory in HOL
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
Tarek Mhamdi, Osman Hasan, Sofiène Tahar
ICMAS
2000
15 years 8 months ago
Adaptive Agent Integration Architectures for Heterogeneous Team Members
Withthe proliferationof software agents and smart hardware devices there is a growing realization that large-scale problems can be addressed by integration of such standalone syst...
SIGMOD
2009
ACM
139views Database» more  SIGMOD 2009»
16 years 7 months ago
Vispedia: on-demand data integration for interactive visualization and exploration
Wikipedia is an example of the large, collaborative, semi-structured data sets emerging on the Web. Typically, before these data sets can be used, they must transformed into struc...
Bryan Chan, Justin Talbot, Leslie Wu, Nathan Sakun...
MEDES
2009
ACM
16 years 1 months ago
Geographic data integration to support web GIS development
Although research in data integration has become one of the main issues in [6], geographic data integration is still a laborious and complicated problem, even for specialists. Geo...
André Rocha Coimbra
IAT
2008
IEEE
16 years 1 months ago
Characterizing the Outcomes of Argumentation-Based Integrative Negotiation
In the negotiation literature we find two relatively distinct types of negotiation. The two types are known as integrative negotiations and distributive negotiations. Integrative...
Yannis Dimopoulos, Pavlos Moraitis, Leila Amgoud