Perfect pre-deployment test coverage is notoriously difficult to achieve for large applications. Given enough end users, however, many more test cases will be encountered during a...
Eric Bodden, Laurie J. Hendren, Patrick Lam, Ondre...
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Future microprocessors need low-cost solutions for reliable operation in the presence of failure-prone devices. A promising approach is to detect hardware faults by deploying low-...
Siva Kumar Sastry Hari, Sarita V. Adve, Helia Naei...
State of the art methods for image and object re-
trieval exploit both appearance (via visual words) and
local geometry (spatial extent, relative pose). In large
scale problems,...
Michal Perdoch (Czech Technical University), Ondre...
We present a simple framework to model contextual
relationships between visual concepts. The new framework
combines ideas from previous object-centric methods
(which model conte...
Nikhil Rasiwasia (University Of California, San Di...