3299 search results - page 7 / 660 » A general mathematics of names |
ISSAC
2005
Springer
15 years 3 months ago
2005
Springer
FCS
2006
14 years 11 months ago
2006
: Many of the Internet's problems are related to names. There are many empirical ideas of the further development of naming on the Internet. However, there are no theoretical ...
CSB
2003
IEEE
15 years 2 months ago
2003
IEEE
This paper proposes a method for identifying protein names in biomedical texts with an emphasis on detecting protein name boundaries. We use a probabilistic model which exploits s...
WSC
2008
14 years 11 months ago
2008
Continuous-variable simulation optimization problems are those optimization problems where the objective function is computed through stochastic simulation and the decision variab...
JIIS
2008
14 years 9 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...