819 search results - page 125 / 164 » Using Assumptions to Distribute CTL Model Checking |
152
Voted
BMCBI
2007
15 years 2 months ago
2007
Background: The identification of transcription factors (TFs) associated with a biological process is fundamental to understanding its regulatory mechanisms. From microarray data,...
128
click to vote
CIARP
2003
Springer
15 years 7 months ago
2003
Springer
The precise knowledge of the statistical properties of synthetic aperture radar (SAR) data plays a central role in image processing and understanding. These properties can be used ...
126
click to vote
CVPR
2004
IEEE
16 years 4 months ago
2004
IEEE
In this paper we perform 3D face tracking on corrupted video sequences. We use a deformable model, combined with a predictive filter, to recover both the rigid transformations and...
159
Voted
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
148
Voted
FORMATS
2007
Springer
15 years 6 months ago
2007
Springer
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...