1219 search results - page 177 / 244 » Verification of Equivalent-Results Methods |
TACAS
2010
Springer
13 years 7 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
BMCBI
2008
13 years 10 months ago
2008
Background: Exonic splicing enhancers (ESEs) activate nearby splice sites and promote the inclusion (vs. exclusion) of exons in which they reside, while being a binding site for S...
CVPR
2006
IEEE
15 years 10 hour ago
2006
IEEE
Many tracking methods face a fundamental dilemma in practice: tracking has to be computationally efficient but verifying if or not the tracker is following the true target tends t...
ICPR
2002
IEEE
14 years 11 months ago
2002
IEEE
In this paper, we propose a Bayesian approach to video object segmentation. Our method consists of two stages. In the first stage, we partition the video data into a set of 3D wate...
WWW
2004
ACM
14 years 10 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...