1981 search results - page 314 / 397 » Model-Checking Hierarchical Structures |
SIAMSC
2008
13 years 8 months ago
2008
Model order reduction (MOR) is common in simulation, control and optimization of complex dynamical systems arising in modeling of physical processes and in the spatial discretizati...
BMCBI
2004
13 years 8 months ago
2004
Background: The increasing complexity of genomic data presents several challenges for biologists. Limited computer monitor views of data complexity and the dynamic nature of data ...
PVLDB
2010
13 years 7 months ago
2010
Probabilistic databases hold promise of being a viable means for large-scale uncertainty management, increasingly needed in a number of real world applications domains. However, q...
ICPADS
2010
IEEE
13 years 6 months ago
2010
IEEE
The MapReduce programming model simplifies large-scale data processing on commodity clusters by having users specify a map function that processes input key/value pairs to generate...
ICCV
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper we present a new method for categorizing
video sequences capturing different scene classes. This can
be seen as a generalization of previous work on scene classific...