1585 search results - page 156 / 317 » A framework for computer-aided validation |
128
Voted
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...
122
Voted
ICANN
2005
Springer
15 years 9 months ago
2005
Springer
The power iteration is a classical method for computing the eigenvector associated with the largest eigenvalue of a matrix. The subspace iteration is an extension of the power iter...
131
Voted
IJCNLP
2005
Springer
15 years 9 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...
117
Voted
ISNN
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Aiming at vehicle tracking with a single moving camera for autonomous driving, this paper presents a strategy of online feature selection combined with related process fr...
129
Voted
VLDB
2005
ACM
15 years 9 months ago
2005
ACM
SQL extensions that allow queries to explicitly specify data quality requirements in terms of currency and consistency were proposed in an earlier paper. This paper develops a dat...