7661 search results - page 204 / 1533 » Languages and the Computing Profession |
161
click to vote
CNL
2009
15 years 7 months ago
2009
Controlled natural languages (CNL) and computational semantics in general do not address word sense disambiguation, i.e., they tend to interpret only some functional words that are...
365
click to vote
Lab
PLT develops foundations for building reliable, high-performance software. Foundations include practices, languages, semantics, implementation techniques and type systems. To dem...
144
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
In this paper we show a novel middleware approach for pervasise applications that communicate via an XMLbased distributed virtual shared information space. This approach extends s...
151
click to vote
LICS
2008
IEEE
16 years 28 days ago
2008
IEEE
— This paper presents a decidable characterization of tree languages that can be defined by a boolean combination of Σ1 formulas. This is a tree extension of the Simon theorem,...
159
click to vote
ASM
2005
ASM
16 years 2 days ago
2005
ASM
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...