Sciweavers

3595 search results - page 272 / 719
» Roles of Program Extension
Sort
View
WSC
2000
15 years 8 months ago
Emerging issues in healthcare simulation
Despite the size and importance of the health care industry, simulation is less prevalent in health care than in other fields such as manufacturing, logistics, and military applic...
Susan M. Sanchez, David M. Ferrin, Tom Ogazon, Jos...
BIB
2007
139views more  BIB 2007»
15 years 6 months ago
Petri net modelling of biological networks
Mathematical modelling is increasingly used to get insights into the functioning of complex biological networks. In this context, Petri nets (PNs) have recently emerged as a promi...
Claudine Chaouiya
CORR
2010
Springer
166views Education» more  CORR 2010»
15 years 6 months ago
The dynamics of message passing on dense graphs, with applications to compressed sensing
`Approximate message passing' algorithms proved to be extremely effective in reconstructing sparse signals from a small number of incoherent linear measurements. Extensive num...
Mohsen Bayati, Andrea Montanari
CSL
2008
Springer
15 years 6 months ago
User simulation in a stochastic dialog system
We present a new methodology of user simulation applied to the evaluation and refinement of stochastic dialog systems. Common weaknesses of these systems are the scarceness of the...
Francisco Torres, Emilio Sanchis, Encarna Segarra
ENTCS
2008
128views more  ENTCS 2008»
15 years 6 months ago
Towards Formalizing Categorical Models of Type Theory in Type Theory
This note is about work in progress on the topic of "internal type theory" where we investigate the internal formalization of the categorical metatheory of constructive ...
Alexandre Buisse, Peter Dybjer