3179 search results - page 233 / 636 » Applications of PCF Theory |
ISBI
2002
IEEE
14 years 11 months ago
2002
IEEE
We propose the use of eigenvectors for automated multidimensional image segmentation. The approach of Shi and Malik [8] has been extended in three dimensions and applied on biomed...
CHI
2006
ACM
14 years 11 months ago
2006
ACM
In this paper we describe an on-going experiment on the calming effects of a relational agent on users following a social bonding interaction. Applications to a range of health ca...
CHI
2005
ACM
14 years 11 months ago
2005
ACM
Using the same application on different devices requires the user to perform a mental transformation in order to adapt his knowledge to a new platform. In this work we describe ho...
POPL
2003
ACM
14 years 11 months ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
STOC
2006
ACM
14 years 11 months ago
2006
ACM
We study the fundamental classification problems 0-Extension and Metric Labeling. A generalization of Multiway Cut, 0-Extension is closely related to partitioning problems in grap...