1750 search results - page 84 / 350 » Formal multiple-bernoulli models for language modeling |
186
click to vote
JMLR
2012
13 years 7 months ago
2012
We present an algorithm for fast posterior inference in penalized high-dimensional state-space models, suitable in the case where a few measurements are taken in each time step. W...
140
click to vote
ISOLA
2010
Springer
15 years 3 months ago
2010
Springer
Dynamic system adaptation is modeled in the coordination language Paradigm as coordination of collaborating components. A special component McPal allows for addition of new behavio...
135
Voted
UML
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...
160
click to vote
ER
1993
Springer
15 years 8 months ago
1993
Springer
Two major problems in schema integration are to identify correspondences between different conceptual schemas and to verify that the proposed correspondences are consistent with th...
153
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...