2191 search results - page 317 / 439 » Evolutionary testing of classes |
142
Voted
WSC
2004
15 years 5 months ago
2004
The need for contextually rich educational experiences in construction education has led researchers to explore alternatives using gaming and simulation environments. The work don...
125
Voted
ACL
1997
15 years 5 months ago
1997
In the past the evaluation of machine translation systems has focused on single system evaluations because there were only few systems available. But now there are several commerc...
93
Voted
ACL
1993
15 years 5 months ago
1993
We describe and evaluate experimentally a method for clustering words according to their distribution in particular syntactic contexts. Words are represented by the relative frequ...
125
Voted
IJCAI
1989
15 years 4 months ago
1989
This paper presents an evaluation of two orthogonal schemes for improving the efficiency of solving constraint satisfaction problems (CSPs). The first scheme involves a class of p...
140
Voted
ESORICS
2010
Springer
15 years 4 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...