4139 search results - page 173 / 828 » Designing and Implementing Combinator Languages |
106
click to vote
IPM
2007
14 years 11 months ago
2007
This study proposes the codification of lexical information in electronic dictionaries, in accordance with a generic and extendable XML scheme model, and its conjunction with lin...
121
click to vote
ICFP
2010
ACM
15 years 12 days ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
134
Voted
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
This paper introduces a new neural network language model (NNLM) based on word clustering to structure the output vocabulary: Structured Output Layer NNLM. This model is able to h...
HASKELL
2005
ACM
15 years 4 months ago
2005
ACM
Haskell has proved itself to be a suitable implementation language for large software projects. Nevertheless, surprisingly few graphical end-user applications have been written in...
TSD
2007
Springer
15 years 5 months ago
2007
Springer
Our research is about an adaptive keyboard, which autonomously adjusts its predictive features and key displays to current user input. We used personalized word prediction to impro...