5671 search results - page 715 / 1135 » A Semantic Approach to Interpolation |
225
click to vote
CRIWG
2001
15 years 8 months ago
2001
This paper presents an approach for the integration of domain related elements and operational semantics into collaborative environments based on visual languages. This integratio...
183
click to vote
IWFM
2003
15 years 8 months ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
205
click to vote
SCANGIS
2003
15 years 8 months ago
2003
Topographic data sets produced by the National Mapping Agencies (NMAs) are an essential part of Spatial Data Infrastructures (SDIs). Both global and European developments will deno...
174
click to vote
ACL
1998
15 years 8 months ago
1998
This paper describes a spelling correction system that functions as part of an intelligent tutor that carries on a natural language dialogue with its users. The process that searc...
174
click to vote
ACL
1998
15 years 8 months ago
1998
The multiplicative fragment of linear logic has found a number of applications in computational linguistics: in the "glue language" approach to LFG semantics, and in the...