Sciweavers

8706 search results - page 986 / 1742
» Learning Subjective Language
Sort
View
ENTCS
2006
103views more  ENTCS 2006»
15 years 7 months ago
Static Equivalence is Harder than Knowledge
There are two main ways of defining secrecy of cryptographic protocols. The first version checks if the adversary can learn the value of a secret parameter. In the second version,...
Johannes Borgström
IJET
2006
112views more  IJET 2006»
15 years 7 months ago
Personalized E-Learning in the Semantic Web
: The challenge of the semantic web is the provision of distributed information with well defined meaning, understandable for different parties. Particularly, applications should b...
Nicola Henze
COLING
2002
15 years 7 months ago
(Semi-)Automatic Detection of Errors in PoS-Tagged Corpora
This paper presents a simple yet in practice very efficient technique serving for automatic detection of those positions in a partof-speech tagged corpus where an error is to be s...
Pavel Kveton, Karel Oliva
ETS
2000
IEEE
98views Hardware» more  ETS 2000»
15 years 7 months ago
The Mystery Project: Bridging the Gap On-line
This paper presents a case study of a web-based on-line collaborative academic writing project by students of English as a Foreign Language (EFL) at two Higher Education instituti...
Esther J. Dunbar, Susan Linklater, David Oakey
JFP
2002
96views more  JFP 2002»
15 years 7 months ago
Secrets of the Glasgow Haskell Compiler inliner
Higher-order languages, such as Haskell, encourage the proto build abstractions by composing functions. A good compiler must inline many of these calls to recover an e ciently exe...
Simon L. Peyton Jones, Simon Marlow