2286 search results - page 26 / 458 » Algorithms for Categorical Equivalence |
PRICAI
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. This paper reports our comparative evaluation of three machine learning methods on Chinese text categorization. Whereas a wide range of methods have been applied to Engli...
IPM
2006
13 years 7 months ago
2006
A new dictionary-based text categorization approach is proposed to classify the chemical web pages efficiently. Using a chemistry dictionary, the approach can extract chemistry-re...
IROS
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— In their interactions with the world robots inevitably face equivalent action choices, situations in which multiple actions are equivalently applicable. In this paper, ...
CONCUR
2009
Springer
14 years 2 months ago
2009
Springer
Stuttering bisimulation is a well-known behavioural equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preord...
ASIAN
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. Static equivalence is a well established notion of indistinguishability of sequences of terms which is useful in the symbolic analysis of cryptographic protocols. Static ...