Sciweavers

1757 search results - page 89 / 352
» Integrating and Extending JCSP
Sort
View
TKDE
2012
253views Formal Methods» more  TKDE 2012»
13 years 7 days ago
Adding Temporal Constraints to XML Schema
—If past versions of XML documents are retained, what of the various integrity constraints defined in XML Schema on those documents? This paper describes how to interpret such c...
Faiz Currim, Sabah Currim, Curtis E. Dyreson, Rich...
ICML
2009
IEEE
15 years 4 months ago
Split variational inference
We propose a deterministic method to evaluate the integral of a positive function based on soft-binning functions that smoothly cut the integral into smaller integrals that are ea...
Guillaume Bouchard, Onno Zoeter
ICDM
2005
IEEE
146views Data Mining» more  ICDM 2005»
15 years 3 months ago
Merging Interface Schemas on the Deep Web via Clustering Aggregation
We consider the problem of integrating a large number of interface schemas over the Deep Web, The scale of the problem and the diversity of the sources present serious challenges ...
Wensheng Wu, AnHai Doan, Clement T. Yu
LPNMR
2005
Springer
15 years 3 months ago
An ID-Logic Formalization of the Composition of Autonomous Databases
We introduce a declarative approach for a coherent composition of autonomous databases. For this we use ID-logic, a formalism that extends classical logic with inductive definitio...
Bert Van Nuffelen, Ofer Arieli, Alvaro Corté...
CGF
2008
114views more  CGF 2008»
14 years 10 months ago
Real-time Shading with Filtered Importance Sampling
We propose an analysis of numerical integration based on sampling theory, whereby the integration error caused by aliasing is suppressed by pre-filtering. We derive a pre-filter f...
Jaroslav Krivánek, Mark Colbert