Sciweavers

813 search results - page 90 / 163
» Languages for Relational Databases over Interpreted Structur...
Sort
View
114
Voted
BTW
2003
Springer
92views Database» more  BTW 2003»
15 years 8 months ago
A Logical, Transparent Model for Querying Linked XML Documents
Abstract:The W3C XML Linking Language (XLink) provides a powerful means for interlinking XML documents all over the world. While the effects when browsing through linked XML docume...
Wolfgang May, Dimitrio Malheiro
116
Voted
ICDM
2006
IEEE
133views Data Mining» more  ICDM 2006»
15 years 9 months ago
An Experimental Investigation of Graph Kernels on a Collaborative Recommendation Task
This work presents a systematic comparison between seven kernels (or similarity matrices) on a graph, namely the exponential diffusion kernel, the Laplacian diffusion kernel, the ...
François Fouss, Luh Yen, Alain Pirotte, Mar...
122
Voted
SIAMCOMP
2010
96views more  SIAMCOMP 2010»
14 years 10 months ago
Quantified Equality Constraints
An equality template (also equality constraint language) is a relational structure with infinite universe whose relations can be defined by boolean combinations of equalities. We ...
Manuel Bodirsky, Hubie Chen
AAAI
1997
15 years 4 months ago
Effective Bayesian Inference for Stochastic Programs
In this paper, we propose a stochastic version of a general purpose functional programming language as a method of modeling stochastic processes. The language contains random choi...
Daphne Koller, David A. McAllester, Avi Pfeffer
112
Voted
ICALP
2004
Springer
15 years 9 months ago
Model Checking with Multi-valued Logics
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
Glenn Bruns, Patrice Godefroid