21342 search results - page 236 / 4269 » Structured language modeling |
165
click to vote
STACS
1994
Springer
15 years 10 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...
140
click to vote
ACL
2003
15 years 8 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
176
click to vote
FOSSACS
2005
Springer
16 years 1 days 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...