1690 search results - page 92 / 338 » Applications of Metric Coinduction |
ICST
2009
IEEE
13 years 8 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
ICCV
2001
IEEE
15 years 7 days ago
2001
IEEE
We present a new model-based bundle adjustment algorithm to recover the 3D model of a scene/object from a sequence of images with unknown motions. Instead of representing scene/ob...
ECCV
2002
Springer
15 years 6 days ago
2002
Springer
Nonlinear partial differential equations (PDE) are now widely used to regularize images. They allow to eliminate noise and artifacts while preserving large global features, such as...
ICANN
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Estimating the degree of similarity between images is a challenging task as the similarity always depends on the context. Because of this context dependency, it seems qui...
INFOCOM
2007
IEEE
14 years 4 months ago
2007
IEEE
— Window growth function for congestion control is a strong determinant of protocol behaviors, especially its second and higher-order behaviors associated with the distribution o...