541 search results - page 10 / 109 » Language Technology Challenges of a 'Small' Language (Catala... |
74
Voted
TPHOL
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
EPEW
2008
Springer
14 years 11 months ago
2008
Springer
The accessible specification of performance queries is a key challenge in performance analysis. To this end, we seek to combine the intuitive aspects of natural language query spec...
WWW
2005
ACM
15 years 10 months ago
2005
ACM
The first part of the paper provides a brief description of the Language Observatory Project (LOP) and highlights the major technical difficulties to be challenged. The latter par...
CLEF
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. The problem of nding documents that are written in a language that the searcher cannot read is perhaps the most challenging application of Cross-Language Information Retr...
KBSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Web applications are increasingly becoming the most important platform for software applications in industry, with many modelling languages proposed to handle the complexity of ...