5096 search results - page 734 / 1020 » Associations as a Language Construct |
153
click to vote
ICALP
2004
Springer
16 years 1 days ago
2004
Springer
We show that strictly positive inductive types, constructed from polynomial functors, constant exponentiation and arbitrarily nested inductive types exist in any Martin-L¨of categ...
155
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
: The Mediator EnvirOnment for Multiple Information Sources (MOMIS) aims at constructing synthesized, integrated descriptions of the information coming from multiple heterogeneous ...
165
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract In this paper we introduce the Weighted Suffix Tree, an efficient data structure for computing string regularities in weighted sequences of molecular data. Molecular Wei...
159
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract A Boolean function is called normal if it is constant on flats of certain dimensions. This property is relevant for the construction and analysis of cryptosystems. This p...
270
click to vote
IFIP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract The Firing Squad Synchronization Problem is one of the classical problems for cellular automata. In this paper we consider the case of more than one general. A synchronous...