Sciweavers

1548 search results - page 101 / 310
» Semantics and Extensions of WS-Agreement
Sort
View
IJCAI
2007
13 years 11 months ago
ProbLog: A Probabilistic Prolog and Its Application in Link Discovery
We introduce ProbLog, a probabilistic extension of Prolog. A ProbLog program defines a distribution over logic programs by specifying for each clause the probability that it belo...
Luc De Raedt, Angelika Kimmig, Hannu Toivonen
CLA
2006
13 years 11 months ago
Graded LinClosure and Its Role in Relational Data Analysis
We present graded extension of the algorithm LinClosure. Graded LinClosure can be used to compute degrees of semantic entailment from sets of fuzzy attribute implications. It can a...
Radim Belohlávek, Vilém Vychodil
CORR
2010
Springer
138views Education» more  CORR 2010»
13 years 10 months ago
A Logical Temporal Relational Data Model
Time is one of the most difficult aspects to handle in real world applications such as database systems. Relational database management systems proposed by Codd offer very little ...
Nadeem Mahmood, Aqil Burney, Kamran Ahsan
CROSSROADS
2006
139views more  CROSSROADS 2006»
13 years 10 months ago
C-Transformers: a framework to write C program transformations
Program transformation techniques have reached a maturity level that allows processing high-level language sources in new ways. Not only do they revolutionize the implementation o...
Alexandre Borghi, Valentin David, Akim Demaille
DL
1999
Springer
166views Digital Library» more  DL 1999»
14 years 2 months ago
Semantic Indexing for a Complete Subject Discipline
As part of the Illinois Digital Library Initiative (DLI) project we developed “scalable semantics” technologies. These statistical techniques enabled us to index large collect...
Yi-Ming Chung, Qin He, Kevin Powell, Bruce R. Scha...