1032 search results - page 59 / 207 » Extended Computation Tree Logic |
ECML
2007
Springer
15 years 2 months ago
2007
Springer
Recently, a successful extension of Principal Component Analysis for structured input, such as sequences, trees, and graphs, has been proposed. This allows the embedding of discret...
CLUSTER
2007
IEEE
15 years 4 months ago
2007
IEEE
— A new communication model, called the PlogPT model, is proposed to predict communication performance in a commodity cluster where computing nodes communicate using TCP/IP. This...
CORR
2007
Springer
14 years 10 months ago
2007
Springer
Abstract—Phylogenetic networks are a generalization of phylogenetic trees that allow for the representation of non-treelike evolutionary events, like recombination, hybridization...
CORR
2006
Springer
14 years 10 months ago
2006
Springer
Abstract. In the first part of this paper we present a theory of proof nets for full multiplicative linear logic, including the two units. It naturally extends the well-known theor...
115
click to vote
FROCOS
2011
Springer
13 years 9 months ago
2011
Springer
Temporal data models have been used to describe how data can evolve in the context of temporal databases. Both the Extended Entity-Relationship (EER) model and the Unified Modelli...