1888 search results - page 269 / 378 » Proof theory and computational analysis |
105
Voted
SAC
2010
ACM
15 years 8 months ago
2010
ACM
Co-citation (number of nodes linking to both of a given pair of nodes) is often used heuristically to judge similarity between nodes in a complex network. We investigate the relat...
127
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we utilize a predator-prey model in order to identify characteristics of single-objective variation operators in the multi-objective problem domain. In detail, we a...
100
click to vote
SMI
2005
IEEE
15 years 7 months ago
2005
IEEE
Shape complexity has recently received attention from different fields, such as computer vision and psychology. In this paper, integral geometry and information theory tools are ...
111
click to vote
SMI
2005
IEEE
15 years 7 months ago
2005
IEEE
Curvature-based energy and forces are used in a broad variety of contexts, ranging from modeling of thin plates and shells to surface fairing and variational surface design. The a...
123
click to vote
CVBIA
2005
Springer
15 years 7 months ago
2005
Springer
Cardiopulmonary imaging is a key tool in modern diagnostic and interventional medicine. Automated analysis of MRI or ultrasound video is complicated by limitations on the image qua...