1356 search results - page 88 / 272 » The ideal of verified software |
118
click to vote
CORR
2011
Springer
14 years 3 months ago
2011
Springer
We study a new gigapixel image sensor that is reminiscent of traditional photographic film. Each pixel in the sensor has a binary response, giving only a one-bit quantized measur...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
Wireless Sensor Networks (WSNs) may be deployed in hostile or inaccessible environments and are often unattended. In these conditions securing a WSN against malicious attacks is a...
129
click to vote
CVPR
2012
IEEE
13 years 2 months ago
2012
IEEE
Current object class recognition systems typically target 2D bounding box localization, encouraged by benchmark data sets, such as Pascal VOC. While this seems suitable for the de...
CSSE
2008
IEEE
15 years 6 months ago
2008
IEEE
: Computer simulation on random motion of numerous moving spheres is widely used. This paper presents a collision-event-driven approach that efficiently implements the simulation o...
ICST
2008
IEEE
15 years 6 months ago
2008
IEEE
Software-testing researchers have long sought recipes for test suites that detect faults well. In the literature, empirical studies of testing techniques abound, yet the ideal tec...