11949 search results - page 366 / 2390 » Some results on (a:b)-choosability |
MMB
1999
Springer
15 years 6 months ago
1999
Springer
: The Private Network Node Interface (PNNI), standardized by the ATM Forum (see [1]), provides a flexible and scaleable routing architecture for ATM networks comprising a routing p...
TABLEAUX
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. linTAP is a tableau prover for the multiplicative and exponential fragment M?LL of Girards linear logic. It proves the validity of a given formula by constructing an anal...
129
click to vote
VISUAL
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Methods for processing of pictorial queries speci ed by pictorial query trees are presented. Leaves of a pictorial query tree correspond to individual pictorial queries w...
ACCV
1998
Springer
15 years 6 months ago
1998
Springer
The hypothesis veri cation stage of the traditional image processing approach, consisting of low, medium, and high level processing, will su er if the set of low level features ext...
AMAST
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. One of the most novel features of Casl, the Common Algebraic Specification Language, is the provision of so-called architectural specifications for describing the modular...