59 search results - page 10 / 12 » Natural Semantics and Some of Its Meta-Theory in Elf |
CMMR
2009
Springer
13 years 10 months ago
2009
Springer
A persistent concern in the field of auditory display design has been how to effectively use environmental sounds, which are naturally occurring familiar non-speech, non-musical s...
BIRTHDAY
2005
Springer
13 years 11 months ago
2005
Springer
This paper addresses the question of factoring a logic into families of (generally simpler) components, estimating the top– down perspective, splitting, versus the bottom–up, s...
DIMVA
2008
13 years 7 months ago
2008
Abstract A web programmer often conceives its application as a sequential entity, thus neglecting the parallel nature of the underlying execution environment. In this environment, ...
POPL
1990
ACM
13 years 9 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
ANLP
1992
13 years 7 months ago
1992
This paper describes an approach to the treatment of nominal compounds in a machine translation project employing a modern unification-based system. General problems connected wit...