5451 search results - page 458 / 1091 » Typed Operational Semantics |
169
click to vote
PARMA
2004
15 years 8 months ago
2004
Patterns are concise, but rich in semantic, representation of data. The approaches proposed in the literature to cope with pattern management problems usually deal with a single ty...
148
click to vote
COLING
1996
15 years 8 months ago
1996
Unification-based theories of grammar allow to integrate different levels of linguistic descriptions in the common framework of typed feature structures. Dependencies among the le...
134
click to vote
COLING
1990
15 years 8 months ago
1990
Tense and aspect, together with mood and modality, usually form the entangled structure of a complex verb. They are often hard to translate by machines, because of both syntactic ...
145
Voted
BIS
2009
15 years 7 months ago
2009
Since the Internet found its way into daily life, placing product information at the user's disposal has become one of its most important tasks. As information sources are ver...
177
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
A monadic parser combinator library which guarantees termination of parsing, while still allowing many forms of left recursion, is described. The library's interface is simil...