2722 search results - page 119 / 545 » Automating Language Evolution |
127
Voted
FC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
112
Voted
NLDB
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we explore the potential of concept indexing with WordNet synsets for Text Categorization, in comparison with the traditional bag of words text representation model. ...
117
click to vote
ERLANG
2003
ACM
15 years 7 months ago
2003
ACM
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...
106
Voted
EDOC
2002
IEEE
15 years 7 months ago
2002
IEEE
Inter-organisational applications require improved support from middleware services. This paper analyses the management requirements of multidomain applications, covering both tec...
130
click to vote
COLING
1990
15 years 3 months ago
1990
':[his paper describes a rule-based machine learning approach to morphological processing in the system called XMAS. XMAS discovers and acquires linguistic rules from example...