14403 search results - page 167 / 2881 » Dynamical Systems Trees |
147
click to vote
ASIAN
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We present a constraint system OF of feature trees that is appropriate to specify and implement type inference for first-class messages. OF extends traditional systems of...
118
click to vote
JCT
2006
15 years 4 months ago
2006
Graham and Pollak (Bell System Tech. J. 50 (1971) 2495-2519) obtained a beautiful formula on the determinant of distance matrices of trees, which is independent of the structure o...
121
Voted
APBC
2004
15 years 5 months ago
2004
This article describes a dispensation order generation algorithm for genotyping using the Pyrosequencing method. The input template of the algorithm is a slightly restricted regul...
133
click to vote
TABLEAUX
2007
Springer
15 years 10 months ago
2007
Springer
Subintuitionistic logics are a class of logics defined by using Kripke models with more general conditions than those for intuitionistic logic. In this paper we study predicate lo...
114
click to vote
ICALP
1999
Springer
15 years 8 months ago
1999
Springer
The data sets for many of today's computer applications are too large to t within the computer's internal memory and must instead be stored on external storage devices su...