5210 search results - page 866 / 1042 » Exact geometric computation |
CBMS
2003
IEEE
14 years 1 months ago
2003
IEEE
This article addresses visualization of deformation or shape differences between bones while conventional visualization techniques are often about a single bone such as its 3D rec...
COLT
2000
Springer
14 years 1 months ago
2000
Springer
In the present paper, we present the theoretical basis, as well as an empirical validation, of a protocol designed to obtain effective VC dimension estimations in the case of a si...
ERCIMDL
2000
Springer
14 years 1 months ago
2000
Springer
Segmentation of a colour image composed of different kinds of texture regions can be a hard problem, namely to compute for an exact texture fields and a decision of the optimum num...
SAS
2000
Springer
14 years 1 months ago
2000
Springer
Computing invariants is the key issue in the analysis of infinite-state systems whether analysis means testing, verification or parameter synthesis. In particular, methods that all...
ICTAI
1997
IEEE
14 years 1 months ago
1997
IEEE
This paper tackles the problem of analyzing the correctness and performance of a computer network protocol. Given the complexity of the problem, no currently used technique is abl...