Sciweavers

10615 search results - page 149 / 2123
» Dynamic topic models
Sort
View
COMPSAC
2002
IEEE
15 years 8 months ago
A Toolset for Supporting UML Static and Dynamic Model Checking
The Unified Modeling Language has become widely accepted as a standard in software development. Several tools have been produced to support UML model validation. However, most of...
Wuwei Shen, Kevin J. Compton, James Huggins
WSC
2008
15 years 5 months ago
System dynamics: What's in it for healthcare simulation modelers
In the past decade there has been an explosion in the use of system dynamics modeling in healthcare. Despite this, the approach is still far less well known than discreteevent sim...
Sally C. Brailsford
ICTAI
2005
IEEE
15 years 8 months ago
Good Learning and Implicit Model Enumeration
A large number of practical applications rely on effective algorithms for propositional model enumeration and counting. Examples include knowledge compilation, model checking and ...
António Morgado, João P. Marques Sil...
CGA
1999
15 years 2 months ago
Dynamics Modeling and Culling
emsintovirtualenvironments,whileabstracting the modeling process as much as possible. To achieve efficiency,weconcentrateoncullingdynamicalsystems: if the system is not in view, we...
Stephen Chenney, Jeffrey Ichnowski, David A. Forsy...
IJON
2010
138views more  IJON 2010»
15 years 1 months ago
A dynamic Bayesian network to represent discrete duration models
Originally devoted to specific applications such as biology, medicine and demography, duration models are now widely used in economy, finance or reliability. Recent works in var...
Roland Donat, Philippe Leray, Laurent Bouillaut, P...