10715 search results - page 1832 / 2143 » From Tests to Proofs |
186
click to vote
TSD
2010
Springer
15 years 4 months ago
2010
Springer
This paper presents a quantitative performance analysis of two different approaches to the lemmatization of the Czech text data. The first one is based on manually prepared diction...
186
click to vote
USS
2010
15 years 4 months ago
2010
Reverse Turing tests, or CAPTCHAs, have become an ubiquitous defense used to protect open Web resources from being exploited at scale. An effective CAPTCHA resists existing mechan...
215
click to vote
WAW
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Motivated by social network data mining problems such as link prediction and collaborative filtering, significant research effort has been devoted to computing topologica...
175
click to vote
ACL
2009
15 years 4 months ago
2009
We report in this paper our work on accurately generating case markers and suffixes in English-to-Hindi SMT. Hindi is a relatively free word-order language, and makes use of a com...
200
click to vote
AINA
2009
IEEE
15 years 4 months ago
2009
IEEE
Improvements at the physical network layer have enabled technologies such as 10 Gigabit Ethernet. Single core end-systems are unable to fully utilise these networks, due to limite...