2438 search results - page 134 / 488 » Consistent Gradient Operators |
116
Voted
JLP
2011
14 years 9 months ago
2011
The family of domain algebras provide an elegant formal system for automated reasoning about programme verification. Their primary models are algebras of relations, viz. represen...
116
Voted
OSDI
2002
ACM
16 years 2 months ago
2002
ACM
Ivy is a multi-user read/write peer-to-peer file system. Ivy has no centralized or dedicated components, and it provides useful integrity properties without requiring users to ful...
124
Voted
OSDI
2002
ACM
16 years 2 months ago
2002
ACM
Pangaea is a wide-area file system that supports data sharing among a community of widely distributed users. It is built on a symmetrically decentralized infrastructure that consi...
115
Voted
ICIP
2001
IEEE
16 years 3 months ago
2001
IEEE
This paper presents a morphological scale-space approach to the problem of feature extraction. The method relies on two steps: a hierarchical simplification step based on pyramids...
108
Voted
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
We present a programming language for implementing multiagent systems consisting of a set of individual agents that interact with a computational organization specified in terms ...