Sciweavers

9698 search results - page 1543 / 1940
» models 2010
Sort
View
198
Voted
LREC
2010
119views Education» more  LREC 2010»
15 years 9 months ago
Error Correction for Arabic Dictionary Lookup
We describe a new Arabic spelling correction system which is intended for use with electronic dictionary search by learners of Arabic. Unlike other spelling correction systems, th...
C. Anton Rytting, Paul Rodrigues, Tim Buckwalter, ...
211
Voted
LREC
2010
236views Education» more  LREC 2010»
15 years 9 months ago
ProPOSEC: A Prosody and PoS Annotated Spoken English Corpus
We have previously reported on ProPOSEL, a purpose-built Prosody and PoS English Lexicon compatible with the Python Natural Language ToolKit. ProPOSEC is a new corpus research res...
Claire Brierley, Eric Atwell
211
Voted
LREC
2010
160views Education» more  LREC 2010»
15 years 9 months ago
FrAG, a Hybrid Constraint Grammar Parser for French
This paper describes a hybrid tagger/parser for French (FrAG), and presents results from ongoing development work, corpus annotation and evaluation. The core of the system is a se...
Eckhard Bick
187
Voted
MASCOTS
2010
15 years 9 months ago
Examining Energy Use in Heterogeneous Archival Storage Systems
Controlling energy usage in data centers, and storage in particular, continues to rise in importance. Many systems and models have examined energy efficiency through intelligent sp...
Ian F. Adams, Ethan L. Miller, Mark W. Storer
253
Voted
APLAS
2010
ACM
15 years 7 months ago
Typechecking Higher-Order Security Libraries
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
Karthikeyan Bhargavan, Cédric Fournet, Nata...
« Prev « First page 1543 / 1940 Last » Next »