3630 search results - page 302 / 726 » How to Compare Treebanks |
210
click to vote
DPD
2007
15 years 7 months ago
2007
In wireless mobile environments, data broadcasting is an effective approach to disseminate information to mobile clients. In some applications, the access pattern of all the data c...
194
click to vote
ENTCS
2007
15 years 7 months ago
2007
We formalize in the logical framework ATS/LF a proof based on Tait’s method that establishes the simply-typed lambda-calculus being strongly normalizing. In malization, we emplo...
149
click to vote
SIAMSC
2008
15 years 7 months ago
2008
We review and compare different computational variational methods applied to a system of fourth order equations that arises as a model of cylinder buckling. We describe both the di...
218
click to vote
IJCAT
2007
15 years 7 months ago
2007
: The existence of peer-to-peer networks is due to benefits brought by decentralisation of control and distribution of resources. It is expected that the usage of such networks wi...
190
click to vote
AIR
2005
15 years 7 months ago
2005
The Support Vector Machine (SVM) has emerged in recent years as a popular approach to the classification of data. One problem that faces the user of an SVM is how to choose a kerne...