Sciweavers

845 search results - page 51 / 169
» Parallel Exact Inference
Sort
View
WWW
2005
ACM
14 years 10 months ago
Automated semantic web services orchestration via concept covering
We exploit the recently proposed Concept Abduction inference service in Description Logics to solve Concept Covering problems. We propose a framework and polynomial greedy algorit...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....
ICRA
2006
IEEE
83views Robotics» more  ICRA 2006»
14 years 3 months ago
On the Treatment of Relative-pose Measurements for Mobile Robot Localization
— In this paper, we study the problem of localization using relative-state estimates. It is shown, that when the same exteroceptive sensor measurement is processed for the comput...
Anastasios I. Mourikis, Stergios I. Roumeliotis
DAGSTUHL
1996
13 years 11 months ago
Multi-Level Lambda-Calculi: An Algebraic Description
Abstract. Two-level -calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose di...
Flemming Nielson, Hanne Riis Nielson
IJPRAI
2000
83views more  IJPRAI 2000»
13 years 9 months ago
Practical Issues in Modeling Large Diagnostic Systems with Multiply Sectioned Bayesian Networks
As Bayesian networks become widely accepted as a normative formalism for diagnosis based on probabilistic knowledge, they are applied to increasingly larger problem domains. These...
Yanping Xiang, Kristian G. Olesen, Finn Verner Jen...
CVPR
2011
IEEE
13 years 5 months ago
Truncated Message Passing
Training of conditional random fields often takes the form of a double-loop procedure with message-passing inference in the inner loop. This can be very expensive, as the need to...
Justin Domke