541 search results - page 10 / 109 » Language Technology Challenges of a 'Small' Language (Catala... |
TPHOL
2005
IEEE
14 years 1 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
13 years 9 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
14 years 8 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
14 years 9 days 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
14 years 2 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 ...