1272 search results - page 145 / 255 » Optimizing layered middleware |
SPIN
2010
Springer
13 years 8 months ago
2010
Springer
SpinJa is a model checker for promela, implemented in Java. SpinJa is designed to behave similarly to Spin, but to be more easily extendible and reusable. Despite the fact that Spi...
ICIP
2010
IEEE
13 years 8 months ago
2010
IEEE
The 2.1D sketch is a layered representation of occluding and occluded surfaces of the scene. Extracting the 2.1D sketch from a single image is a difficult and important problem ar...
ICCV
2011
IEEE
12 years 10 months ago
2011
IEEE
Clothing is one of the most informative cues of human appearance. In this paper, we propose a novel multi-person clothing segmentation algorithm for highly occluded images. The ke...
CVPR
2003
IEEE
15 years 3 days ago
2003
IEEE
In this paper, we address the stereo matching problem in the presence of reflections and translucency, where image formation can be modeled as the additive superposition of layers...
CVPR
2007
IEEE
15 years 3 days ago
2007
IEEE
Conventional stereo matching algorithms assume color constancy on the corresponding opaque pixels in the stereo images. However, when the foreground objects with fractional bounda...