4353 search results - page 131 / 871 » Expressiveness of Process Algebras |
115
click to vote
IJCNLP
2004
Springer
15 years 9 months ago
2004
Springer
Automatic extraction of human opinions from Web documents has been receiving increasing interest. To automate the process of opinion extraction, having a collection of evaluative ...
144
click to vote
CADE
2004
Springer
16 years 4 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
144
click to vote
AMAST
1995
Springer
15 years 7 months ago
1995
Springer
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
121
click to vote
FSEN
2007
Springer
15 years 8 months ago
2007
Springer
We formally specify the recent DRM scheme of Nair et al. in the
258
click to vote
CICLING
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The need of the current Natural Language Processing applications to identify text segments that express the same meaning in different ways, evolved into the identificatio...