15792 search results - page 23 / 3159 » Computational Abstraction Steps |
144
Voted
FUIN
2006
15 years 5 months ago
2006
geometrical computation 1 : embedding Black hole computations with rational numbers J
153
click to vote
UC
2009
Springer
16 years 4 days 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...
135
Voted
HIPC
2005
Springer
15 years 11 months ago
2005
Springer
150
click to vote
FORMATS
2004
Springer
15 years 11 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...
157
click to vote
IJCNLP
2005
Springer
15 years 11 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...