9931 search results - page 52 / 1987 » Generative Modeling by PRISM |
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— This paper studies the dissipativity properties of full order dynamic models of synchronous generators. It is shown that, under widely accepted assumptions, these models satisf...
ITP
2010
13 years 11 months ago
2010
Nitpick is a counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model finder. Nitpick supports unbounded quantification, (co)ind...
EMNLP
2007
13 years 9 months ago
2007
We use a generative history-based model to predict the most likely derivation of a dependency parse. Our probabilistic model is based on Incremental Sigmoid Belief Networks, a rec...
NAACL
2003
13 years 9 months ago
2003
In this paper, we introduce a generative probabilistic optical character recognition (OCR) model that describes an end-to-end process in the noisy channel framework, progressing f...
AUTOMATICA
2008
13 years 6 months ago
2008
This paper presents a generation expansion model for the power sector which incorporates several features that make it very interesting for its application to current electricity m...