Sciweavers

9931 search results - page 76 / 1987
» Generative Modeling by PRISM
Sort
View
AAAI
1998
13 years 11 months ago
Bayesian Network Models for Generation of Crisis Management Training Scenarios
We present a noisy-OR Bayesian network model for simulation-based training, and an efficient search-based algorithm for automatic synthesis of plausible training scenarios from co...
Eugene Grois, William H. Hsu, Mikhail Voloshin, Da...
IJWET
2006
163views more  IJWET 2006»
13 years 9 months ago
A CASE tool for modelling and automatically generating web service-enabled applications
: This paper presents a CASE tool for the high-level specification of web applications integrated with web services. The CASE tool is based on WebML, a conceptual modelling languag...
Marco Brambilla, Stefano Ceri, Sara Comai, Piero F...
CCE
2004
13 years 9 months ago
Mathematical modelling and design of an advanced once-through heat recovery steam generator
The once-through heat recovery steam generator (HRSG) design is ideally matched to very high temperature and pressure, well into the supercritical range. Moreover this type of boi...
Marie-Noëlle Dumont, Georges Heyen
CODES
2010
IEEE
13 years 7 months ago
Accurate online power estimation and automatic battery behavior based power model generation for smartphones
This paper describes PowerBooter, an automated power model construction technique that uses built-in battery voltage sensors and knowledge of battery discharge behavior to monitor...
Lide Zhang, Birjodh Tiwana, Zhiyun Qian, Zhaoguang...
MEMOCODE
2003
IEEE
14 years 2 months ago
LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect
In the design process of SoC (System on Chip), validation is one of the most critical and costly activity. The main problem for industrial companies like STMicroelectronics, stand...
Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, ...