Sciweavers

6906 search results - page 372 / 1382
» An algorithm for modelling key terms
Sort
View
SIAMSC
2008
97views more  SIAMSC 2008»
15 years 6 months ago
Long-Time Simulations on High Resolution Meshes to Model Calcium Waves in a Heart Cell
Abstract. A model for the flow of calcium in an atrial heart cell is given by a system of timedependent reaction-diffusion equations coupled by non-linear reaction terms. Calcium i...
Matthias K. Gobbert
CAISE
2005
Springer
16 years 8 days ago
A Meta Model for Process Mining Data
Abstract. Modern process-aware information systems store detailed information about processes as they are being executed. This kind of information can be used for very different p...
Boudewijn F. van Dongen, Wil M. P. van der Aalst
SIGMETRICS
2010
ACM
212views Hardware» more  SIGMETRICS 2010»
15 years 11 months ago
A mean field model of work stealing in large-scale systems
In this paper, we consider a generic model of computational grids, seen as several clusters of homogeneous processors. In such systems, a key issue when designing efficient job al...
Nicolas Gast, Bruno Gaujal
FMSB
2008
129views Formal Methods» more  FMSB 2008»
15 years 8 months ago
Rule-Based Modelling, Symmetries, Refinements
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
Vincent Danos, Jérôme Feret, Walter F...
SIGMOD
2009
ACM
134views Database» more  SIGMOD 2009»
16 years 7 months ago
Keyword query cleaning using hidden Markov models
In this paper, we consider the problem of keyword query cleaning for structured databases from a probabilistic approach. Keyword query cleaning consists of rewriting the user quer...
Ken Q. Pu