Sciweavers

11484 search results - page 471 / 2297
» Modeling in the Large and Modeling in the Small
Sort
View
EMNLP
2008
15 years 8 months ago
Sampling Alignment Structure under a Bayesian Translation Model
We describe the first tractable Gibbs sampling procedure for estimating phrase pair frequencies under a probabilistic model of phrase alignment. We propose and evaluate two nonpar...
John DeNero, Alexandre Bouchard-Côté,...
DAGSTUHL
2003
15 years 8 months ago
A data model for adaptive multi-resolution scientific data
Abstract Representing data using multiresolution is a valuable tool for the interactive exploration of very large datasets. Current multiresolution tools are written specifically ...
Philip J. Rhodes, R. Daniel Bergeron, Ted M. Sparr
MASCOTS
2004
15 years 8 months ago
Dual-Processor Parallelisation of Symbolic Probabilistic Model Checking
In this paper, we describe the dual-processor parallelisation of a symbolic (BDD-based) implementation of probabilistic model checking. We use multi-terminal BDDs, which allow a c...
Marta Z. Kwiatkowska, David Parker, Yi Zhang, Rash...
PARMA
2004
162views Database» more  PARMA 2004»
15 years 8 months ago
UML-based Conceptual Modeling of Pattern-Bases
The concept of pattern, meant as an interesting knowledge artifact extracted from data, is considered to be a an effective answer to the advanced analysis requirements emerging in ...
Stefano Rizzi
AAAI
2000
15 years 8 months ago
Using Auxiliary Variables and Implied Constraints to Model Non-Binary Problems
We perform an extensive theoretical and empirical analysis of the use of auxiliary variables and implied constraints in modelling a class of non-binary constraint satisfaction pro...
Barbara M. Smith, Kostas Stergiou, Toby Walsh