4341 search results - page 713 / 869 » Quantitative Model checking |
173
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
We present a multispectral photometric stereo method for capturing geometry of deforming surfaces. A novel photometric calibration technique allows calibration of scenes containin...
157
click to vote
ECIS
2011
14 years 6 months ago
2011
The paper presents a persuasive web application that stimulates residential energy conservation. The users of the application received consumption feedback that is based on electr...
152
click to vote
Publication
This study investigates variational image segmentation with an original data term, referred to as statistical overlap prior, which measures the conformity of overlap between the no...
203
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
—This paper focuses on the Internet IP-level routing topology and proposes relevant explanations to its apparent dynamics. We first represent this topology as a power-law random...
186
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
We study the problem of segmenting multiple cell nuclei from GFP or Hoechst stained microscope images with a shape prior. This problem is encountered ubiquitously in cell biology ...