15792 search results - page 23 / 3159 » Computational Abstraction Steps |
FUIN
2006
13 years 7 months ago
2006
geometrical computation 1 : embedding Black hole computations with rational numbers J
UC
2009
Springer
14 years 2 months ago
2009
Springer
Geometrical Computation and Computable Analysis J´erˆome Durand-Lose⋆ Laboratoire d’Informatique Fondamentale d’Orl´eans, Universit´e d’Orl´eans, B.P. 6759, F-45067 OR...
HIPC
2005
Springer
14 years 1 months ago
2005
Springer
FORMATS
2004
Springer
14 years 1 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
IJCNLP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper proposes a two-step method for Chinese text categorization (TC). In the first step, a Naïve Bayesian classifier is used to fix the fuzzy area between two cate...