7988 search results - page 1008 / 1598 » A Useful Undecidable Theory |
178
click to vote
CORR
2007
Springer
15 years 7 months ago
2007
Springer
— We address the problem of the algebraic decoding of any cyclic code up to the true minimum distance. For this, we use the classical formulation of the problem, which is to fin...
170
click to vote
CSDA
2007
15 years 7 months ago
2007
At present, likelihood ratios for two-level models are determined with the use of a normal kernel estimation procedure when the between-group distribution is thought to be non-nor...
208
click to vote
JNW
2006
15 years 7 months ago
2006
In this study, we propose a novel mobile tracking method based on Multi-Criteria Decision Making (MCDM), in which uncertain parameters such as Pilot Signal Strength (PSS), the dist...
196
click to vote
MCS
2008
Springer
15 years 7 months ago
2008
Springer
The purpose of this study is to develop an optimum design method for roof shapes satisfying both aesthetic sensibility (beauty) and economic evaluation by using the genetic algori...
217
click to vote
ENTCS
2007
15 years 7 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...