4106 search results - page 731 / 822 » A Computational Model for Metric Spaces |
200
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
We are interested in a general alpha matting approach for the simultaneous extraction of multiple image layers; each layer may have disjoint segments for material matting not limi...
190
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
A widely used technique to recover a 3D surface from photographs is patch-based (multi-view) stereo reconstruction. Current methods are able to reproduce fine surface details, th...
260
click to vote
GIS
2009
ACM
16 years 7 months ago
2009
ACM
Modern geographic databases can contain a large volume of data that need to be distributed to subscribed customers. The data can be modeled as a cube, where typical dimensions inc...
199
click to vote
KBSE
2005
IEEE
16 years 1 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
190
click to vote
KES
1999
Springer
15 years 10 months ago
1999
Springer
Abstract—Dynamic Demes is a new method for the parallelisation of evolutionary algorithms. It was derived as a combination of two other parallelisation algorithms: the master-sla...