915 search results - page 64 / 183 » Maximally Abstract Retrenchments |
ICN
2001
Springer
14 years 15 days ago
2001
Springer
Abstract— Network service providers contract with network owners for connection rights, then offer individual users network access at a price. Within this hierarchy, the service ...
WADT
1998
Springer
14 years 8 days ago
1998
Springer
Abstract. Narrowing is a method for solving equations in the equational theories of term rewriting systems. Unification and rewriting, the central operations in narrowing, are ofte...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We introduce take-it-or-leave-it auctions (TLAs) as an allocation mechanism that allows buyers to retain much of their private valuation information, yet generates close-...
DGCI
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. This paper presents new results about digital straight segments, their recognition and related properties. They come from the study of the arithmetically based recognitio...
BIOCOMP
2006
13 years 9 months ago
2006
Abstract-- The inference of a network structure from experimental data providing dynamical information about the underlying system of investigation is an important and still outsta...