11740 search results - page 2257 / 2348 » More Problems in Rewriting |
AMC
2008
13 years 9 months ago
2008
Terrorism is a threat to global peace in our world today and in the future this terrorist threat is surely going to be important. Global terrorist groups have highly sophisticated...
APAL
2007
13 years 9 months ago
2007
In this paper, we present a categorical model for Multiplicative Additive Polarized Linear Logic MALLP, which is the linear fragment (without structural rules) of Olivier Laurentā...
BIOINFORMATICS
2010
13 years 9 months ago
2010
Motivation: The fruit fly (Drosophila melanogaster) is a commonly used model organism in biology. We are currently building a 3D digital atlas of the fruit fly larval nervous syst...
AUTOMATICA
2007
13 years 9 months ago
2007
This paper studies the tracking performance of linear time-invariant multi-variable discrete-time systems. The speciļ¬c problem under consideration is to track a multi-tone sinus...
BMCBI
2010
13 years 9 months ago
2010
Background: Chow and Liu showed that the maximum likelihood tree for multivariate discrete distributions may be found using a maximum weight spanning tree algorithm, for example K...