Sciweavers

390 search results - page 14 / 78
» State of the art in testing components
Sort
View
FM
2005
Springer
156views Formal Methods» more  FM 2005»
14 years 1 months ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...
CVPR
2008
IEEE
14 years 9 months ago
Lost in quantization: Improving particular object retrieval in large scale image databases
The state of the art in visual object retrieval from large databases is achieved by systems that are inspired by text retrieval. A key component of these approaches is that local ...
James Philbin, Ondrej Chum, Michael Isard, Josef S...
WSC
2004
13 years 9 months ago
Better Selection of the Best
We present a new method of selecting the best of several competing system designs on the basis of expected steadystate performance. The method uses a new form of timeseries bootst...
Huaiyu Harry Ma, Thomas R. Willemain
IGPL
2000
152views more  IGPL 2000»
13 years 7 months ago
An Analysis of Empirical Testing for Modal Decision Procedures
Recent years have seen the emergence of a new generation of heavily-optimised modal decision procedures. Several systems based on such procedures are now available and have proved...
Ian Horrocks, Peter F. Patel-Schneider, Roberto Se...
FGR
2008
IEEE
299views Biometrics» more  FGR 2008»
14 years 2 months ago
Face recognition with occlusions in the training and testing sets
Partial occlusions in face images pose a great problem for most face recognition algorithms. Several solutions to this problem have been proposed over the years – ranging from d...
Hongjun Jia, Aleix M. Martínez