Sciweavers

3970 search results - page 660 / 794
» A Logic For Causal Reasoning
Sort
View
ILP
2007
Springer
15 years 10 months ago
Mode-Directed Inverse Entailment for Full Clausal Theories
Mode declarations are a successful form of language bias in explanatory ILP. But, while they are heavily used in Horn systems, they have yet to be similarly exploited in more expre...
Oliver Ray, Katsumi Inoue
ILP
2007
Springer
15 years 10 months ago
Combining Clauses with Various Precisions and Recalls to Produce Accurate Probabilistic Estimates
Statistical Relational Learning (SRL) combines the benefits of probabilistic machine learning approaches with complex, structured domains from Inductive Logic Programming (ILP). W...
Mark Goadrich, Jude W. Shavlik
MDM
2007
Springer
111views Communications» more  MDM 2007»
15 years 10 months ago
Situation Inference for Mobile Users: A Rule Based Approach
Mobile phones are being increasingly equipped with sensors that ease retrieval of context information about a user. Context data can be aggregated with information centrally avail...
Laurent-Walter Goix, Massimo Valla, Laura Cerami, ...
RR
2007
Springer
15 years 10 months ago
Web Services Discovery and Constraints Composition
The most promising feature of the Web services platform is its ability to form new (composite) services by combining the capabilities of already existing (component) services. The ...
Debmalya Biswas
TGC
2007
Springer
15 years 10 months ago
Type-Safe Distributed Programming with ML5
Abstract We present ML5, a high level programming language for spatially distributed computing. The language, a variant of ML, allows an entire distributed application to be develo...
Tom Murphy VII, Karl Crary, Robert Harper