76 search results - page 12 / 16 » Partial Evaluation of PEPA Models for Fluid-Flow Analysis |
BMCBI
2010
13 years 7 months ago
2010
Background: There is a vast need to find clinically applicable protein biomarkers as support in cancer diagnosis and tumour classification. In proteomics research, a number of met...
ECCV
2008
Springer
14 years 9 months ago
2008
Springer
Traditionally, facial expression recognition (FER) issues have been studied mostly based on modalities of 2D images, 2D videos, and 3D static models. In this paper, we propose a sp...
ICIP
2003
IEEE
14 years 25 days ago
2003
IEEE
We present a novel solution to the inter-camera color calibration problem, which is very important for multi-camera systems. We propose a distance metric and a model function to e...
IFM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
SDM
2010
SIAM
13 years 9 months ago
2010
SIAM
Given a collection of Boolean spatio-temporal(ST) event types, the cascading spatio-temporal pattern (CSTP) discovery process finds partially ordered subsets of event-types whose ...