9405 search results - page 1121 / 1881 » Computing a Model of Set Theory |
198
click to vote
CONCUR
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We propose a model of distributed timed systems where each component is a timed automaton with a set of local clocks that evolve at a rate independent of the clocks of th...
214
click to vote
DCOSS
2008
Springer
15 years 9 months ago
2008
Springer
When a sensor network is deployed in the field it is typically required to support multiple simultaneous missions, which may start and finish at different times. Schemes that match...
222
click to vote
NAR
2008
15 years 7 months ago
2008
CMGSDB (Database for Computational Modeling of Gene Silencing) is an integration of heterogeneous data sources about Caenorhabditis elegans with capabilities for compositional dat...
365
click to vote
WACV
2012
IEEE
14 years 3 months ago
2012
IEEE
We combine and extend the previous work on DCT-based image signatures and face detection to determine the visual saliency. To this end, we transfer the scalar definition of image...
248
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: We consider the problem of parameter estimation (model calibration) in nonlinear dynamic models of biological systems. Due to the frequent ill-conditioning and multi-m...