Sciweavers

1778 search results - page 169 / 356
» The Theory of Probabilistic Databases
Sort
View
ESOP
2011
Springer
14 years 10 months ago
Measure Transformer Semantics for Bayesian Machine Learning
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
Johannes Borgström, Andrew D. Gordon, Michael...
CIKM
2011
Springer
14 years 6 months ago
Hybrid models for future event prediction
We present a hybrid method to turn off-the-shelf information retrieval (IR) systems into future event predictors. Given a query, a time series model is trained on the publication...
Giuseppe Amodeo, Roi Blanco, Ulf Brefeld
ICRA
2005
IEEE
109views Robotics» more  ICRA 2005»
15 years 12 months ago
Towards an Estimate of Confidence in a Road-Matched Location
- This paper describes a method that provides an estimated location of an outdoor vehicle relative to a digital road map using Belief Theory and Kalman filtering. Firstly, an Exten...
Maan E. El Najjar, Philippe Bonnifait
ER
2004
Springer
139views Database» more  ER 2004»
15 years 11 months ago
A Sociological Framework for Multi-agent Systems Validation and Verification
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full kno...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
EUROMICRO
1996
IEEE
15 years 10 months ago
A Graph Rewriting Approach for Transformational Design of Digital Systems
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
Corrie Huijs