2225 search results - page 129 / 445 » Logical Structures in the Lexicon |
144
click to vote
ORDER
2010
15 years 4 months ago
2010
This paper investigates quantum logic from the perspective of categorical logic, and starts from minimal assumptions, namely the existence of involutions/daggers and kernels. The ...
207
click to vote
FPGA
2008
ACM
15 years 8 months ago
2008
ACM
Look-up table based FPGAs have migrated from a niche technology for design prototyping to a valuable end-product component and, in some cases, a replacement for general purpose pr...
151
click to vote
ACL
2004
15 years 7 months ago
2004
The purpose of this paper is to re-examine the balance between clarity and efficiency in HPSG design, with particular reference to the design decisions made in the English Resourc...
166
click to vote
DLOG
1997
15 years 7 months ago
1997
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation formalized by means of plans...
183
click to vote
ENTCS
2002
15 years 6 months ago
2002
We present a Language Prototyping System that facilitates the modular development of interpreters from independent semantic buildks. The abstract syntax is modelled as the fixpoint...