9405 search results - page 491 / 1881 » Computing a Model of Set Theory |
279
click to vote
ISBI
2007
IEEE
16 years 2 months ago
2007
IEEE
Three-dimensional mammary cell culture models offer new opportunities for the development of computational techniques for segmentation, localization, and multicellular organizatio...
269
Voted
CASES
2004
ACM
16 years 1 months ago
2004
ACM
Many optimization techniques, including several targeted specifically at embedded systems, depend on the ability to calculate the number of elements that satisfy certain conditio...
245
click to vote
STOC
2000
ACM
15 years 11 months ago
2000
ACM
We first study the problem of doing Verifiable Secret Sharing (VSS) information theoretically secure for a general access structure. We do it in the model where private channels b...
228
click to vote
CVPR
2008
IEEE
16 years 9 months ago
2008
IEEE
Non-rigid registration is central to many problems in computer vision and medical image analysis. We propose a registration algorithm which is regularized by prior knowledge in th...
206
Voted
ALP
1994
Springer
15 years 11 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...