1226 search results - page 174 / 246 » Proofs, Programs and Abstract Complexity |
143
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Abstract We present the first method to handle curvature regularity in region-based image segmentation and inpainting that is independent of initialization. To this end we start f...
134
click to vote
POPL
1992
ACM
15 years 7 months ago
1992
ACM
Polymorphic record calculi have recently attracted much attention as a typed foundation for objectoriented programming. This is based on the fact that a function that selects a fi...
133
click to vote
DAGSTUHL
2003
15 years 4 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
121
click to vote
WDAG
2009
Springer
15 years 9 months ago
2009
Springer
The (M, W)-controller, originally studied by Afek, Awerbuch, Plotkin, and Saks, is a basic ted tool that provides an abstraction for managing the consumption of a global resource ...
135
click to vote
ACISP
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. Many algorithmic problems, which are used to prove the security of a cryptographic system, are shown to be characterized as the subgroup membership problem. We then apply...