6343 search results - page 141 / 1269 » Development of a Cartographic Language |
85
Voted
ACL
2007
15 years 6 months ago
2007
This paper introduces conceptual framework of an ontology for describing linguistic services on network-based language infrastructures. The ontology defines a taxonomy of processi...
142
Voted
TREC
2003
15 years 6 months ago
2003
This paper reports our efforts on developing a language modeling approach to passage question answering. In particular, we address the following two problems: (i) generalized lang...
140
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
This paper focuses on time-based declarative languages. The use of declarative languages has the advantage of their simplicity and gh-level abstraction, usually requiring few or n...
154
click to vote
SCM
1996
15 years 6 months ago
1996
This paper reports on some practical work undertaken to assess the use of a formalised configuration language to support industrial system development and evolution. The language a...
174
Voted
ICFP
2010
ACM
15 years 6 months 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...