10304 search results - page 1766 / 2061 » Computer science with the sciences: an emphasis in computati... |
173
click to vote
MFCS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Given a distance matrix M that specifies the pairwise evolutionary distances between n species, the phylogenetic tree reconstruction problem asks for an edge-weighted ph...
161
click to vote
MFCS
2005
Springer
16 years 5 days ago
2005
Springer
We investigate the complexity of finding prime implicants and minimal equivalent DNFs for Boolean formulas, and of testing equivalence and isomorphism of monotone formulas. For DN...
194
click to vote
MICAI
2005
Springer
16 years 5 days ago
2005
Springer
A powerful and useful approach for modeling knowledge and qualitative reasoning is the Cognitive Map. The background of Cognitive Maps is the research about learning environments c...
152
click to vote
RELMICS
2005
Springer
16 years 5 days ago
2005
Springer
In this paper we present some examples of relational correspondences for not necessarily distributive lattices with modal-like operators of possibility (normal and additive operato...
172
click to vote
TARK
2005
Springer
16 years 4 days ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...