21342 search results - page 236 / 4269 » Structured language modeling |
137
click to vote
STACS
1994
Springer
15 years 8 months ago
1994
Springer
The L ? = NL question remains one of the major unresolved problems in complexity theory. Both L and NL have logical characterizations as the sets of totally ordered ( ) structures...
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
104
Voted
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
107
Voted
ACL
2003
15 years 5 months ago
2003
We demonstrate a text to sign language translation system for investigating sign language (SL) structure and assisting in production of sign narratives and informa
137
click to vote
FOSSACS
2005
Springer
15 years 9 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...