236 search results - page 30 / 48 » Strong normalization results by translation |
FOSSACS
2005
Springer
14 years 4 months ago
2005
Springer
The idea of composition and decomposition to obtain computability results is particularly relevant for true-concurrency. In contrast to the interleaving world, where composition an...
ECAI
2004
Springer
14 years 4 months ago
2004
Springer
Friedman and Halpern have introduced the inference by plausibility structures, which provides semantics for various default logics. This is a generalization of known inferences, su...
KONVENS
2000
14 years 2 months ago
2000
This paper presents details of the RWTH large vocabulary continuous speech recognition system used in the VERBMOBIL spontaneous speech translation system. In particular, we report...
MICCAI
2003
Springer
14 years 11 months ago
2003
Springer
Statistical shape analysis has become of increasing interest to the neuroimaging community due to its potential to precisely locate morphological changes and thus potentially discr...
SIAMDM
2008
13 years 11 months ago
2008
Ensembles of regular low-density parity-check codes over any finite Abelian group G are studied. The nonzero entries of the parity matrix are randomly chosen, independently and uni...