6794 search results - page 800 / 1359 » Semantics of Visual Languages |
178
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...
164
click to vote
COLING
1992
15 years 8 months ago
1992
We describe a method and its implementation for self-monitoring during natural language generation. In situations of communication where the generation of ambiguous utterances sho...
238
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...
113
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
paper we will discuss the design of abstract firewall model along with platform-independent policy definition language. We will also discuss the main design challenges and solutio...
206
click to vote
ENTCS
2006
15 years 7 months ago
2006
Data integration systems provide a uniform query interface (UQI) to multiple, autonomous data sources [4]. This paper presents the universal data model (UDM) that captures the sem...