Sciweavers

1471 search results - page 182 / 295
» Church: a language for generative models
Sort
View
ICCS
2007
Springer
16 years 14 days ago
Multilingual Interfaces for Parallel Coupling in Multiphysics and Multiscale Systems
Abstract. Multiphysics and multiscale simulation systems are emerging as a new grand challenge in computational science, largely because of increased computing power provided by th...
Everest T. Ong, Jay Walter Larson, Boyana Norris, ...
LREC
2010
148views Education» more  LREC 2010»
15 years 7 months ago
POS Multi-tagging Based on Combined Models
In the POS tagging task, there are two kinds of statistical models: one is generative model, such as the HMM, the others are discriminative models, such as the Maximum Entropy Mod...
Yan Zhao, Gertjan van Noord
MODELS
2007
Springer
16 years 14 days ago
Model Driven Development of Complex User Interface
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...
Xudong Lu, Jiancheng Wan
IDEAL
2005
Springer
15 years 12 months ago
Patterns in Complex Systems Modeling
The design, development, and use of complex systems models raises a unique class of challenges and potential pitfalls, many of which are commonly recurring problems. Over time, res...
Janet Wiles, James Watson
FORTE
2008
15 years 7 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...