1382 search results - page 239 / 277 » Term ordering problem on MDG |
ICST
2011
IEEE
13 years 2 months ago
2011
IEEE
—Static analysis tools have been widely used to detect potential defects without executing programs. It helps programmers raise the awareness about subtle correctness issues in t...
TPHOL
1997
IEEE
14 years 3 months ago
1997
IEEE
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
CVPR
2009
IEEE
15 years 3 months ago
2009
IEEE
Central to many problems in scene understanding based on using a network of tens, hundreds or even thousands of randomly distributed cameras with on-board processing and wireless c...
CVPR
2001
IEEE
15 years 1 months ago
2001
IEEE
A bugbear of uncalibrated stereo reconstruction is that cameras which deviate from the pinhole model have to be pre-calibrated in order to correct for nonlinear lens distortion. I...
CVPR
2007
IEEE
15 years 1 months ago
2007
IEEE
The problem of using pictures of objects captured under ideal imaging conditions (here referred to as in vitro) to recognize objects in natural environments (in situ) is an emergi...