3779 search results - page 321 / 756 » Linear Consistency Testing |
187
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Metabolic pathway is a highly regulated network consisting of many metabolic reactions involving substrates, enzymes, and products, where substrates can be transformed...
178
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper presents VyrdMC, a runtime verification tool we are building for concurrent software components. The correctness criterion checked by VyrdMC is refinement: Each executi...
231
click to vote
AMSTERDAM
2009
15 years 4 months ago
2009
In this paper we present an alternative interpretation of statements of epistemic possibility, which does not induce a consistency test on a common ground, as in (Veltman 1996), bu...
169
click to vote
ICCV
2009
IEEE
16 years 11 months ago
2009
IEEE
Images taken from different views of a planar object are
related by planar homography. Recovering the parameters
of such transformations is a fundamental problem in computer
vis...
156
click to vote
CVPR
2007
IEEE
16 years 8 months ago
2007
IEEE
Weaddress the issue ofEuclideanpath mu& ling ina single camerafor activity monitoring in a multi-camera video surveillance system m e paperpmposes a novel linear solufwnro aut...