1722 search results - page 286 / 345 » Generating Tests from Counterexamples |
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract— Scene recognition is a highly valuable perceptual ability for an indoor mobile robot, however, current approaches for scene recognition present a significant drop in p...
ISCI
2010
13 years 6 months ago
2010
We present a framework for modeling the spread of pathogens throughout a population and generating policies that minimize the impact of those pathogens on the population. This fra...
MFCS
2010
Springer
13 years 6 months ago
2010
Springer
We introduce Transformation Games (TGs), a form of coalitional game in which players are endowed with sets of initial resources, and have capabilities allowing them to derive certa...
BMVC
2010
13 years 5 months ago
2010
We propose a novel directed graphical model for label propagation in lengthy and complex video sequences. Given hand-labelled start and end frames of a video sequence, a variation...
ICIP
2010
IEEE
13 years 5 months ago
2010
IEEE
Many well-known existing image matching methods are based on local texture analysis, and consequently have difficulty handling low-textured 3D objects, such as those man-made buil...