Sciweavers

2647 search results - page 199 / 530
» Solving Term Inequalities
Sort
View
UAI
2008
15 years 8 months ago
Improving the Accuracy and Efficiency of MAP Inference for Markov Logic
In this work we present Cutting Plane Inference (CPI), a Maximum A Posteriori (MAP) inference method for Statistical Relational Learning. Framed in terms of Markov Logic and inspi...
Sebastian Riedel
CLIMA
2004
15 years 8 months ago
Contextual Taxonomies
Abstract. We provide a formal characterization of a notion of contextual taxonomy, that is to say, a taxonomy holding only with respect to a specific context. To this aim, a new pr...
Davide Grossi, Frank Dignum, John-Jules Ch. Meyer
CSREASAM
2006
15 years 8 months ago
On Achieving Trustworthy SOA-Based Web Services
This work is inspired by the intend to construct SOABased E-Government. We first emphasize the importance of taking measures for solving security problems facing Web Services, we ...
Jianwu Zheng, Mingsheng Liu, Hui Liu
MSV
2004
15 years 8 months ago
Accurate Modeling and Simulation of Heart Tissue with GDEVS/Cell-DEVS
- We present a model describing the electrical behavior of the heart tissue. Previous research in this field have studied this problem using PDEs (Partial Differential Equations) a...
Gabriel A. Wainer, Norbert Giambiasi
FLAIRS
2003
15 years 8 months ago
Efficient Retrieval for Case-Based Reasoning
In this work two indexing approaches are presented for case-based reasoning. The first is a hybrid technique which uses a combination of a matrix structure and a tree structure to...
David W. Patterson, Niall Rooney, Mykola Galushka