2242 search results - page 123 / 449 » From testing to anti-product development |
162
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
We develop a new passive image formation method capable of exploiting information about multiple scattering in the environment using measurements from a sparse array of receivers ...
176
click to vote
ACL2
2006
ACM
16 years 9 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
118
click to vote
PASTE
2004
ACM
15 years 11 months ago
2004
ACM
Many software testing and automated debugging tools rely on structural coverage techniques. Such tools implicitly assume a relation between individual control-flow choices made i...
181
click to vote
SIGMOD
2000
ACM
15 years 10 months ago
2000
ACM
Testing an SQL database system by running large sets of deterministic or stochastic SQL statements is common practice in commercial database development. However, code defects oft...
161
click to vote
ECCV
2006
Springer
16 years 8 months ago
2006
Springer
Detecting humans in films and videos is a challenging problem owing to the motion of the subjects, the camera and the background and to variations in pose, appearance, clothing, il...